- 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.135 seconds)Spelling suggestions: "subject:"automates lathématique, ehéore dess"" "subject:"automates lathématique, ehéore deus""
| 1 |
Contribution à l'étude de la dynamique d'un automate à mémoireMoumida, 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.
|
| 2 |
Synthèse et simulation d'algorithmes systoliquesSakho, 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'interactionLe 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'automatesPellegrin, 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 logicielsBailly, 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 stacksLe 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 massifLabbani, 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.1386 seconds