Architecture and Programming of Parallel and Distributed Systems
|
|
UE; 2 SWS; ECTS: 4; Do, 12:30 - 14:00, 05.150; Fr, 14:15 - 15:45, 05.150
|
|
Gröbner, M.
|
|
|
|
VORL; 2 SWS; ben. Schein; ECTS: 4; For Computer Science and Computational Engineering, the Lecture is given in English; Mo, 14:00 - 16:00, H10
|
|
Schneider, H.-J.
|
|
|
|
V/UE; 4 SWS; ben. Schein; ECTS: 8; Scheinerwerb durch Kolloquium (2-stündig) oder Abgabe von Übungsaufgaben und Kolloquium (4-stündig); Mi, Do, 10:15 - 11:45, H4; Vorlesung Mi 10-12, Übungen Do
|
|
Kleinöder, J.
Hauck, F.J.
Golm, M.
Rastofer, U.
|
|
|
|
Einführung in Model-Checking [EinfModCheck]
VORL; 2 SWS; ben. Schein; ECTS: 4; Mi, 14:15 - 15:45, 05.150
|
|
Klehmet, U.
Meyer-Kayser, J.
|
|
|