Spelling suggestions: "subject:"égrits"" "subject:"écrias""
51 |
Vérification des systèmes matériels numériques séquentiels synchrones application du langage Lustre et de l'outil de vérification Lesar /Berkane, Bachir. Thuau, Olive. Anceau, François. Mazarée, Guy. January 2008 (has links)
Reproduction de : Thèse de doctorat : Signal Image Parole : Grenoble, INPG : 1992. / Titre provenant de l'écran-titre. Bibliogr. p. 137-144.
|
52 |
Vérification formelle des circuits digitaux décrits en VHDLSalem, Ashraf Mohamed El-Farghly. Borrione, Dominique. Caspi, Paul. Anceau, François January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Grenoble 1 : 1992. / Titre provenant de l'écran-titre. Bibliogr. p. 125-132.
|
53 |
Approches géométriques par modèles de Voronoï en segmentation d'imagesMelkemi, Mahmoud. Chassery, Jean-Marc. Laurent, Pierre Jean January 2008 (has links)
Reproduction de : Thèse de doctorat : Mathématiques appliquées : Grenoble 1 : 1992. / Titre provenant de l'écran-titre. Bibliogr. p.141-153.
|
54 |
Réseaux de neurones artificiels application à la reconnaissance optique de partitions musicales /Martin, Philippe. Bellissant, Camille. January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Grenoble 1 : 1992. / Titre provenant de l'écran-titre. Bibliogr. p. [165]-176.
|
55 |
Étude par un modèle de la génération périodique des signaux chimiotactiques chez dictyostelium discoideumMartiel, Jean-Louis Yon-Kahn, Jeannine. Demongeot, Jacques January 2008 (has links)
Reproduction de : Thèse d'Etat : sciences physiques (Chimie) : Paris 11 : 1988. / Titre provenant de l'écran-titre. Bibliogr. p. 261-274.
|
56 |
Modélisation et simulation d'un réseau de neurones formels implantation sur machine parallèle "hypercube FPS T-40 /Benaouda, Djamel. Demongeot, Jacques Cosnard, Michel January 2008 (has links)
Reproduction de : Thèse de doctorat : Mathématiques appliquées : Grenoble 1 : 1992. / Titre provenant de l'écran-titre. Bibliogr. p. 236-241.
|
57 |
Un système Prolog parallèle pour machines à mémoire distribuéeFavre, Michel. Mossière, Jacques. Plateau, Brigitte. January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Grenoble, INPG : 1992. / Titre provenant de l'écran-titre. Bibliogr. p. 187-189.
|
58 |
Un modèle générique pour la gestion des informations complexes et dynamiques gestionnaire d'objets du prototype ELEN dédié au génie logiciel /Jarwah, Sahar. Bruandet, Marie-France. Mossière, Jacques. Adiba, Michel. Chiaramella, Yves. January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Grenoble 1 : 1992. / Titre provenant de l'écran-titre. Bibliogr. p. 195-207.
|
59 |
Analyse par ondelettes quelques aspects numériques et applications à des signaux océaniques simulés et à l'estimation de densité de probabilité /Coulibaly, Macky. Baras, Pierre. January 2008 (has links)
Reproduction de : Thèse Doctorat : Mathématiques appliquées : Grenoble 1 : 1992. / Titre provenant de l'écran-titre. Bibliogr. p. 209-214.
|
60 |
Planification de mouvement pour mobile non-holonome en espace de travail dynamiqueFraichard, Thierry. Laugier, Christian Verjus, Jean-Pierre. January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Grenoble, INPG : 1992. / Titre provenant de l'écran-titre. Bibliogr. p. 79-86.
|
Page generated in 0.0398 seconds