791 |
Etude de la complexité des logiciels de type flots de données en vue de la fiabilité application à l'atelier logiciel SAGA /Chevalier, Marcel. Soler, Jean-Louis. Fonlupt, Jean. January 2008 (has links)
Reproduction de : Thèse de Doctorat : Informatique : Grenoble 1 : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. [137]-144.
|
792 |
Ingénierie système guidée par les modèles Application du standard IEEE 15288, de l'architecture MDA et du langage SysML à la conception des systèmes mécatroniques /Turki, Skander Soriano, Thierry. January 2008 (has links)
Reproduction de : Thèse de doctorat : Sciences : Toulon : 2008. / Titre provenant du cadre-titre. Bibliogr p. 178-188.
|
793 |
Preuves par induction dans le calcul des séquents moduloNahon, Fabrice Kirchner, Claude January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : Nancy 1 : 2007. / Titre provenant de l'écran-titre. Bibliogr. Index.
|
794 |
Reconnaissance d'implications textuelles à forte composante linguistiqueAmoia, Marilisa Gardent, Claire. Pinkal, Manfred. January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : Nancy 1 : 2008. Thèse de doctorat : Informatique : Universität des Saarlandes : 2008. / Titre provenant de l'écran-titre.
|
795 |
Approche déclarative pour la génération de canevas logiciels dédiés à l'informatique ubiquitaireJouve, Wilfried Consel, Charles. January 2009 (has links) (PDF)
Thèse de doctorat : Informatique : Bordeaux 1 : 2009. / Titre provenant de l'écran-titre.
|
796 |
Pilotage des cycles limites dans les systèmes dynamiques hybrides application aux alimentations électriques statiques /Patino, Diego Iung, Claude Riedinger, Pierre January 2009 (has links) (PDF)
Thèse de doctorat : Automatique et Traitement du Signal : INPL : 2009. / Titre provenant de l'écran-titre.
|
797 |
Apprentissage de la qualité de service dans les réseaux multiservices: applications au routage optimal sous contraintesMahul, Antoine. Quilliot, Alain. January 2009 (has links)
Reproduction de : Thèse de doctorat : Informatique : Clermont-Ferrand 2 : 2005. / Thèse avec deux annexes. Titre provenant de l'écran-titre. Bibliogr. p. 175-186.
|
798 |
Contribution à la tolérance aux défauts des systèmes linéaires Synthèse de méthodes d'accommodation fondée sur l'information du second ordre /González-Contreras, Brian Manuel Theilliol, Didier. Sauter, Dominique. January 2009 (has links) (PDF)
Thèse de doctorat : Automatique : Nancy 1 : 2009. / Titre provenant de l'écran-titre.
|
799 |
Contribution à la vérification d'exigences de sécurité application au domaine de la machine industrielle /Evrot, Dominique Morel, Gérard Petin, Jean-François. January 2008 (has links) (PDF)
Thèse de doctorat : Automatique, Traitement du Signal, Génie Informatique : Nancy 1 : 2008. / Titre provenant de l'écran-titre.
|
800 |
Modélisation et développement formel de circuits électroniquesZimmermann, Yann Cansell, Dominique. January 2006 (has links) (PDF)
Thèse doctorat : Informatique : Nancy 1 : 2006. / Titre provenant de l'écran-titre.
|
Page generated in 0.0881 seconds