NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2447
  • 1618
  • 1255
  • 21
  • 6
  • 6
  • 2
  • 2
  • 1
  • Tagged with
  • 5650
  • 3140
  • 3002
  • 1276
  • 692
  • 690
  • 662
  • 645
  • 620
  • 597
  • 486
  • 476
  • 457
  • 453
  • 438
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 791 to 800 of 5650 (0.049 seconds)
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 modulo

Nahon, 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 linguistique

Amoia, 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 ubiquitaire

Jouve, 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 contraintes

Mahul, 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 électroniques

Zimmermann, 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.0732 seconds