- Moodle course Algorithmen und Datenstrukturen 2 (WS 2022/23)
- Moodle course Automaten und formale Sprachen
- Moodle course Automatische Strukturen
- Moodle course Beweiskomplexität (WS 2022/2023)
- Moodle course Effiziente Algorithmen (WS 2022/23)
- Moodle course Kryptographie (WS 2022/2023)
- Moodle course Logik und Logikprogrammierung
- Moodle course Verifikation
Google Search