Dmitriy Traytel: Course units in Autumn Semester 2017 |
Name | Dr. Dmitriy Traytel |
URL | http://people.inf.ethz.ch/trayteld |
Department | Computer Science |
Relationship | Lecturer |
Number | Title | ECTS | Hours | Lecturers | |
---|---|---|---|---|---|
263-4630-00L | Computer-Aided Modelling and Reasoning In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum. | 8 credits | 7P | A. Lochbihler, D. Traytel |