Automaten, Sprachen und Komplexität (ASK)
Approximationsalgorithmen (AppAlg)
Algorithms (A) (RCSE)
Algorithmen und Datenstrukturen 1 (AuD 1)
Effiziente Algorithmen (EA)
Kryptographie (KG)
Verifikation (Ver)
