Veranstaltung / Modul Dozenten / Modulverantwortliche Zeitraum |
Veranstaltungsart Raum |
|||
---|---|---|---|---|
20-00-0120-iv TK3: Ubiquitous / Mobile Computing Prof. Dr. rer. nat. Eberhard Max Mühlhäuser Mo, 24. Apr. 2017 [14:25] - Mo, 17. Jul. 2017 [16:05] |
Integrierte Veranstaltung | |||
20-00-0358-iv Statistisches Maschinelles Lernen Prof. Ph. D. Jan Peters Di, 18. Apr. 2017 [13:30] - Di, 18. Jul. 2017 [15:10] |
Integrierte Veranstaltung | |||
20-00-0362-iv Formale Methoden der Informationssicherheit Prof. Dr.-Ing. Heiko Mantel Di, 18. Apr. 2017 [11:40] - Do, 20. Jul. 2017 [11:30] |
Integrierte Veranstaltung | |||
20-00-0489-iv Capturing Reality Prof. Dr.-Ing. Michael Gösele; Dr. rer. nat. Stefan Guthe Di, 18. Apr. 2017 [09:50] - Di, 18. Jul. 2017 [11:30] |
Integrierte Veranstaltung | |||
20-00-0512-iv Netzsicherheit Prof. Dr.-Ing. Matthias Hollick Do, 20. Apr. 2017 [09:50] - Do, 20. Jul. 2017 [11:30] |
Integrierte Veranstaltung | |||
20-00-0583-vl Sichere Mobile Systeme Prof. Dr.-Ing. Matthias Hollick Do, 20. Apr. 2017 [11:40] - Do, 20. Jul. 2017 [13:20] |
Vorlesung | |||
20-00-0794-iv Formale Spezifikation und Verifikation von Software Prof. Dr. rer. nat. Reiner Hähnle Di, 18. Apr. 2017 [11:40] - Mo, 18. Sep. 2017 [12:40] |
Integrierte Veranstaltung | |||
20-00-0800-vl An introduction to TLA+ Prof. Dr. rer. nat. Reiner Hähnle; Dr. Tianxiang Lu Do, 20. Apr. 2017 [08:00] - Fr, 27. Okt. 2017 [19:45] |
Vorlesung |