Winter 2021/2022
Veranstaltungen
-
Hardwarenahe Programmierung I Informatik - Technische Systeme (B.Sc.); ?> (LV1511)
-
Betriebssysteme Informatik - Technische Systeme (B.Sc.), Bachelor Angewandte Informatik (LV3121)
-
Fachseminar: Verifying Operating Systems by Applying Abstract Interpretation Informatik (M.Sc.) (LV92111)