Recherche

Derniers sujets de recherche

Sujet de recherche: Analyse des synchronisations dans un programme parallele ordonnance par vol de travail
Sujet de recherche: Le domaine abstrait des polyedres revisite : representation par contraintes et preuve formelle

Activité de recherche par année