Skip to Main content Skip to Navigation


...
tel-01081055v1  Theses
Jean-Christophe Bach. Un îlot formel pour les transformations de modèles qualifiables
Langage de programmation [cs.PL]. Université de Lorraine, 2014. Français
...
tel-01070972v1  Theses
Amandine Dubois. Mesure de la fragilité et détection de chutes pour le maintien à domicile des personnes âgées
Intelligence artificielle [cs.AI]. Université de Lorraine, 2014. Français
...
tel-01751160v2  Theses
Hugo Férée. Complexité d'ordre supérieur et analyse récursive
Complexité [cs.CC]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0173⟩
...
tel-01750793v2  Theses
Jano Yazbeck. Accrochage immatériel sûr et précis de véhicules automatiques
Intelligence artificielle [cs.AI]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0070⟩