9763 articles  [english version]
.:. Consultation > Liste par domaine > Informatique .:.
968 documents classés par :
Première Page Page Précédente ... 6 - 7 - 8 - 9 - 10 - 11 - 12 ... Page Suivante Page Finale
fulltext access Programmation mathématique en tomographie discrète
Tlig G.
Conservatoire national des arts et metiers - CNAM Université Tunis El Manar. Faculté des Sciences Mathématiques, Physiques et Naturelles de Tunis (Tunisie) (13/11/2013), Alain Billionnet;Fethi Jarray;Ezzeddine Zagrouba (Dir.) [tel-00957445 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Modélisation de contextes pour l'annotation sémantique de vidéos
Ballas N.
Ecole Nationale Supérieure des Mines de Paris (12/11/2013), Françoise Préteux;Bertrand Delezoide (Dir.) [pastel-00958135 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Jeux de poursuite-évasion, décompositions et convexité dans les graphes
Pardo Soares R.
Université Nice Sophia Antipolis Universidade federal do Ceará (2013-11-08), David Coudert;Claudia Linhares-Sales;Nicolas Nisse (Dir.) [tel-00908227 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access A symbolic approach for the verification and the test of service choreographies
Nguyễn H. N. (.GN.
Université Paris Sud - Paris XI (31/10/2013), Fatiha Zaïdi;Pascal Poizat (Dir.) [tel-00961450 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access From dataflow-based video coding tools to dedicated embedded multi-core platforms
Yviquel H.
Université Rennes 1 (25/10/2013), Emmanuel Casseau;Mickaël Raulet (Dir.) [tel-00939346 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Autonomie et reconfiguration des systèmes de systèmes tactiques
Ludwig M.
Université de Bretagne occidentale - Brest (24/10/2013), Jean-Philippe Babau (Dir.) [tel-00965813 - version 1]
STAR - Dépôt national des thèses électroniques
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 Phronesis, a diagnosis and recovery tool for system administrators
Haen C.
Université Blaise Pascal - Clermont-Ferrand II (24/10/2013), Vincent Barra (Dir.) [tel-00950700 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Distribution et stockage dans les réseaux
Modrzejewski R.
Université Nice Sophia Antipolis (24/10/2013), Jean-Claude Bermond (Dir.) [tel-00917032 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Etude et modélisation du comportement des gouttelettes de produits phytosanitaires sur les feuilles de vignes par imagerie ultra-rapide et analyse de texture
Decourselle T.
Université de Bourgogne (23/10/2013), Fan Yang;Ludovic Journaux (Dir.) [tel-00949360 - version 1]
STAR - Dépôt national des thèses électroniques