HIT2010
Buch: Formale Sprachen, abstrakte Automaten und Compiler
FLACI
Theoretische Informatik
AuK
Web Engineering 1
Berechenbarkeitstheorie; BuK-Master-LV