Vorlesungsverzeichnis
MI Fakultät für Mathematik und Informatik
Informatik
Studiengang Bachelor Computer Science (English)
Stammvorlesungen (Wahlpflicht)
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
133610
Automated Reasoning
-
Waldmann
Vorlesung / Übung
133612
Computer Graphics
-
Slusallek
Vorlesung / Übung
133613
Digital Transmission, Signal Processing
-
Herfet
Vorlesung / Übung
133614
Geometric Modeling
-
Zayer
Vorlesung / Übung
133615
Human Computer Interaction
-
Steimle
Vorlesung / Übung
133616
Security
-
Krombholz
,
Tippenhauer
Vorlesung / Übung
133617
Software Engineering
-
Apel
Vorlesung / Übung
133618
Algorithms and Data Structures
-
Seidel
,
Bringmann
Blockvorlesung
133619
Verification
-
Finkbeiner
Vorlesung / Übung
133625
Semantics
-
Dreyer
Vorlesung / Übung
133627
Operating Systems
-
Kaufmann, PhD
Vorlesung / Übung