Spelling suggestions: "subject:"informatique."" "subject:"nformatique.""
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.
|
452 |
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.
|
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 synchronesGlory, 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.
|
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 programmesFradet, 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 communicantsGuerreiro, 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.0612 seconds