[Accueil bibliotech]
Accueil > Les thèses en ligne de l'INP

Année : 2000

Nombre de documents : 4.

Thèse

Behnia, Salimeh (2000) Test de modèles formels en B : cadre théorique et critères de couverture.

Caillau, Jean-Baptiste (2000) Contribution à l'étude du contrôle en temps minimal des transferts orbitaux.

Martinez, Stéphane (2000) Procédé d'optimisation de la gestion du recyclage des effluents des serres (P.R.O.G.R.E.S.). (Process of Optimization of recycling management for Greenhouse Effluents (P.R.O.G.R.E.S.).)

Peraldi, Raphaëlle (2000) Relations entre cinétiques de croissance des couches d'oxyde et leurs microstructures lors de l'oxydation à haute température du nickel de haute pureté. (Relationships between growth kinetics of oxide scales and their microstructures during oxidation at high temperature of pure nickel.)