Termine
| Titel | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Tensoren in der Informatik: Quantenkryptographie, VP versus VNP und Kommunikationskanäle | Vorlesung | HS 1, Mathematik | 2 | 05.01.15 | 05.01.15 | No | |
| Verifikation von Echtzeitsystemen | Vorlesung | HS 1, Mathematik | 2 | 26.01.15 | 26.01.15 | No | |
| Verifizierbare Programmiersprachen | Vorlesung | HS 1, Mathematik | 2 | 15.12.14 | 15.12.14 | No | |
| Wir können alles ausser Testen | Vorlesung | HS 1, Mathematik | 2 | 03.11.14 | 03.11.14 | No |