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.

 

 

Pour une recherche détaillée
 Visiter Papyrus
Date Trier par date en ordre croissant Titre Trier par titre en ordre croissant
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2002 Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources
2003 Méthodes heuristiques pour un problème d'ordonnancement avec contraintes sur les ressources
2001 Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques
2017-12 Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique
2004 Méthode structurelle pour le suivi automatique des artères coronaires en ciné-angiographie
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2006 Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
2021-08 Méthodologies pour la détection de diachronies sémantiques et leurs impacts
2006 Methods for multi-class segmentation of molecular sequences
Nombre de résultats : 1178