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