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