 |
|
|
|
||
|---|---|---|
|
pastel-00838224v1
Thèse
Jean-Baptiste Pomet. Sur la commande adaptative des systèmes non linéaires Automatique / Robotique. École Nationale Supérieure des Mines de Paris, 1989. Français. <NNT : 1989ENMP0165> |
||
|
tel-00431825v1
Thèse
Christine Paulin-Mohring. Extraction de programmes dans le Calcul des Constructions Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1989. Français |
||
|
tel-00004339v1
Thèse
Hubert Garavel. Compilation et vérification de programmes LOTOS Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1989. Français |
||
|
|
||
