• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2447
  • 1618
  • 1255
  • 21
  • 6
  • 6
  • 2
  • 2
  • 1
  • Tagged with
  • 5650
  • 3140
  • 3002
  • 1276
  • 692
  • 690
  • 662
  • 645
  • 620
  • 597
  • 486
  • 476
  • 457
  • 453
  • 438
  • 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.
741

Optimisation par synthèse architecturale des méthodes de partitionnement temporel pour les circuits reconfigurables

Liu, 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 formel

Ketari, 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.0767 seconds