"correction programme." . . "informatique théorique." . . "Informatique théorique." . "informatique manuel." . . "Complexité de calcul (Informatique)" . . "Automates mathématiques, Théorie des." . . "langage formel." . . . . "théorie complexité" . . "complexité algorithme." . . . . . . . . . . . . . . . . . . . . . . . . . "Introduction à l'informatique théorique" . . . "Logiciels Exactitude." . . "Ordinateurs Programmation." . . "Informatique Mathématiques." . . "machine." . . "spécification donnée." . . "Informatique Mathématiques Problèmes et exercices." . . "Informatique." . . "théorie automate." . .