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