• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1031
  • 415
  • 100
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 1571
  • 577
  • 509
  • 483
  • 285
  • 251
  • 240
  • 215
  • 204
  • 202
  • 199
  • 189
  • 184
  • 181
  • 168
  • 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.
41

Syntaxe, raisonnement et génomes

Nicolas, Jacques January 2008 (has links)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 2008. / Bibliogr. p. 93-107.
42

Structuration de lignes d'usinage méthodes exactes et heuristiques /

Finel, Brigitte. Vernadat, François. January 2008 (has links) (PDF)
Reproduction de : Thèse doctorat : Automatique, spécialité productique : Metz : 2004. / Titre provenant de l'écran-titre. Notes bibliographiques.
43

Contraintes d'anti-filtrage et programmation par réécriture

Köpetz, Radu Kirchner, Claude Moreau, Pierre-Etienne January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2008. / Titre provenant de l'écran-titre.
44

Co-construction de sens par négociation pour la réutilisation en situation de l'expérience tracée vers le partage et l'échange d'expérience collective /

Stuber, Arnaud Mille, Alain January 2007 (has links) (PDF)
Reproduction de : Thèse de doctorat : Informatique : Lyon 1 : 2007. / Titre provenant de l'écran titre. Bibliogr. 199-206.
45

Memory-Constrained Security Enforcement

Talhi, Chamseddine. January 1900 (has links) (PDF)
Thèse (Ph. D.)--Université Laval, 2007. / Titre de l'écran-titre (visionné le 18 sept. 2007). Bibliogr.
46

CDL+CWS : un langage de prototypes et son environnement

Jean, David. January 1997 (has links)
Thèses (M.Sc.)--Université de Sherbrooke (Canada), 1997. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
47

Développement de logiciels d'analyse structurale à interface graphique : WMNPhi et CalWin

Labbé, Alexandre. January 2001 (has links)
Thèses (M.Sc.A.)--Université de Sherbrooke (Canada), 2001. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
48

Application de la méthode de vérification de modèles sur des protocoles de communication JAVA

Ben Ezzine, Radhouane. January 2002 (has links)
Thèses (M.Sc.)--Université de Sherbrooke (Canada), 2002. / Titre de l'écran-titre (visionné le 18 juillet 2006). Publié aussi en version papier.
49

Évaluation paresseuse des filtrages avec priorité, application au langage ML... /

Laville, Alain, January 1988 (has links)
Th.--Informatique--Paris VII, 1988. / Bibliogr. p. 125-127.
50

Stratégies d'évaluation parallèle de requêtes Datalog récursives /

Lifschitz, Sérgio. January 1994 (has links)
Th. doct.--Inform. et réseaux--Paris--ENST, 1994. / Bibliogr. p. 145-151.

Page generated in 0.1349 seconds