Current Courses

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

name	lecturer	type
Isabelle-Lab	Peters Kirstin Peters	Vorlesung
Oberseminar Theorie verteilter und paralleler Systeme	Peters Kirstin Peters	Oberseminar
Logik für Informatiker / Modellierung diskreter Systeme /Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme	Peters Kirstin Peters, Knapp Alexander Knapp, Petrak Lisa Franziska Petrak, Müller Martin Müller, Lorenz Robert Lorenz	Vorlesung
?bung zu Typsysteme	Peters Kirstin Peters	?bung
Typsysteme	Peters Kirstin Peters	Vorlesung
?bung zu Isabelle-Lab	Peters Kirstin Peters	?bung
?bung zu Logik für Informatiker / Modellierung diskreter Systeme /Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme	Peters Kirstin Peters, Knapp Alexander Knapp, Petrak Lisa Franziska Petrak, Lorenz Robert Lorenz	?bung