Lehrveranstaltung des aktuelle Semesters

(Angewandte Filter: Semester: aktuelles | Institutionen: Theorie verteilter und paralleler Systeme | Dozenten: Kirstin Peters | Vorlesungsarten: alle)

Name	Dozent	Typ
Übung zu Typsysteme	Bartl Lukas Bartl, Peters Kirstin Peters	Übung
Isabelle-Lab	Bartl Lukas Bartl, Peters Kirstin Peters	Vorlesung
Übung zu Isabelle-Lab	Bartl Lukas Bartl, Peters Kirstin Peters	Übung
Typsysteme	Bartl Lukas Bartl, Peters Kirstin Peters	Vorlesung
Übung zu Logik für Informatiker / Modellierung diskreter Systeme / Modellierung informationstechnischer Systeme	Bartl Lukas Bartl, Peters Kirstin Peters	Übung
Logik für Informatiker / Modellierung diskreter Systeme / Modellierung informationstechnischer Systeme	Bartl Lukas Bartl, Peters Kirstin Peters	Vorlesung
Oberseminar Theorie verteilter und paralleler Systeme	Bartl Lukas Bartl, Peters Kirstin Peters	Oberseminar