Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Diplomarbeiten (Archiv)

• Gocke, Norman: Optimale Partitionierung von markierten Graphen mit Hilfe genetischer Algortihmen, Diplomarbeit Nr. 2055, 2003.
• Häcker, Claudius: Automatische Korrektheitsprüfung von Formeln und Programmen, Diplomarbeit Nr. 2065, 2003.