Studium & Lehre

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

Suche