Le moteur de recherche
des thèses françaises
Christian Queinnec
IdRefMots clés
FR |
EN
Langages à objets
Compilation
Systèmes embarqués
Généricité
Analyse statique
Analyse de types
Systèmes embarqués (informatique)
Protection de l'information (informatique)
C plus-plus (langage de programmation)
Langages de programmation orientés objet
Programmation orientée objets (informatique)
Java (langage de programmation)
Généricité (linguistique)
Logiciels -- Vérification
Ordinateurs
Langages de programmation fonctionnelle
Interfaces graphiques (informatique)
Systèmes homme-machine
Interaction humain-machine
Langages de script (informatique)