781 |
Contribution à un modèle d'évaluation quantitative des performances fiabilistes de fonctions électroniques et programmables dédiées à la sécuritéHamidi, Karim Aubry, Jean-François January 2005 (has links) (PDF)
Thèse de doctorat : Automatique : Vandoeuvre-les-Nancy, INPL : 2005. / Titre provenant de l'écran-titre. Bibliogr.
|
782 |
Apprentissage, réseaux de neurones et applicationsTeytaud, Olivier. Paugam-Moisy, Hélène. January 2001 (has links)
Thèse de doctorat : Informatique : Lyon 2 : 2001. / Thèse : 2001LYO22020. Titre provenant de l'écran-titre. Bibliogr.
|
783 |
Modélisation et propagation de contraintes temporelles pour la planificationRit, Jean-François Latombe, Jean-Claude. Veillon, Gérard January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1988. / Titre provenant de l'écran-titre. Bibliogr. p. 126-129.
|
784 |
Intergiciel multi agents orienté web sémantique pour le développement d'applications ubiquitaires sensibles au contexteChibani, Abdelghani Amirat, Yacine. January 2008 (has links) (PDF)
Thèse de doctorat : Informatique. Intelligence artificielle : Paris 12 : 2006. / Thèse uniquement consultable au sein de l'Université Paris 12 (Intranet). Titre provenant de l'écran-titre. Bibliogr. : 154 réf.
|
785 |
Les mondes de la cyberdélinquance et images sociales du pirate informatiqueHumbert, Jean-Philippe Walter, Jacques January 2007 (has links) (PDF)
Thèse de doctorat : Sciences de l'information et de la communication : Metz : 2007. / Thèse soutenue sur ensemble de travaux. Bibliogr. p.330-338. 13 Annexes p. 339-398.
|
786 |
Cache de luminance et cartes graphiques une approche pour la simulation d'éclairage temps réel dans des scènes animées /Gautron, Pascal Bouatouch, Kadi January 2006 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2006. / Thèse en anglais qui contient un long résumé en français. Bibliogr. p. 101-109.
|
787 |
Contribution à une démarche de vérification formelle d'architectures logiciellesGraiet, Mohamed Giraudin, Jean-Pierre. January 2007 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble 1 : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 159-167.
|
788 |
Optimisation de forme multi-objectif sur machines parallèles avec méta-modèles et coupleurs application aux chambres de combustion aéronautiques /Duchaine, Florent Poinsot, Thierry January 2008 (has links)
Reproduction de : Thèse de doctorat : Dynamique des fluides : Toulouse, INPT : 2007. / Titre provenant de l'écran-titre. Bibliogr. 266 réf.
|
789 |
LUSTRE un langage déclaratif pour le temps réel /Bergerand, Jean-Louis. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1986. / Titre provenant de l'écran-titre.
|
790 |
Synthèse de programmes connaissances et déduction dans les domaines d'application /Brena, Ramón. Jacquet, Paul. Mossière, Jacques. Trilling, Laurent. Jorrand, Philippe. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. [178]-183.
|
Page generated in 0.0574 seconds