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
Aktion
127181
Practical Foundations for Programming Languages
-
Hack
,
Rosemann
,
Kruse
Proseminar
127182
User Studies in IT Security
-
Krombholz
Proseminar
127184
Model Checking: Techniques and Applications
-
Jacobs
Proseminar
127185
Algorithms and Complexity
-
Joux
Proseminar
127270
Cyber-Physical Systems Security
Proseminar
127373
Microarchitectural Attacks and Defenses
-
Reineke
Proseminar