Current Courses

(applied filters: semester: current | lecturers: Kirstin Peters | course types: all)

name	lecturer	type
Ü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