Modelle und Theorie Verteilter Systeme

Informationen zu angebotenen MTV-Modulen (Master)

Zu allen MTV-Modulen für Masterstudierende finden sich hier eigene Informationsseiten, die sich jedoch auf die wesentlichen Merkmale beschränken. Dazu gehören neben prüfungsrelevanten Details auch Hinweise auf aktuelle Materialien, Modulbeschreibungen, und gelegentlich auch auf ISIS-Kurse. Zu jedem Modul werden hier zudem auch dessen Veränderungen im Lauf der Jahre chronologisch protokolliert.

ModulTurnusVeranstaltungsartSWSLP
Lambda-Kalkül und Typ-SystemeWintersemesterIntegrierte Veranstaltung46
Algebraic Process CalculiSommersemesterIntegrierte Veranstaltung46
Models and Theory of Distributed AlgorithmsWintersemesterIntegrierte Veranstaltung46
MTV Project: Research at WorkWintersemester / SommersemesterProjekt49
MTV Seminar: Write, Review and PublishWintersemester / SommersemesterSeminar23