190 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;Pierre-cyrille Heam (Dir.) [tel-00909608 - version 2]
STAR - Dépôt national des thèses électroniques
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]