CS-214: Software constructionLearn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundam
ENV-418: River eco-morphologyLe cours traite les interactions entre l'hydraulique, le transport solide par charriage et l'espace cours d'eau à l'origine de la morphologie et de la richesse des habitats. La théorie de régime est p
ME-422: Multivariable controlThis course covers methods for the analysis and control of systems with multiple inputs and outputs, which are ubiquitous in modern technology and industry. Special emphasis will be placed on discrete
MATH-328: Algebraic geometry I - CurvesAlgebraic geometry is the common language for many branches of modern research in mathematics. This course gives an introduction to this field by studying algebraic curves and their intersection theor
EE-567: Semiconductor devices IIStudents will learn about understanding the fundamentals and applications of emerging nanoscale devices, materials
and concepts. Remark: at least 5 students should be enrolled for the course to be giv
CS-451: Distributed algorithmsComputing is nowadays distributed over several machines, in a local IP-like network, a cloud or a P2P network. Failures are common and computations need to proceed despite partial failures of machin
AR-433: UE H : GraphyExpérimenter les moyens graphiques de re-présentation de l'architecture.
Exercer la compétence de communiquer par ces moyens. Par une pratique répétée exerçant les relations œil, main, cerveau; par un