Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

 

 

For a detailed search
 Visit Papyrus
Date Sort by date in descending order Title Sort by title in descending order
1996 Topoï, un système de production d'argumentations dialectiques
1996 Étude et réalisation d'un système conseiller
1996 Multiway decision graphs and their applications in automatic formal verification of RTL designs
1996 Vers une architecture portable et distribuée de systèmes tutoriels intelligents : étude dans le cadre du projet SAFARI
1996 Spécification formelle de systèmes d'information interactifs par la technique des scénarios
1996 Résolution du problème de tournées de véhicules à flotte hétérogène à l'aide de la recherche avec tabous
1997 Réutilisation de méthodes de résolution de problèmes dans les systèmes à base de connaissances
1997 Implantation du protocole de signalisation ATM en utilisant une spécification SDL
1997 Conception de logiciels de communication testables
1997 Développement d'un éditeur graphique pour les suites de tests de protocoles de communication
1997 Modélisation orientée objet des éléments de réseau SONET et application à la gestion de réseau
1997 Propriétés relationnelles tridimensionnelles des structures d'acides nucléiques
1997 Applications multimédia et gestion de qualité de service dans l'environnement du World Wide Web
1997 Intervalles de confiance bootstrap pour la simulation de processus regénératifs
1997 Approches de parallélisation basées sur l'organisation de la mémoire pour des méthodes de séparations et évaluations progressives
1997 Les procédés cryptographiques de monnaie électronique : design, fonctionnalités et usages
1997 Routage inter-domaines dans les réseaux ATM
1997 Étude et réalisation d'un système d'aide à la modélisation des tâches
1997 Towards a formal definition of security for quantum protocols
1997 Dérivation de spécification à partir de scénarios d'interaction
Number of results : 1512