160 articles  [english version]
.:. Consultation > Liste par domaine > Algorithme et structure de données .:.
2 documents classés par :

fulltext access Tree Automata, Approximations, and Constraints for Verification. Tree (Not-Quite) Regular Model-Checking.
Hugot V.
Université de Franche-Comté (27/09/2013), Olga Kouchnarenko (Dir.) [tel-00909608 - version 1]
fulltext access Tabu-NG : hybridation de programmation par contraintes et recherche locale pour la résolution de CSP
Dib M.
Université de Technologie de Belfort-Montbeliard (08/12/2010), Alexandre CAMINADA (Dir.) [tel-00644178 - version 1]