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