- 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 921 to 930 of 5650 (0.048 seconds)| 921 |
Modélisation grande échelle de réseaux biologiques vérification par contraintes booléennes de la cohérence des données /Veber, Philippe Andonov, Rumen Le Borgne, Michel. January 2007 (has links) (PDF)
Thèse doctorat : Informatique. Bioinformatique : Rennes 1 : 2007. / Bibliogr. p. 137-147.
|
| 922 |
Une nouvelle approche pour la vérification des masques des circuits intégrésJerraya, Ahmed Amine. January 2008 (has links)
Reproduction de : Thèse de docteur-ingénieur : informatique : Grenoble, INPG : 1983. / Titre provenant de l'écran-titre. Bibliogr. p. 147-153.
|
| 923 |
Inférence parallèle et processus communicants pour les clauses de Horn extension au premier ordre par la méthode de connexion /Ibañez, Maria Blanca. Jorrand, Philippe. January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Grenoble, INPG : 1990. / Titre provenant de l'écran-titre. Bibliogr. p. 247-252.
|
| 924 |
Rôle de la géométrie en informatique diffuse programmation des applications et navigation contextuelle /Pauty, Julien Banâtre, Michel. January 2006 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2006. / Bibliogr. p. 133-137.
|
| 925 |
La conception et la réalisation d'un système d'analyse morpho-syntaxique robuste pour l'arabe utilisation pour la détection et le diagnostic des fautes d'accord /Ouersighni, Riadh. Hassoun, Mohamed Dichy, Joseph January 2002 (has links)
Reproduction de : Thèse de doctorat : Sciences de l'information et de la communication : Lyon 2 : 2002. / En appendice, choix de documents. Titre provenant de l'écran-titre. Bibliogr. Glossaire.
|
| 926 |
Spécification et validation d'un réseau de communication de type Ethernet Commuté pour systèmes avioniques militaires de nouvelles générationsMifdaoui, Ahlem Fraboul, Christian. Francès, Fabrice. January 2008 (has links)
Reproduction de : Thèse de doctorat : Réseaux et télécommunications : Toulouse, INPT : 2007. / Titre provenant de l'écran-titre. Bibliogr. 55 réf.
|
| 927 |
Etude d'un modèle de représentation symbolique multi-résolution d'une image à base de graphesMelki, Michaël Jolion, Jean-Michel January 2007 (has links)
Thèse doctorat : Informatique : Villeurbanne, INSA : 2006. / Titre provenant de l'écran-titre. Bibliogr. p. 143-147.
|
| 928 |
Sauvegarde coopérative de données pour dispositifs mobiles ooperative data backup for mobile devices /Courtès, Ludovic Powell, David. Killijian, Marc-Olivier. January 2008 (has links)
Reproduction de : Thèse de doctorat : Systèmes informatiques : Toulouse, INPT : 2007. / Titre provenant de l'écran-titre. Bibliogr. 189 réf.
|
| 929 |
The graph rewriting calculus properties and expressive capabilities /Bertolissi, Clara Kirchner, Claude January 2005 (has links) (PDF)
Thèse de doctorat : Informatique : Vandoeuvre-les-Nancy, INPL : 2005. / Titre provenant de l'écran-titre. Bibliogr.
|
| 930 |
Flot de conception hiérarchique d'un système hétérogène Prototypage virtuel d'un réseau d'interconnexion optique intégré /Brière, Matthieu Gaffiot, Frédéric. January 2005 (has links) (PDF)
Thèse de doctorat : sciences. Dispositifs de l'électronique intégrée : Ecully, Ecole centrale de Lyon : 2005. / 140 réf.
|
Page generated in 0.0525 seconds