** V Compilerbau
Prof. Wolf
AE17

Ü Logik
Dr. Mahrhold
AE 11

V Computergestützte Verifikation
Prof. Wolf
AER023

Ü Formale Sprachen
R. Nevries
AE 11

V Kryptographie
Prof. Brandstädt
AER 023

V Compilerbau
Prof. Wolf
R 312

V / Ü Operations Research I
Prof. Le
U021

P Compilerbau
K. Kaschner
C 113

V KSWS
Prof. Wolf
R 311

V Neuronale Netze
Prof. Brandstädt
AE 11

V Logik
Prof. Le
P6HS2

Forschungsseminar Theoretische Informatik
Prof. Brandstädt
Prof. Le
U 220

V Formale Sprachen
Prof. Brandstädt
AER 312

Sr Geschäftsprozessmodellierung
Prof. Wolf
R 312

Ü Compilerbau
K. Kaschner
AE17

Ü Logik
Dr. Mahrhold
AE3/SR204

V Operations Research I
Prof. Le
U021

Sr Effiziente Algorithmen
Ch. Hundt
R. Nevries
C 113

Ü Informatik I
Ch. Hundt
AE 11