Le moteur de recherche
des thèses françaises
David Janin
IdRefMots clés
FR |
EN
Multimédias interactifs
Automates
Langages de programmation
Théorie des jeux
Synthèse de programmes
Vérification de programmes
Automate d'arbres
Jeu de parité
Jeu distribué
Système distribué
Systèmes à paramètres répartis
Multimedia
Langage de programmation
Programmation fonctionnelle
Son
Animation temporelle
Sémantique
Langage applicatif dédié
Programmation 3D
Programmation fonctionnelle (informatique)