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 ascending order Title Sort by title in ascending order
1996-03 Un outil pour la spécification de matériel et la génération de modèles exécutables
1996 Spécification formelle de systèmes d'information interactifs par la technique des scénarios
1996 Contributions à l'étude du non-déterminisme restreint
1996 Génération intégrée de textes et de graphiques statistiques
1996 Modélisation des connaissances de la matière dans un système tutoriel intelligent : modèles, outils et applications
1996 Estimation de la performance et méthodes d'allocation dans la synthèse de systèmes numériques
1996 Contribution à l'amélioration des modélisations à objets
1996 Un détermineur permettant la réexécution d'un langage de programmation parallèle de type acteur
1996 Environnement auteur exploitant les bases de connaissances dans un système tutoriel intelligent
1996 Vers une architecture portable et distribuée de systèmes tutoriels intelligents : étude dans le cadre du projet SAFARI