Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Course

PENS-230: Digital ENAC: le codage en contexte

Related courses (28)

CS-550: Formal verification

We 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 use formal verification tools and explain the theory and ...

BIO-379: Physiology lab II

Le TP de physiologie introduit les approches expérimentales du domaine biomédical, avec les montages de mesure, les capteurs, le conditionnement des signaux, l'acquisition et traitement de données. Les résultats physiologiques finaux illustrent le contenu ...

BIO-378: Physiology lab I

CS-491: Introduction to IT consulting

This course is an introduction to the alignment of enterprise needs with the possibilities offered by Information Technology (IT). Using a simulated business case, we explore how to define the requirements for an IT service that matches stakeholders explic ...

HUM-226: Wellbeing and Planetary Boundaries

Ce cours approfondit les acquis d'ENV-101 pour mieux comprendre et mettre en œuvre la durabilité : comment transformer la société vers le bien-être pour tous dans les limites écologiques, avec des approches et solutions sectorielles (énergie, bâtiments, mo ...

CS-202: Computer systems

This course will teach operating systems and networks in an integrated fashion,emphasising the fundamental concepts and techniques that make their interaction possible/practical. Core lectures will be coupled with C programming lectures and assignments for ...

ENV-370: Environmental system analysis and assessment

Les enjeux environnementaux doivent être abordés de façon systémique. L'Analyse du Cycle de Vie (ACV) et l'Analyse de Flux de Matière (AFM) sont des méthodes permettant d'évaluer de façon globale les performances environnementales des produits, des service ...

CS-119(h): Information, Computation, Communication

L'objectif de ce cours est d'initier les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'informatique et des communications et de développer une première compétence en programmation avec le langage Python. ...