ME-105: Introduction to mechanical designLe cours de ME-105 vise à l'acquisition du langage normalisé de la communication technique en conception mécanique et d'une culture technique de base, via une revue des concepts, composants, et méthod
CIVIL-235: Design of steel structuresCe cours permet de maitriser les aspects fondamentaux et pratiques du dimensionnement des structures en acier. Il traite des poutres, des poteaux, des assemblages, des cadres, des systèmes porteurs et
CS-550: Formal verificationWe introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
MSE-464: Assembly techniquesIntroduction to the assembly of materials by homogeneous or heterogeneous joints (welding, bonding, mechanical assembly). Mechanical and environmental resistance of joints.
ME-102: Mechanical construction II (for ME)Le cours de ME-102 vise à l'acquisition d'une solide culture technique de base en vue d'être capable de traiter des cas concrets de construction mécanique, via une revue des concepts, composants, et m
