David Janin
Mots clés
FR |
EN
Multimédias interactifs
Langages de programmation
Automates
Multimedia
Langage de programmation
Programmation fonctionnelle
Son
Animation temporelle
Sémantique
Langage applicatif dédié
Programmation 3D
Programmation fonctionnelle (informatique)
Imagerie tridimensionnelle
Partitions interactives
Structures des événements temporisés
Programmation concurrente avec contraintes
Déchiffrage (musique)
Théorie des jeux
Synthèse de programmes
Vérification de programmes