| lectures | |
| Automaten, Formale Sprachen (und Berechenbarkeit) | more... |
| Data Mining und Knowledge Discovery | more... |
| Formale Methoden der Computersicherheit | more... |
| Komplexitätstheorie | more... |
| Logik | more... |
| Model Checking II | more... |
| Perlen der Informatik 3 | more... |
| Statistische und Neuronale Lernverfahren | more... |
| exercises | |
| Übung zu Automaten, Formale Sprachen (und Berechenbarkeit) | more... |
| Übung zu Komplexitätstheorie | more... |
| Übung zu Logik | more... |
| seminars | |
| Vortragsreihe Grundlagen der Informatik | more... |
| training courses | |
| Effizientes Programmieren | more... |
| Projekt Systementwicklung: Lego Mindstorms | more... |
| proseminars | |
| Spieltheorie | more... |
| research seminars | |
| Tools und Methodiken zur Fehlersuche in Computerprogrammen | more... |
Information about older courses can be found on our old homepage.
