| Titel |
Type |
Location |
Serial |
Start |
End |
All Day |
|
|
Die Lösung aller Probleme |
Vorlesung |
HS 2, Mathematik |
2 |
09.02.15 |
09.02.15 |
No |
|
|
Interaktives Beweisen |
Vorlesung |
HS 1, Mathematik |
2 |
02.02.15 |
02.02.15 |
No |
|
|
Verifikation von Echtzeitsystemen |
Vorlesung |
HS 1, Mathematik |
2 |
26.01.15 |
26.01.15 |
No |
|
|
Mensch-Computer Interaktion: Nutzerschnittstellen für die Computergeräte der Zukunft |
Vorlesung |
HS 1, Mathematik |
2 |
19.01.15 |
19.01.15 |
No |
|
|
Die Bedeutung der Informatik für Genomsequenzierung |
Vorlesung |
HS 1, Mathematik |
2 |
12.01.15 |
12.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 |
|
|
Verifizierbare Programmiersprachen |
Vorlesung |
HS 1, Mathematik |
2 |
15.12.14 |
15.12.14 |
No |
|
|
Rechnen mit ganz wenig Arbeitsspeicher |
Vorlesung |
HS 1, Mathematik |
2 |
08.12.14 |
08.12.14 |
No |
|
|
Der Computer würfelt nicht |
Vorlesung |
HS 1, Mathematik |
2 |
01.12.14 |
01.12.14 |
No |
|
|
Adaptive Dialogsysteme |
Vorlesung |
HS 1, Mathematik |
2 |
24.11.14 |
24.11.14 |
No |
|
