Christoph Sprenger: Lehrveranstaltungen im Herbstsemester 2014 |
Name | Herr Dr. Christoph Sprenger |
Adresse | Institut f. Informationssicherheit ETH Zürich, CNB F 108 Universitätstrasse 6 8092 Zürich SWITZERLAND |
Telefon | +41 44 632 75 56 |
sprenger@inf.ethz.ch | |
URL | http://people.inf.ethz.ch/csprenge/ |
Departement | Informatik |
Beziehung | Dozent |
Nummer | Titel | ECTS | Umfang | Dozierende | ||||
---|---|---|---|---|---|---|---|---|
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 KP | 7P | |||||
263-4630-00 P | Computer-Aided Modelling and Reasoning | 7 Std. |
| A. Lochbihler, C. Sprenger |