741 |
Optimisation par synthèse architecturale des méthodes de partitionnement temporel pour les circuits reconfigurablesLiu, Ting Weber, Serge. January 2008 (has links) (PDF)
Thèse de doctorat : Instrumentation et Micro-Électronique : Nancy 1 : 2008. / Titre provenant de l'écran-titre. Bibliogr.
|
742 |
Allocation sûre dans les systèmes aéronautiques modélisation, vérification et génération /Sagaspe, Laurent Couvreur, Jean-Michel Bieber, Pierre. January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : Bordeaux 1 : 2008. / Titre provenant de l'écran-titre.
|
743 |
CoRDAGe un service générique de co-déploiement et redéploiement d'applications sur grilles /Cudennec, Loïc Bougé, Luc Antoniu, Gabriel January 2009 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2009. / Titre provenant de la page du titre du document électronique. Bibliogr. p. 151-163.
|
744 |
Real-time realistic rendering of nature scenes with dynamic lighting Rendu réaliste et temps réel de scènes naturelles avec éclairage dynamique /Boulanger, Kévin Bouatouch, Kadi Pattanaik, Sumanta. January 2008 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2008. Thèse doctorat : Informatique : University of central Florida (Orlando) : 2008. / Titre provenant de la page du titre du document électronique. Bibliogr. p. 109-114.
|
745 |
Génération automatique de tests pour modèles avec variables ou récursivitéConstant, Camille 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. 161-169.
|
746 |
Accélération de plates-formes Java embarquées : techniques et cadre formelKetari, Lamia. January 1900 (has links) (PDF)
Thèse (Ph. D.)--Université Laval, 2007. / Titre de l'écran-titre (visionné le 5 mai 2008). Bibliogr.
|
747 |
RST, une architecture connexionniste pour la prise en compte de relations spatiales et temporelles /Chappelier, Jean-Cédric. January 1996 (has links)
Th. doct.--Informatique et réseaux--Paris--ENST, 1996. / Bibliogr. p. 239-247. Index. Résumé en anglais et en français.
|
748 |
Construction hypothétique d'objets complexes /Girard, Pierre, January 1900 (has links)
Th. doct.--Informatique--Grenoble 1, 1995. / Bibliogr. p. 253-262. Résumé en anglais et en français. 1996 d'après la déclaration de dépôt légal.
|
749 |
La preuve informatique en matière d'acte juridique : une étude comparative des systèmes français et québécois /Chantarodjana, Chawala. January 1997 (has links)
Thèse (LL.M.)--Université Laval, 1997. / Bibliogr.: f. 141-148. Publié aussi en version électronique.
|
750 |
Développement d'une méthode de transfert des mises à jour de données à référence spatiale /Poupart-Lavoie, Geneviève. January 1997 (has links)
Thèse (M.Sc.)--Université Laval, 1997. / Bibliogr.: f. [87]-94. Publié aussi en version électronique.
|
Page generated in 0.0539 seconds