 |
|
|
|
||
|---|---|---|
|
tel-01096518v1
Thèse
Hernán Vanzetto. Proof automation and type synthesis for set theory in the context of TLA+ Computer Science [cs]. Université de Lorraine, 2014. English |
||
|
tel-00594732v1
Thèse
Najet Boughanmi. Conception conjointe des systèmes contrôlés en réseau sans fil Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Lorraine - INPL, 2011. Français |
||
|
tel-01297784v1
Thèse
Guy Perrier. De la construction de preuves à la programmation parallèle en logique linéaire Informatique et langage [cs.CL]. Université Henri Poincaré (Nancy), 1995. Français |
||
|
tel-00759370v1
HDR
Cédric Join. Une approche algébrique pour la pratique de l'estimation, du diagnostic, de la commande et de la finance Automatique / Robotique. Université de Lorraine, 2012 |
||
|
|
||
