Studium & Lehre
Lehrveranstaltung des aktuelle Semesters
(Angewandte Filter: Semester: aktuelles | Institutionen: Theorie verteilter und paralleler Systeme | Dozenten: Kirstin Peters | Vorlesungsarten: alle)
Name | Dozent | Typ |
---|---|---|
Typsysteme |
Peters Kirstin Peters, SchmiedAndreas Schmied |
Vorlesung |
Übung zu Typsysteme |
Peters Kirstin Peters, SchmiedAndreas Schmied |
Übung |
Isabelle-Lab |
Peters Kirstin Peters |
Vorlesung |
Übung zu Isabelle-Lab |
Peters Kirstin Peters |
Übung |