522 documents avec fichiers associés – 1 références bibliographique  [english version]
.:. Listes > Par discipline > Informatique .:.
69 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 Page Suivante Page Finale
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 1]
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 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 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]
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 1]
fulltext access Managing Consistency for Big Data Applications on Clouds: Tradeoffs and Self Adaptiveness
Chihoub H.-E.
École normale supérieure de Cachan - ENS Cachan (10/12/2013), Gabriel Antoniu (Dir.) [tel-00915091 - version 2]
fulltext access Efficient verification of sequential and concurrent systems
Schwoon S.
École normale supérieure de Cachan - ENS Cachan (06/12/2013), Claude Jard (Pr.) [tel-00927066 - version 1]
fulltext access Specification and verification of quantitative properties : expressions, logics, and automata
Monmège B.
École normale supérieure de Cachan - ENS Cachan (24/10/2013), Paul Gastin (Dir.) [tel-00957763 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Spécification et vérification de propriétés quantitatives : expressions, logiques et automates
Monmege B.
École normale supérieure de Cachan - ENS Cachan (2013-10-24), Paul Gastin (Dir.) [tel-00908990 - version 1]