NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 643
  • 236
  • 68
  • 30
  • 10
  • 8
  • 3
  • 3
  • 2
  • 2
  • 1
  • Tagged with
  • 1037
  • 356
  • 254
  • 237
  • 152
  • 144
  • 109
  • 103
  • 86
  • 85
  • 84
  • 82
  • 78
  • 77
  • 74
  • 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 191 to 200 of 1037 (0.026 seconds)

Spelling suggestions: "subject:"cologique"" "subject:"dialogique""

191

Spécification logique de réseaux de Petri

Feuillade, Guillaume Pinchinat, Sophie January 2005 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2005. / Bibliogr. p. [129]-132.
192

La Régulation thermique des bâtiments tertiaires application de la logique floue à la régulation centrale du chauffage en régime intermittent /

Fraisse, Gilles Virgone, Joseph. January 1999 (has links)
Thèse doctorat : Génie Civil : Villeurbanne, INSA : 1997. / Titre provenant de l'écran-titre. Bibliogr. p. 153-157.
193

Algorithmes heuristiques pour des classes décidables de la logique FOTL

Dmitrieva Prokofieva, Evguenia Beauquier, Danièle Kossovski, Nicolay. January 2004 (has links) (PDF)
Thèse de doctorat : Informatique : Paris 12 : 2004. Thèse de doctorat : Informatique : Université d'État de Saint-Petersbourg. Faculté de mathématiques et de mécanique : 2004. / Thèse soutenue en co-tutelle. Titre provenant de l'écran-titre. Bibliogr.
194

Intégration des réseaux sur silicium optimisation des preformances des couches physique et liaison /

Philippe, Jean-Marc Sentieys, Olivier. Pillement, Sébastien January 2005 (has links) (PDF)
Thèse doctorat : Traitement du signal et télécommunications : Rennes 1 : 2005. / Bibliogr. p. 175-183.
195

Validation de données débitmétriques issues de réseaux d'assainissement

Hamioud, Farida Ragot, José January 2007 (has links) (PDF)
Thèse de doctorat : Automatique et traitement du signal : INPL : 2007. / Titre provenant de l'écran-titre. Bibliogr.
196

Apprentissage multisource par programmation logique inductive application à la caractérisation d'arythmies cardiques /

Fromont, Élisa Cordier, Marie-Odile January 2005 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2005. / Bibliogr. p. 197-206.
197

Emotions from psychological theories to logical formalization and implementation in BDI agent /

Adam, Carole Herzig, Andréas. January 2008 (has links)
Reproduction de : Thèse de doctorat : Intelligence artificielle : Toulouse, INPT : 2007. / Titre provenant de l'écran-titre. Bibliogr. 167 réf.
198

Protocols, truth and convention

Oberdan, Thomas. January 1993 (has links)
Thèse : ? : Indiana University : 1989. / Bibliogr. p. [143]-147.
199

Méthodes de formalisation des connaissances et des raisonnements mathématiques aspects appliqués et théoriques /

Paskevych, Andriy Verchinine, Konstantin. January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : Paris 12 : 2007. / Titre provenant de l'écran-titre. Bibliogr. : 79 réf. Index.
200

Etude historique et critique de méthodes de démonstration en arithmétique

Vidal, Robert Parrochia, Daniel January 2006 (has links)
Reproduction de : Thèse de doctorat : Philosophie : Lyon 3 : 2005. / Titre provenant de l'écran-titre. Bibliogr.

Page generated in 0.0308 seconds