9823 articles  [version française]
.:. Browse > List by subject > Computer Science .:.
971 documents ordered by :
First Previous ... 3 - 4 - 5 - 6 - 7 - 8 - 9 ... Next Last
fulltext access Extraction de code fonctionnel certifié à partir de spécifications inductives.
Tollitte P.-N.
Conservatoire national des arts et metiers - CNAM (06/12/2013), Catherine Dubois;David Delahay (Dir.) [tel-00968607 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Mesures de similarité distributionnelle asymétrique pour la détection de l'implication textuelle par généralité
Pais S.
Ecole Nationale Supérieure des Mines de Paris Universidade da Beira Interior (06/12/2013), Robert Mahl;Gaël Dias (Dir.) [pastel-00962176 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Algorithmes de routage : de la réduction des coûts de communication à la dynamique
Glacet C.
Université Sciences et Technologies - Bordeaux I (06/12/2013), Nicolas Hanusse;David Ilcinkas (Dir.) [tel-00951393 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Distributed data management with a declarative rule-based language webdamlog
Antoine E.
Université Paris Sud - Paris XI (05/12/2013), Serge Abiteboul (Dir.) [tel-00933808 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Estimation de pose de grands blocs d'images panoramiques issues de systèmes de numérisation mobile
Cannelle B.
Université Paris-Est (04/12/2013), Nicolas Paparoditis (Dir.) [tel-00952252 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Résolution de contraintes sur les flottants dédiée à la vérification de programmes
Belaid M. S.
Université Nice Sophia Antipolis (04/12/2013), Michel Rueher;Claude Michel (Dir.) [tel-00937667 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access System Profiling and Green Capabilities for Large Scale and Distributed Infrastructures
Tsafack Chetsa G. L.
Ecole normale supérieure de lyon - ENS LYON (03/12/2013), Laurent Lefèvre;Jean-Marc Pierson (Dir.) [tel-00946583 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Améliorer la performance séquentielle à l'ère des processeurs massivement multicœurs
Prémillieu N.
Université Rennes 1 (03/12/2013), André Seznec (Dir.) [tel-00916589 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Contribution à la gestion de l'évolution des processus métiers
Kherbouche M. O.
Université du Littoral Côte d'Opale (02/12/2013), Henri Basson (Dir.) [tel-00968863 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Une méthode pour l'évaluation de la qualité des images 3D stéréoscopiques.
Vlad R. I.
Université de Grenoble (02/12/2013), Anne Guérin-Dugue (Dir.) [tel-00925280 - version 3]
STAR - Dépôt national des thèses électroniques