• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2459
  • 1641
  • 1419
  • 21
  • 6
  • 6
  • 2
  • 2
  • 1
  • Tagged with
  • 5850
  • 3150
  • 3011
  • 1276
  • 692
  • 690
  • 662
  • 645
  • 635
  • 598
  • 486
  • 477
  • 460
  • 459
  • 446
  • 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.
451

Transformations de programmes logiques : Bases sémantiques et applications

Tarau, Paul January 1990 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
452

Algorithmes de transformations d'images 2D et recherche d'esthétique

Guyaux, Françoise January 1990 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
453

Visionnaire : un outil multimédia pour l'apprentissage des langues

Lépine, Jean-François January 1991 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
454

Un environnement de travail pour le langage de programmation ObjVProlog

Loyer, Alain January 1991 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
455

Modélisation de réactions émotives et application à la génération de récits

Nault, Georges January 1991 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
456

Analyse de pannes multiples utilisant une technique d'élimination rapide

Verreault, Alain January 1991 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
457

Simulation des prises de décision d'un répartiteur par la programmation mathématique

Dufour, Gina January 1991 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
458

Contribution à l'amélioration des modélisations à objets

Anquetil, Nicolas January 1996 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
459

Multiway decision graphs and their applications in automatic formal verification of RTL designs

Zhou, Zijian January 1996 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
460

Conception de logiciels de communication testables

Karoui, Kamel January 1997 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Page generated in 0.0273 seconds