Recherche
-
A study on the expressive power of some fragments of the modal µ-calculus
(Bordeaux 1, 2010)Thèses de doctorat -
Développement et test d'applications d'informatique ubiquitaire : une méthodologie outillée
(Bordeaux 1, 2012)Thèses de doctorat -
Abstractions pour les automates temporisés
(Bordeaux 1, 2012)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 -
Indexation de la vidéo portée : application à l’étude épidémiologique des maladies liées à l’âge
(Bordeaux 1, 2011)Thèses de doctorat -
Test and Validation of Web Services
(Bordeaux 1, 2010)Thèses de doctorat -
Réduction de courbes elliptiques
(Bordeaux 1, 2010)Thèses de doctoratAccès réservé