Recherche
-
Vérification d'automates temporisés : sûreté, vivacité et modélisation
(Bordeaux, 2016-11-04)Thèses de doctorat -
Mouvement de données et placement des tâches pour les communications haute performance sur machines hiérarchiques
(Bordeaux 1, 2011-10-12)Thèses de doctorat -
Extraction de Descripteurs Pertinents et Classification pour le Problème de Recherche des Images par le Contenu
(Bordeaux 1, 2011-03-30)Thèses de doctorat