Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Nadya
Tareb
IdRef
Mots clés
FR
Apsys
Analyse de programmes
Analyseur automatique
Synthèse de spécifications
Réécriture, Systèmes de (informatique)
Programmation logique
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)