Termine
| Titel | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Mensch-Computer Interaktion: Nutzerschnittstellen für die Computergeräte der Zukunft | Vorlesung | HS 1, Mathematik | 2 | 19.01.15 | 19.01.15 | No | |
| Verifikation von Echtzeitsystemen | Vorlesung | HS 1, Mathematik | 2 | 26.01.15 | 26.01.15 | No | |
| Interaktives Beweisen | Vorlesung | HS 1, Mathematik | 2 | 02.02.15 | 02.02.15 | No | |
| Die Lösung aller Probleme | Vorlesung | HS 2, Mathematik | 2 | 09.02.15 | 09.02.15 | No |