522 documents avec fichiers associés – 1 références bibliographique  [english version]
.:. Listes > Par discipline > Informatique .:.
69 documents classés par :
Première Page Page Précédente 1 - 2 - 3 - 4 - 5 - 6 - 7 Page Suivante Page Finale
fulltext access Enforcing virtualized systems security
Benzina H.
École normale supérieure de Cachan - ENS Cachan (17/12/2012), Jean Goubault-Larrecq (Dir.) [tel-00846513 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Study of concurrency in real-time distributed systems
Balaguer S.
École normale supérieure de Cachan - ENS Cachan (2012-12-13), Stefan Haar (Dir.) [tel-00821978 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Automatic verification of cryptographic protocols : privacy-type properties
Cheval V.
École normale supérieure de Cachan - ENS Cachan (03/12/2012), Hubert Comon-Lundh (Dir.) [tel-00861389 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Nash equilibria in concurrent games : application to timed games
Brenguier R.
École normale supérieure de Cachan - ENS Cachan (29/11/2012), Nicolas Markey (Dir.) [tel-00827027 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Distributed cost-optimal planning
Jezequel L.
École normale supérieure de Cachan - ENS Cachan (13/11/2012), Eric Fabre (Dir.) [tel-00825026 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Simulation de Fracture d'Objets Fragiles basée Physique et en Temps-Réel Pour les Applications Interactives
Glondu L.
École normale supérieure de Cachan - ENS Cachan (06/11/2012), Dumont Georges (Dir.) [tel-00752388 - version 1]
fulltext access Semantic foundations of intermediate program representations
Demange D.
École normale supérieure de Cachan - ENS Cachan (19/10/2012), Thomas Jensen (Dir.) [tel-00905442 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Computational methods for de novo assembly of next-generation genome sequencing data
Chikhi R.
École normale supérieure de Cachan - ENS Cachan (02/07/2012), Dominique Lavenier (Dir.) [tel-00752033 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Recherche reproductible, qualité logicielle, publication et interfaces en ligne pour le traitement d'image
Limare N.
École normale supérieure de Cachan - ENS Cachan (21/06/2012), Jean-Michel Morel (Dir.) [tel-00783299 - version 1]
fulltext access Reproducible research, software quality, online interfaces and publishing for image processing
Limare N.
École normale supérieure de Cachan - ENS Cachan (21/06/2012), Jean-Michel Morel (Dir.) [tel-00752569 - version 1]
STAR - Dépôt national des thèses électroniques