11508 articles  [version française]
.:. Browse > List by subject > Computer Science .:.
1172 documents ordered by :
First Previous 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access Certified Compilation and Worst-Case Execution Time Estimation
Oliveira Maroneze A.
Université Rennes 1 (17/06/2014), Sandrine Blazy;Isabelle Puaut (Dir.) [tel-01064869 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access On Forcing and Classical Realizability
Rieg L.
Ecole normale supérieure de lyon - ENS LYON (17/06/2014), Alexandre Miquel (Dir.) [tel-01061442 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot
Sadoun D.
Université Paris Sud - Paris XI (17/06/2014), Brigitte Grau;Catherine Dubois (Dir.) [tel-01060540 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Conception et réalisation d'un consultant basé sur le contexte : application en histopathologie pour la gradation du cancer du sein
Aroua A.
Université Pierre et Marie Curie - Paris VI (13/06/2014), Patrick Brezillon (Dir.) [tel-01062600 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Supporting music composition with interactive paper
Garcia J.
Université Paris Sud - Paris XI (10/06/2014), Wendy Mackay;Carlos Agon (Dir.) [tel-01056992 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Algorithms for super-resolution of images and videos based on learning methods
Bevilacqua M.
Université Rennes 1 (04/06/2014), Aline Roumy;Christine Guillemot (Dir.) [tel-01064396 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Self-describing objects with tangible data structures
Sinha A.
Université Rennes 1 (28/05/2014), Michel Banâtre;Paul Couderc (Dir.) [tel-01062441 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Les méthodes numériques de transport réactif
Sabit S.
Université Rennes 1 (27/05/2014), Jocelyne Erhel;Édouard Canot (Dir.) [tel-01057870 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Techniques de modélisation et d'analyse pour l'amélioration de la robustesse des systèmes distribués
Loti R.
Université Nice Sophia Antipolis Università degli studi (Turin, Italie) (26/05/2014), Luigi Liquori;Gaeta Rossano (Dir.) [tel-01037904 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Modèle de comportement communicatif conventionnel pour un agent en interaction avec des humains : Approche par jeux de dialogue
Dubuisson Duplessis G.
INSA de Rouen (23/05/2014), Jean-Pierre Pecuchet;Nathalie Chaignaud;Jean-Philippe Kotowicz (Dir.) [tel-01017542 - version 2]
STAR - Dépôt national des thèses électroniques