NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 651
  • 236
  • 68
  • 30
  • 10
  • 8
  • 3
  • 3
  • 2
  • 2
  • 1
  • Tagged with
  • 1045
  • 357
  • 254
  • 237
  • 152
  • 144
  • 109
  • 103
  • 87
  • 86
  • 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 201 to 210 of 1045 (0.019 seconds)

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

201

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.
202

Protocols, truth and convention

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

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.
204

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.
205

<>.

Prévost, Aurélien Meyer, Michèle January 2003 (has links) (PDF)
Reproduction de : Thèse de doctorat : Physique nucléaire : Lyon 1 : 2003. / Titre provenant de l'écran titre. 126 réf. bibliogr.
206

Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre

Vassiliev, Pavel Beauquier, Danièle Soloviev, Igor. January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : Paris Est : 2008. Thèse de doctorat : Informatique : Université de Saint-Pétersbourg : 2008. / Thèse soutenue en co-tutelle. Titre provenant de l'écran-titre.
207

GEOLIS un système d'information logique pour l'organisation et la recherche de données géolocalisées /

Bedel, Olivier Ridoux, Olivier January 2009 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2009. / Titre provenant de la page du titre du document électronique. Bibliogr. p. [179]-186. Index.
208

Contribution à la commande adaptative robuste par modes glissants

Hussain, Ayman Zaytoon, Janan. Hamzaoui, Abdelaziz January 2008 (has links) (PDF)
Reproduction de : Thèse doctorat : Génie informatique, automatique et traitement du signal : Reims : 2008. / Titre provenant de l'écran titre. Bibliogr. p. 129-141.
209

Détection des modes par opérateurs morphologiques flous pour la segmentation d'images couleurs

Gillet, Aymeric Postaire, Jack-Gérard. Botte-Lecocq, Claudine. January 2007 (has links)
Reproduction de : Thèse de doctorat : Automatique et Informatique industrielle : Lille 1 : 2004. / N° d'ordre (Lille 1) : 3585. Résumé en français et en anglais. Titre provenant de la page de titre du document numérisé. Bibliogr. p. [141]-144. Liste des publications. Index.
210

Essai critique sur l'esthétique de Kant ...

Basch, Victor, January 1896 (has links)
These - Faculté des lettres de Paris. / "Bibliographie": p. [609]-616.

Page generated in 0.0236 seconds