| Titel |
Type |
Location |
Serial |
Start |
End |
All Day |
|
|
Wir können alles ausser Testen |
Vorlesung |
HS 1, Mathematik |
2 |
03.11.14 |
03.11.14 |
No |
|
|
Verifizierbare Programmiersprachen |
Vorlesung |
HS 1, Mathematik |
2 |
15.12.14 |
15.12.14 |
No |
|
|
Verifikation von Echtzeitsystemen |
Vorlesung |
HS 1, Mathematik |
2 |
26.01.15 |
26.01.15 |
No |
|
|
Tensoren in der Informatik: Quantenkryptographie, VP versus VNP und Kommunikationskanäle |
Vorlesung |
HS 1, Mathematik |
2 |
05.01.15 |
05.01.15 |
No |
|
|
Rechnen mit ganz wenig Arbeitsspeicher |
Vorlesung |
HS 1, Mathematik |
2 |
08.12.14 |
08.12.14 |
No |
|
|
Outbreak - Simulation einer Virusepidemie |
Vorlesung |
HS 1, Mathematik |
2 |
27.10.14 |
27.10.14 |
No |
|
|
Mensch-Computer Interaktion: Nutzerschnittstellen für die Computergeräte der Zukunft |
Vorlesung |
HS 1, Mathematik |
2 |
19.01.15 |
19.01.15 |
No |
|
|
Interaktives Beweisen |
Vorlesung |
HS 1, Mathematik |
2 |
02.02.15 |
02.02.15 |
No |
|
|
Die Quadratur des Kreises: Einfaches Programmieren hocheffizienter Programme für aktuelle Hardware |
Vorlesung |
HS 1, Mathematik |
2 |
10.11.14 |
10.11.14 |
No |
|
|
Die Lösung aller Probleme |
Vorlesung |
HS 2, Mathematik |
2 |
09.02.15 |
09.02.15 |
No |
|
