Lehrveranstaltungen im Sommersemester 09
Lehrveranstaltungen der Bachelorstudiengänge
- Pflichtmodule
- Wahlmodule
- Einführung in die Grundlagen des Model Checking von Prof. Dr. Thomas Schwentick
- Effiziente Algorithmen von Dr. Wim Martens
- Fachprojekte
- Rapid Prototyping mit Expander2 von Prof. Dr. Peter Padawitz
Lehrveranstaltungen der Masterstudiengänge
- Basismodule
- Vertiefungsmodule
- Seminare