NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2447
  • 1618
  • 1255
  • 21
  • 6
  • 6
  • 2
  • 2
  • 1
  • Tagged with
  • 5650
  • 3140
  • 3002
  • 1276
  • 692
  • 690
  • 662
  • 645
  • 620
  • 597
  • 486
  • 476
  • 457
  • 453
  • 438
  • 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 451 to 460 of 5650 (0.048 seconds)
451

Etudes et évaluations d'architectures de pré-synthétiseurs d'images réalistes HELIOS/GETRIS /

Chibane, Karim Martinez, Francis. January 2008 (has links)
Reproduction de : Thèse de docteur-ingénieur : informatique : Grenoble, INPG : 1986. / Titre provenant de l'écran-titre.
Infographie. Temps réel (informatique)
452

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

Un calcul de réécriture de graphes applications à la biologie et aux systèmes autonomes /

Andrei, Oana-Maria Kirchner, Hélène January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2008. / Titre provenant de l'écran-titre.
454

Vérification de propriétés de programmes flots de données synchrones

Glory, Anne-Cécile. Ouabdesselam, Farid. Verjus, Jean-Pierre. Jorrand, Philippe. Sifakis, Joseph. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble 1 : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 225-229.
Logiciels Temps réel (informatique)
455

Architecture massivement parallèle un réseau de cellules intégré pour la reconstruction d'images /

Lattard, Didier. Mazaré, Guy. Mossière, Jacques. January 2008 (has links)
Reproduction de : Thèse de doctorat : microélectronique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 221-231.
456

Approches langages pour la conception et la mise en oeuvre de programmes

Fradet, Pascal January 2000 (has links) (PDF)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 2000. / Bibliogr. p.115-129.
457

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

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

Calcul formel et parallélisme forme normale d'Hermite, méthodes de calcul et parallélisation /

Roch, Françoise. Della Dora, Jean January 2008 (has links)
Reproduction de : Thèse de doctorat : mathématiques appliquées : Grenoble, INPG : 1990. / Titre provenant de l'écran-titre. Bibliogr. p. 145-149.
460

Sécurité des protocoles cryptographiques décidabilité et résultats de transfert /

Zălinescu, Eugen Cortier, Véronique. Rusinowitch, Michaël January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : Nancy 1 : 2007. / Titre provenant de l'écran-titre.

Page generated in 0.0673 seconds