NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1045
  • 429
  • 101
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 1602
  • 582
  • 511
  • 484
  • 292
  • 256
  • 242
  • 218
  • 208
  • 204
  • 203
  • 192
  • 185
  • 181
  • 169
  • 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 31 to 40 of 1602 (0.134 seconds)
31

Discrete and disjunctive optimization : parallel strategies and applications in industrial scheduling /

Björkqvist, Jerker, January 2001 (has links)
Texte remanié de: Diss. Ph. D.--Faculty of chemical engineering--Åbo akademi university, 2001. / Bibliogr. p. 141-145.
32

Production de logiciels pour l'enseignement une expérience de prototypage d'un système construit sur un environnement Prolog /

Lucci, Alain. Scholl, Pierre-Claude. January 2008 (has links)
Reproduction de : Thèse de 3e cycle : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 151-181.
33

Programmation parallèle et programmation fonctionnelle propositions pour un langage /

Cisneros Gascon, Maria del Pilar. Jorrand, Philippe. January 2008 (has links)
Reproduction de : Thèse de 3e cycle : informatique : Grenoble, INPG : 1984. / Titre provenant de l'écran-titre. Bibliogr. p. 165-172.
34

Contribution à l'élaboration d'un formalisme gérant la pertinence pour les problèmes d'aide à la conception à base de contraintes

Oudenhove de Saint Géry, Thomas Van- Aldanondo, Michel. January 2006 (has links)
Thèse de doctorat : Systèmes industriels : Toulouse, INPT : 2006.
Programmation par contraintes
35

Contribution à l'élaboration d'un formalisme gérant la pertinence pour les problèmes d'aide à la conception à base de contraintes

Oudenhove de Saint Géry, Thomas Van- Aldanondo, Michel. January 2007 (has links)
Reproduction de : Thèse de doctorat : Systèmes industriels : Toulouse, INPT : 2006. / Titre provenant de l'écran-titre. Bibliogr. 115 réf.
Programmation par contraintes
36

Algèbre de programmes dans un univers type

Bensalem, Saddek. January 2008 (has links)
Reproduction de : Thèse de 3e cycle- : informatique : Grenoble, INPG : 1985. / Titre provenant de l'écran-titre. Bibliogr. p. 109-115.
Langages de programmation. Logiciels
37

Etudes adaptatives et comparatives de certains algorithmes en optimisation implémentations effectives et applications /

Yassine, Adnan Pham Dinh, Tao. Laurent, Pierre Jean January 2008 (has links)
Reproduction de : Thèse de doctorat : mathématiques appliquées : Grenoble 1 : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 158-159.
Programmation linéaire Algorithmes
38

Vérification-correction de programme pour la prise en compte des incertitudes en programmation automatique des robots

Puget, Pierre Jorrand, Philippe. Fonlupt, Jean. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 143-147.
Robotique Programmation automatique
39

Sémantique relationnelle des programmes non-déterministes et des processus communicants

Guerreiro, Pedro J.V.D. Jorrand, Philippe. January 2008 (has links)
Reproduction de : Thèse de 3e cycle : informatique : Grenoble, INPG : 1981. / Titre provenant de l'écran-titre. Bibliogr. p.207-215.
40

Three tools for language processing BNF Converter, Functional Morphology, and Extract /

Forsberg, Markus January 2007 (has links) (PDF)
Thesis : engineering : Göteborg, Chalmers University of Technology : 2007. / Notes bibliogr.

Page generated in 0.1405 seconds