| lectures | |
| Automaten, Formale Sprachen und Berechenbarkeit II | more... |
| Diskrete Wahrscheinlichkeitstheorie Grundlagen der (diskreten) Wahrscheinlichkeitstheorie, elementare Statistik, probabilistische Algorithmen und ihre Analyse |
more... |
| Model Checking | more... |
| Perlen der Informatik 4 | more... |
| exercises | |
| Diskrete Wahrscheinlichkeitstheorie | more... |
| seminars | |
| Kryptographische Protokolle | more... |
| training courses | |
| Projekt Systementwicklung: Lego Mindstorms | more... |
| Projekt Systementwicklung: Lego Mindstorms 2 | more... |
| research seminars | |
| Vortragsreihe Grundlagen der Informatik | more... |
Information about older courses can be found on our old homepage.
