Algorithmische Geometrie I (4V+2Ü) (A,C) [A1] Mo 15-17 st HS 1, Mi 15-17 st HS C (Dr. Elmar Langetepe) Übungen: Di 18.15-19.45, bzw. Mi 16.45-18.15, HS C (Dr. Elmar Langetepe, Andrea Eubeler, Ansgar Grüne, Sanaz Kamali)
Einführung in die Computer Graphik (4V+2Ü) (B,C) [B2] Di, Do, 13-15, HS 1 (Prof. Dr. Reinhard Klein) Übungen: n.Vereinb. (Prof. Dr. Reinhard Klein, Mitarbeiter)
|
Vorlesung (Hauptstudium)
Model Checking
Prof. Dr. Christel Baier
| Zeit, Ort | Mi, Fr 9-11, HS 1 |
| Semesterwochenstunden | 4V + 2Ü |
| Übungen | (Prof. Dr. Christel Baier) |
| Bereich (alte DPO) | A,C |
| Bereich (neue DPO) | A2 |
|