1965 results  save search


...
hal-01301485v1  Reports
Catherine LetondalAurélien TabardWendy E. Mackay. Quand tu l'as écrit, tu l'as lu !
[Rapport de recherche] 1526, Laboratoire de Recherche en Informatique (LRI). 2009
...
hal-02421484v1  Reports
Léo Andrès. Vérification par preuve formelle de propriétés fonctionnelles d'algorithme de classification
[Rapport de recherche] Université Paris Sud (Paris 11) - Université Paris Saclay. 2019
...
hal-01801890v1  Reports
Azim RoussanalyThomas ToulotteLaura Infante-BlancoAnne BoyerArmelle Brun et al.  Projet METAL : Plan de collecte de données
[Rapport de recherche] Université de Lorraine (Nancy); CNRS. 2017
inria-00100119v1  Reports
Ning Jia. Politiques (m,k)-firm et combinatoire des mots
[Stage] A04-R-411 || jia04a, 2004
inria-00100033v1  Reports
Doratti Razafimahatratra. Réparation Automatique dans un environnement collaboratif
[Stage] A04-R-238 || razafimahatratra04a, 2004, 58 p