| lectures | |
| Diskrete Wahrscheinlichkeitstheorie Grundlagen der (diskreten) Wahrscheinlichkeitstheorie, elementare Statistik, probabilistische Algorithmen und ihre Analyse |
more... |
| Model Checking | more... |
| exercises | |
| Übung zu Model Checking | more... |
| seminars | |
| Kryptographische Protokolle | more... |
| Kryptographische Protokolle | more... |
| training courses | |
| Projekt Systementwicklung: Lego Mindstorms | more... |
Information about older courses can be found on our old homepage.
