Vorlesungsverzeichnis
NT Naturwissenschaftlich-Technische Fakultät
Systems Engineering
Bachelor Studiengang Computer- und Kommunikationstechn (PO 2013)
Pflichtbereich für die Vertiefung "Eingebettete Systeme"
Proseminare der Informatik
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
109076
Funktionale Programmierung
-
Smolka
Proseminar
110364
Hacking
-
Bugiel
,
Sorge
,
Stock
Proseminar
110365
Selected Topics of Mobile Security
-
Bugiel
Proseminar
110366
Formal Verification of Security Protocols
-
Finkbeiner
,
Jacobs
Proseminar
110385
Privacy by Design
-
Sorge
Proseminar
110568
13 Wochen - 13 Blockchains
-
Dittrich
,
Schuhknecht
Proseminar
110726
Bits in Space
-
Hermanns
Proseminar
110823
AI for the Transfer of Control from Autonomous Systems to Humans
-
Schwartz
,
Daiber
,
Feld
Proseminar