Search
-
Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions
(Bordeaux 1, 2011-06-27)Thèses de doctorat -
Distributed calculations using mobile agents
(2008-12-15)Thèses de doctorat -
Analyse phosphoprotéomique pour la recherche de biomarqueurs : développements et applications
(Bordeaux 1, 2013-12-13)Thèses de doctorat -
Les liposomes biphényles : un nouveau modèle de biomembrane magnétique fluorescent : caractérisation par RMN des solides, microscopies optiques et électroniques et SAXS
(Bordeaux 1, 2013-12-16)Thèses de doctorat -
Exploiter la structure des modèles pour la vérification par la méthode CEGAR
(Bordeaux 1, 2012-11-27)Thèses de doctorat -
Extraction des utilisations typiques à partir de données hétérogènes en vue d'optimiser la maintenance d'une flotte de véhicules
(Bordeaux 1, 2012-07-06)Thèses de doctorat -
Contribution à l’évaluation de la dégradation du béton : thermographie infrarouge et couplage de techniques
(Bordeaux 1, 2011-09-21)Thèses de doctorat -
Optimisation des protocoles de routage dans les réseaux multi-sauts sans fil à contraintes.
(Bordeaux 1, 2012-10-10)Thèses de doctorat -
Biodisponibilité nutritionnelle de systèmes colloïdaux riches en acides gras polyinsaturés : études in vivo et in vitro
(Bordeaux 1, 2011)Thèses de doctorat