Kommunikationssysteme
|
|
|
Automatisierte Validierung Paralleler Prozesse [AVPP]
V/UE; 2 SWS; ben. Schein; Mi, 14:00 - 16:00, 00.151; ab 5.11.1997
|
|
Katoen, J.-P.
|
|
|
|
|
Kommunikationssysteme I [KS I]
V/UE; 4 SWS; ben. Schein; Mo, 8:30 - 10:00, H4; Mi, 16:00 - 17:30, H3; ab 5.11.1997
|
|
Herzog, U.
Kindermann, S.
Klehmet, U.
|
|
|
|
|
Lokale Netze [LAN]
VORL; 2 SWS; ben. Schein; Mi, 10:00 - 12:00, 2.038; ab 5.11.1997
|
|
Dulz, W.
|
|
|
|
|
Messung, Modellierung und Bewertung von Rechensystemen [MMB]
V/UE; 4 SWS; ben. Schein; Zeit n.V., 2.037; Blockveranstaltung vom 2.3.-16.3.98; Vorbesprechung: 13.11.1997, 14:20 Uhr, 04.125
|
|
Hofmann, R.
Siegle, M.
|
|
|
|
|
Methodiken des Entwurfs und der Optimierung paralleler Systeme [MethOptParSys]
VORL; 2 SWS; ben. Schein; Di, Mi, 14:15 - 15:45, 00.152; ab 4.11.1997
|
|
Mitschele-Thiel, A.
|
|
|
|
|
Übungen zu Methodiken des Entwurfs u. der Optimierung paralleler Systeme
UE; 2 SWS; ben. Schein; Di, Mi, 14:15 - 15:45, 00.152; genaue Termine werden in der Vorlesung bekannt gegeben, Vorbesprechung im Dezember 1997
|
|
Faltin, N.
Lambert, L.
Mitschele-Thiel, A.
Slomka, F.
|
|
|
