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é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.109 seconds