AR-402(aj): Studio MA2 (Baumgartner et Camponovo)STAY A LITTLE LONGER étudie les potentialités du bâti existant. Les outils de représentations du projet de transformation - Existant/Noir, Démolition/Jaune, Nouveau/Rouge -structureront l'exploration
PHYS-641: Quantum ComputingAfter introducing the foundations of classical and quantum information theory, and quantum measurement, the course will address the theory and practice of digital quantum computing, covering fundament
CS-628: Interactive Theorem Proving CSA hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!
CIVIL-430: Concrete bridgesCe cours traite les principaux aspects de la conception et du dimensionnement des ponts en béton armé et précontraint. L'accent est mis sur les ponts poutres. Etude des aspects suivants : optimisation
ENV-542: Advanced satellite positioningAll fundamental principles behind modern satellite positioning to acquire, track and evaluate direct and indirect satellite signals and process them in relation to example applications: Earth monito