Vst.-Nr. Veranstaltung Vst.-Art Aktion
23431 Compilerbau Vorlesung
23144 Computergestützte Verifikation Vorlesung
23519 Formale Methoden der Informatik Vorlesung
23883 Logik Vorlesung
23524 Ringvorlesung "Forschungsthemen der Informatik" Vorlesung
23882 Ringvorlesung/Forschungsthemen der Informatik Vorlesung