Vorlesungsverzeichnis
MI Fakultät für Mathematik und Informatik
Informatik
Studiengang Informatik
Stammvorlesungen
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
97393
Database Systems
-
Dittrich
Vorlesung / Übung
97394
Automated Reasoning
-
Weidenbach
Vorlesung / Übung
97395
Cryptography
-
Bläser
Vorlesung / Übung
97396
Telecommunications I
-
Herfet
Vorlesung / Übung
97397
Computer Graphics
-
Slusallek
Vorlesung / Übung
97398
Distributed Systems
-
Druschel
,
Gummadi
Vorlesung / Übung
97399
Complexity Theory
-
Bläser
,
Dell
Vorlesung / Übung
97400
Machine Learning
-
Hein
Vorlesung / Übung
97401
Verification
-
Finkbeiner
Vorlesung / Übung
97977
Algebraische Geometrie I (Algebraic Geometry I)
-
Schreyer
Vorlesung
98642
Algorithms and Data Structures
-
van Leeuwen
Vorlesung / Übung