971 |
Plate-forme d'analyse morpho-syntaxique pour l'indexation automatique et la recherche d'information de l'écrit vers la gestion des connaissances /Sidhom, Sahbi Hassoun, Mohamed January 2002 (has links) (PDF)
Reproduction de : Thèse de doctorat : Informatique : Lyon 1 : 2002. / Titre provenant de l'écran titre. 348 réf. bibliogr.
|
972 |
Bonnes démonstrations en déduction moduloBurel, Guillaume Kirchner, Claude January 2009 (has links) (PDF)
Thèse de doctorat : Informatique : Nancy 1 : 2009. / Titre provenant de l'écran-titre.
|
973 |
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.
|
974 |
Une approche dynamique pour l'optimisation des communications concurrentes sur réseaux hautes performanceBrunet, Elisabeth Namyst, Raymond January 2008 (has links) (PDF)
Thèse de doctorat : Mathématiques et Informatique. Informatique : Bordeaux 1 : 2008. / Titre provenant de l'écran-titre.
|
975 |
Identification de systèmes dynamiques non-linéaires par réseaux de neurones et multimodèlesThiaw, Lamine Madani, Kurosh. January 2008 (has links) (PDF)
Thèse de doctorat : Génie informatique, automatique et traitement du signal : Paris Est : 2008. / Titre provenant de l'écran-titre.
|
976 |
Co-design et raffinement en B BHDL tool, plateforme pourr la conception de composants numériques /Aljer, Ammar Devienne, Philippe Tison, Sophie. January 2007 (has links)
Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2004. / Titre provenant de la page de titre du document numérisé. Bibliogr. p. 183-194.
|
977 |
Une méthodologie multi-critères pour l'évaluation de performance appliquée aux architectures de réseaux d'interconnexion multi-étagesAljundi, Ahmad Chadi Dekeyser, Jean-Luc January 2007 (has links)
Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2004. / Label européen. N° d'ordre (Lille 1) : 3475. Texte de la thèse en anglais. Synthèse en français. Résumé en français et en anglais. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 109-116.
|
978 |
Model-based testing of real-time embedded systems in the automotive domainZander-Nowicka, Justyna. January 1900 (has links)
Zugl.: Berlin, Techn. Univ., Diss., 2008. Thèse de doctorat : Science et technique : Berlin : 2008.
|
979 |
Analyse de scènes péri-urbaines à partir d'images radar haute résolution application à l'extraction semi-automatique du réseau routier /Amberg, Virginie Marthon, Philippe January 2006 (has links)
Reproduction de : Thèse de doctorat : Signal, image, acoustique : Toulouse, INPT : 2005. / Titre provenant de l'écran-titre. Bibliogr. 108 réf.
|
980 |
Concurrence et conscience de groupe dans l'édition collaborative sur réseaux pair à pairAlshattnawi, Sawsan Molli, Pascal. Canals, Gérôme. January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : Nancy 1 : 2008. / Titre provenant de l'écran-titre.
|
Page generated in 0.0695 seconds