Veranstaltungen im Wintersemester 2013/2014
- Algorithmen für schwierige Probleme
- Algorithmen und Datenstrukturen
- Algorithmen zur Sequenzanalyse
- Einführung in die Bioinformatik
- Formale Grundlagen der Informatik
- SAT Solving
- Proseminar Algorithmen
- Algorithmische Geometrie
- Natur-inspirierte Algorithmen
- Neue Programmierkonzepte in C++11
- Algorithmen der Logik