Le moteur de recherche
des thèses françaises
Michel Lemaître
IdRefMots clés
FR
Programmation fonctionnelle (informatique)
Parallélisme (informatique)
Synthèse de circuits digitaux
Circuits synchrones
Preuve de conformité
Circuits zéro-défaut
Schémas de transformations
Circuits électroniques
Électronique numérique
Circuits intégrés numériques
Théorie des graphes
Compilation (informatique)
Informatique, automatique theorique, systemes
Programmation fonctionnelle
Parallelisme
Algorithmes paralleles
Programmation parallèle (informatique)
Langages de programmation fonctionnelle
LISP (langage de programmation)
Programmation (informatique)