Vorlesungsverzeichnis
MI Fakultät für Mathematik und Informatik
Informatik
Studiengang Informatik
Bachelor, StO 2020
Proseminare
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
130202
Privacy Design
-
Sorge
Proseminar
130390
Systems Benchmarking
-
Apel
Proseminar
130493
(p)SADWeb: (Pro)Seminar on Attacks & Defense on the Web
-
Pellegrino
,
Stock
,
Somé
,
Staicu
Proseminar
130511
Decision Procedures for Verification and Synthesis
-
Dimitrova
Proseminar
130521
Introduction to Digital and Privacy-Preserving Signatures
-
Hanzlik
Proseminar
130522
Seminal Papers in Cryptography
-
Cremers
,
Brendel
Proseminar
130523
Softwarezuverlässigkeit (Software Reliability)
-
Finkbeiner
Proseminar
130554
Berechenbarkeits- und Komplexitätstheorie
-
Bläser
Proseminar
130621
Naturinspirierte Optimierung
-
Weickert
Proseminar
131024
Proseminar: Naturinspirierte Optimierung
-
Weickert
,
Schrader
,
Schaefer
Proseminar