10 of 10 courses
| Compilerbau | Compilerbau | Vorlesung | 6 | ×1Mo 13:30-16:30AH VI (2356|051)×12Di 12:30-14:00AH III (2350|314.1)×11Mi 14:30-16:00AH III (2350|314.1) |
| Compilerbau | Übung | 0 | ×1Mo 14:45-16:45AH I (2350|028)×13Fr 12:30-14:00AH II (2350|111) | |
| Modeling and Verification of Probabilistic Systems | Modellierung und Verifikation probabilistischer Systeme | Vorlesung | 6 | ×11Di 10:30-12:005055 (2356|055)×1Di 10:30-12:00UMIC_025 (2165|025)×10Mi 08:30-10:005056 (2356|056) |
| Modellierung und Verifikation probabilistischer Systeme | Übung | 0 | ×11Do 14:30-16:005056 (2356|056) | |
| Fixpoints and Induction in Logic and Computer Science | Fixpoints and Induction in Logic and Computer Science | Übung | 0 | ×3Mi 12:30-14:00Seminarraum i7, Raum 4116 (2353|116)×8Fr 12:30-14:005052 (2356|052) |
| Fixpoints and Induction in Logic and Computer Science | Vorlesung | ×11Mo 10:30-12:005056 (2356|056)×1Mo 10:30-11:30AH VI (2356|051)×8Di 08:30-10:005056 (2356|056) | ||
| Introduction to Quantum Computing | Introduction to Quantum Computing | Übung | 0 | ×12Di 10:30-12:00TEMP2 (1515|002) |
| Introduction to Quantum Computing | Vorlesung | ×13Mo 16:30-18:00TEMP1 (1515|001)×13Fr 16:30-18:00Otto Fuchs-Hörsaal (H03) (1385|003) | ||
| Near-term Quantum Computation | Near-term Quantum Computation | Übung | 0 | ×11Do 16:30-18:00R 140 (1080|140) |
| Near-term Quantum Computation | Vorlesung | ×13Fr 10:30-12:00R 140 (1080|140) |