Analyse von Petri-Netz-Modellen (HK)
VL Di 15-17 wöch. RUD 5, 4.101 P. Starke
Do 11-13 wöch. RUD 5, 4.101
PRÜFUNG: 29.07., 07.10., RUD25 R.4.403
Modelchecking (HK)
VL Mo 15-17 wöch. RUD 5, 4.110 K. Schmidt
Mi 13-15 wöch. RUD 5, 4.110
PRÜFUNG: 26.7., 13.10., RUD25 R.4.403
Graphen und Algorithmen II (K - 2. Teil)
VL Mo 11-13 wöch. RUD 5, 3.101 H. J. Prömel
Mi 13-15 wöch. RUD 5, 3.101
UE Mi 11-13 wöch. RUD 5, 3.321 S. Hougardy
PR n.V. RUD 5 S. Hougardy
PRÜFUNG: 18.8., RUD25 R.3.319
Kryptologie (HK - 2. Teil)
VL Do 16-18 wöch. DOR 24, 207 E.-G. Giessmann
PRÜFUNG: 22.9., 13.10, RUD25 R.4.411
DNA-Computing (HK - 1. Teil)
VL Di 09-11 wöch. RUD 5, 3.101 W. Reisig
|