• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 12
  • 5
  • 1
  • 1
  • Tagged with
  • 19
  • 12
  • 10
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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.
1

Analyse de la complexité des programmes par interprétation sémantique

Péchoux, Romain Marion, Jean-Yves. January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2007. / Titre provenant de l'écran-titre.
2

L'émergence de la complexité et la méthodologie des systèmes souples /

Kobinger, Nicole, January 1996 (has links)
Thèse (de maîtrise)--Université Laval, 1996. / Bibliogr.: f. [128]-132. Publié aussi en version électronique.
3

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

Bounded arithmetic /

Buss, Samuel R., January 1986 (has links)
Texte remanié de: Diss. Ph. D.--Department of mathematics--Princeton (N.J.)--Princeton university, 1985.
5

Chaos im Gespräch : komplexitätstheoretische Betrachtung der chaotischen Gesprächsdynamik am Beispiel des Beratungsgesprächs /

Lee, So-Young, January 1900 (has links)
Diss.--Philosophische Fakultät--Universität Erlangen-Nürnberg, 2002. / Bibliogr. p. 189-193.
6

Structure des espaces de recherche, complexité des algorithmes d'optimisation combinatoire stochastique et applications à la bioinformatque

Gras, Robin. January 2004 (has links)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 2004. / Bibliogr. p. 144-162.
7

Mesure de la complexité fonctionnelle des logiciels /

Tran, Cao De, January 2005 (has links)
Thèse (D. en informatique cognitive)--Université du Québec à Montréal, 2005. / En tête du titre: Université du Québec à Montréal. Bibliogr.: f. [172]-181. Publié aussi en version électronique.
8

Algorithmique et complexité distribuées : application à quelques problèmes fondamentaux de complexité /

Lavault, Christian, January 1900 (has links)
Th.--Informatique--Paris-Sud--Orsay, 1987. / 1988 d'après la déclaration de dépôt légal. Bibliogr. p. 293-299.
9

Contribution à l'étude de la logique linéaire comme formalisme de modélisation et de spécification /

Leneutre, Jean. January 1999 (has links)
Th. doct.--Informatique et réseaux--Paris--ENST, 1998. / Bibliogr. p. 127-132. Index. Résumé en français et en anglais.
10

Randomness and completeness in computational complexity

Melkebeek, Dieter van. January 2000 (has links)
Texte remanié de : Ph. D : Mathématiques : University of Chicago : 1999. / Notes bibliogr.

Page generated in 0.0494 seconds