451 |
Transformations de programmes logiques : Bases sémantiques et applicationsTarau, 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étiqueGuyaux, 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 languesLé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 ObjVPrologLoyer, 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écitsNault, 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 rapideVerreault, 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ématiqueDufour, 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 à objetsAnquetil, 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 designsZhou, 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 testablesKaroui, 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