Recherche
-
Calculs Distribués par des Agents Mobiles
(Bordeaux 1, 2008-12-15)Thèses de doctorat -
Structure d'une image : de la réalité augmentée à la stylisation
(Bordeaux 1, 2012-07-12)Thèses de doctorat -
Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq
(Bordeaux 1, 2012-12-21)Thèses de doctorat -
Identification de motifs au sein des structures biologiques arborescentes
(Bordeaux 1, 2011-11-30)Thèses de doctorat -
Intégration de politiques de sécurité dans les systèmes ubiquitaires
(Bordeaux 1, 2013-01-17)Thèses de doctorat -
Applications et services DTN pour flotte collaborative de drones
(Bordeaux 1, 2012-12-20)Thèses de doctorat -
Etude et mise en place d’une plateforme d’adaptation multiservice embarquée pour la gestion de flux multimédia à différents niveaux logiciels et matériels
(Bordeaux 1, 2012-12-19)Thèses de doctorat -
Contributions for improving debugging of kernel-level services in a monolithic operating system
(Bordeaux 1, 2013-03-12)Thèses de doctorat -
Jeux de typage et analyse de lambda-grammaires non-contextuelles
(Bordeaux 1, 2012)Thèses de doctorat -
Réalité augmentée pour l’ aide à la navigation
(Bordeaux 1, 2011)Thèses de doctorat