Vorlesungsverzeichnis
MI Fakultät für Mathematik und Informatik
Informatik
Studiengang Eingebettete Systeme/Embedded Systems
Bachelor Eingebettete Systeme
Pflichtbereich
Proseminare
Vst.-Nr.
Veranstaltung
Vst.-Art
Semester
FB
/ Einrichtung
Aktion
127181
Practical Foundations for Programming Languages
-
Univ.-Prof. Dr. Hack
,
Rosemann
,
Kruse
Proseminar
WiSe 2020/21
Informatik
127182
User Studies in IT Security
-
Dr. Krombholz
Proseminar
WiSe 2020/21
Informatik
127184
Model Checking: Techniques and Applications
-
Dr. Jacobs
Proseminar
WiSe 2020/21
Informatik
127185
Algorithms and Complexity
-
Prof. Dr. Joux
Proseminar
WiSe 2020/21
Informatik
127270
Cyber-Physical Systems Security
Proseminar
WiSe 2020/21
Informatik
127373
Microarchitectural Attacks and Defenses
-
Univ.-Prof. Dr. Reineke
Proseminar
WiSe 2020/21
Informatik