Course offering / Module Instructors / Module Owner Time period |
Event type Room |
|||
---|---|---|---|---|
20-00-0120-iv TK3: Ubiquitous / Mobile Computing Prof. Dr. rer. nat. Eberhard Max Mühlhäuser Mon, 24. Apr. 2017 [14:25] - Mon, 17. Jul. 2017 [16:05] |
Integrated Course | |||
20-00-0358-iv Statistical Machine Learning Prof. Ph. D. Jan Peters Tue, 18. Apr. 2017 [13:30] - Tue, 18. Jul. 2017 [15:10] |
Integrated Course | |||
20-00-0362-iv Formal Methods for Information Security Prof. Dr.-Ing. Heiko Mantel Tue, 18. Apr. 2017 [11:40] - Th, 20. Jul. 2017 [11:30] |
Integrated Course | |||
20-00-0489-iv Capturing Reality Prof. Dr.-Ing. Michael Gösele; Dr. rer. nat. Stefan Guthe Tue, 18. Apr. 2017 [09:50] - Tue, 18. Jul. 2017 [11:30] |
Integrated Course | |||
20-00-0512-iv Network Security Prof. Dr.-Ing. Matthias Hollick Th, 20. Apr. 2017 [09:50] - Th, 20. Jul. 2017 [11:30] |
Integrated Course | |||
20-00-0583-vl Secure Mobile Systems Prof. Dr.-Ing. Matthias Hollick Th, 20. Apr. 2017 [11:40] - Th, 20. Jul. 2017 [13:20] |
Lecture | |||
20-00-0794-iv Formal Specification and Verification of Software Prof. Dr. rer. nat. Reiner Hähnle Tue, 18. Apr. 2017 [11:40] - Mon, 18. Sep. 2017 [12:40] |
Integrated Course | |||
20-00-0800-vl An introduction to TLA+ Prof. Dr. rer. nat. Reiner Hähnle; Dr. Tianxiang Lu Th, 20. Apr. 2017 [08:00] - Fri, 27. Oct. 2017 [19:45] |
Lecture |