533 documents avec fichiers associés – 1 références bibliographique  [english version]
.:. Listes > Par discipline > Informatique .:.
74 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access Verification of communicating recursive programs via split-width
Cyriac A.
École normale supérieure de Cachan - ENS Cachan (28/01/2014), Paul Gastin (Dir.) [tel-01015561 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Caractérisation des problèmes conjoints de détection et d'estimation
Chaumette E.
École normale supérieure de Cachan - ENS Cachan (13/01/2014), Sylvie Marcos (Pr.) [tel-01010450 - version 1]
fulltext access Foundations for analyzing security APIs in the symbolic and computational model
Künnemann R.
École normale supérieure de Cachan - ENS Cachan (07/01/2014), Graham Steel (Dir.) [tel-00942459 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Exploiting parallel features of modern computer architectures in bioinformatics : applications to genetics, structure comparison and large graph analysis
Chapuis G.
École normale supérieure de Cachan - ENS Cachan (18/12/2013), Dominique Lavenier (Dir.) [tel-01012222 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Exploiter les capacités parallèles des architectures modernes en bioinformatique applications à la génétique, la comparaison de structures et l'analyse de larges graphes
Chapuis G.
École normale supérieure de Cachan - ENS Cachan (18/12/2013), Dominique Lavenier (Dir.) [tel-00912553 - version 1]
fulltext access Analyses de performance et de stabilité des réseaux de télécommunication
Junier A.
École normale supérieure de Cachan - ENS Cachan (16/12/2013), Claude Jard (Dir.) [tel-01011210 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Analyse de performance et de stabilité des réseaux de télécommunication
Junier A.
École normale supérieure de Cachan - ENS Cachan (16/12/2013), Claude Jard (Dir.) [tel-00932176 - version 1]
fulltext access Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementability
Chatain T.
École normale supérieure de Cachan - ENS Cachan (2013-12-13), Jean-François Raskin (Pr.) [tel-00926306 - version 1]
fulltext access Verification based on unfoldings of Petri nets with read arcs
Rodríguez C.
École normale supérieure de Cachan - ENS Cachan (12/12/2013), Stefan Schwoon (Dir.) [tel-00927064 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Weakly Supervised Learning for Structured Output Prediction
Kumar M. P.
École normale supérieure de Cachan - ENS Cachan (12/12/2013), Nicolas Vayatis (Pr.) [tel-00943602 - version 2]