Spelling suggestions: "subject:"complexité́"" "subject:"complexitý""
1 |
Analyse de la complexité des programmes par interprétation sémantiquePé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 bioinformatqueGras, 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 complexityMelkebeek, Dieter van. January 2000 (has links)
Texte remanié de : Ph. D : Mathématiques : University of Chicago : 1999. / Notes bibliogr.
|
Page generated in 0.0606 seconds