Concept
Tableau (structure de données)
Cours associés (27)
CS-307: Introduction to multiprocessor architecture
Multiprocessors are a core component in all types of computing infrastructure, from phones to datacenters. This course will build on the prerequisites of processor design and concurrency to introduce
CS-628: Interactive Theorem Proving CS
A 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!
CS-322: Introduction to database systems
This course provides a deep understanding of the concepts behind data management systems. It covers fundamental data management topics such as system architecture, data models, query processing and op
CS-208: Computer architecture I
The course introduces the students to the basic notions
of computer architecture and, in particular, to the
choices of the Instruction Set Architecture and to the
memory hierarchy of modern systems.
CS-449: Systems for data science
The course covers fundamental principles for understanding and building systems for managing and analyzing large amounts of data.
MICRO-560: BioMEMS
This course covers the main applications of micro devices for life science and biomedical applications. The course is organized by application topic. It is also covering the basic physical, biological
MGT-644(b): Computational Methods for Doctoral Research in Management
The objective of this course is to introduce doctoral students to computational methods for data-driven empirical research in management.