Terminkategorien
- Name
- Vorlesung
- Farbe
- Green
Related Events
Titel | Status | Startzeit | Endzeit | den ganzen Tag | |
---|---|---|---|---|---|
Outbreak - Simulation einer Virusepidemie | Scheduled | 27.10.2014 14:15 | 27.10.2014 15:45 | No |
|
Die Quadratur des Kreises: Einfaches Programmieren hocheffizienter Programme für aktuelle Hardware | Scheduled | 10.11.2014 14:15 | 10.11.2014 15:45 | No |
|
Wir können alles ausser Testen | Scheduled | 03.11.2014 14:15 | 03.11.2014 15:45 | No |
|
DANKE ist nicht immer dreilagig | Scheduled | 17.11.2014 14:15 | 17.11.2014 15:45 | No |
|
Adaptive Dialogsysteme | Scheduled | 24.11.2014 14:15 | 24.11.2014 15:45 | No |
|
Die Lösung aller Probleme | Scheduled | 09.02.2015 14:15 | 09.02.2015 15:45 | No |
|
Interaktives Beweisen | Scheduled | 02.02.2015 14:15 | 02.02.2015 15:45 | No |
|
Verifikation von Echtzeitsystemen | Scheduled | 26.01.2015 14:15 | 26.01.2015 15:45 | No |
|
Mensch-Computer Interaktion: Nutzerschnittstellen für die Computergeräte der Zukunft | Scheduled | 19.01.2015 14:15 | 19.01.2015 15:45 | No |
|
Die Bedeutung der Informatik für Genomsequenzierung | Scheduled | 12.01.2015 14:15 | 12.01.2015 15:45 | No |
|
Tensoren in der Informatik: Quantenkryptographie, VP versus VNP und Kommunikationskanäle | Scheduled | 05.01.2015 14:15 | 05.01.2015 15:45 | No |
|
Verifizierbare Programmiersprachen | Scheduled | 15.12.2014 14:15 | 15.12.2014 15:45 | No |
|
Rechnen mit ganz wenig Arbeitsspeicher | Scheduled | 08.12.2014 14:15 | 08.12.2014 15:45 | No |
|
Der Computer würfelt nicht | Scheduled | 01.12.2014 14:15 | 01.12.2014 15:45 | No |
|