NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 7
  • Tagged with
  • 7
  • 7
  • 7
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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 1 to 7 of 7 (0.105 seconds)

Spelling suggestions: "subject:"automates lathématique, 4héore dess"" "subject:"automates lathématique, 4héore deus""

1

Contribution à l'étude de la dynamique d'un automate à mémoire

Moumida, Driss. Cosnard, Michel Robert, François January 2008 (has links)
Reproduction de : Thèse de doctorat : Mathématiques appliquées : Grenoble INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 151-155.
Automates mathématiques, Théorie des
2

Synthèse et simulation d'algorithmes systoliques

Sakho, Ibrahima. Tchuente, Maurice. January 2008 (has links)
Reproduction de : Thèse de 3e cycle : mathématiques appliquées : Grenoble, INPG : 1987. / Titre provenant de l'écran-titre. Bibliogr. p. 126.
3

La coordination dans les grammaires d'interaction

Le Roux, Joseph Perrier, Guy. January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2007. / Titre provenant de l'écran-titre. Bibliogr.
4

Algorithmique discrète et réseaux d'automates

Pellegrin, Didier Robert, François January 2008 (has links)
Reproduction de : Thèse de doctorat : mathématiques appliquées : Grenoble 1 : 1986. / Titre provenant de l'écran-titre.
5

Test & validation de composants logiciels

Bailly, Arnaud Clerbout, Mireille Ryl, Isabelle January 2007 (has links)
Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2005. / N° d'ordre (Lille 1) : 3752. Titre provenant de la page de titre du document numérisé. Bibliogr. p.147-156.
6

Abstract lattices for the verification of systems with queues and stacks

Le Gall, Tristan Jéron, Thierry January 2008 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2008. / Titre provenant de la page du titre du document électronique. Bibliogr. p. 155-161.
7

Modélisation à haut niveau du contrôle dans des applications de traitement systématique à parallélisme massif

Labbani, Ouassila Dekeyser, Jean-Luc Boulet, Pierre. January 2007 (has links)
Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2006. / N° d'ordre (Lille 1) : 3869. Titre provenant de la page de titre du document numérisé. Bibliogr. p. [239]-250.

Page generated in 0.109 seconds