HIT2010
Buch: Formale Sprachen, abstrakte Automaten und Compiler
FLACI
Theoretische Informatik
http://programmingwiki.de/index.php/AuK
http://programmingwiki.de/Web Engineering 1
http://programmingwiki.de/Berechenbarkeitstheorie
http://programmingwiki.de/BuK BuK-Master-LV