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