Modelle und Theorie Verteilter Systeme
Alle Module im Überblick
| Wintersemester | Studiengang | Bereich | Prüfungsform | LP/ETCS | SWS | |
|---|---|---|---|---|---|---|
| VL Reaktive Systeme | Modulbeschreibung | B.Sc. Informatik | Wahlpflicht | Mündlich | 6 | 4 |
| IV The Software Horror Picture Show | Modulbeschreibung | B.Sc. Informatik | Wahlpflicht | Portfolio | 3 | 2 |
| Models and Theory of Distributed Algorithms | Modulbeschreibung | M.Sc. Computer Science | Wahlpflicht | Portfolio | 6 | 4 |
| MTV Project: Research at Work | Modulbeschreibung | M.Sc. Computer Science | Wahlpflicht | Portfolio | 9 | 4 |
| MTV Seminar: Write, Review and Publish | Modulbeschreibung | M.Sc. Computer Science | Wahlpflicht | Portfolio | 3 | 2 |
| Sommersemester | Studiengang | Bereich | Prüfungsform | LP / ETCS | SWS | |
|---|---|---|---|---|---|---|
| IV Formale Sprachen und Automaten | Modulbeschreibung | B.Sc. Informatik | Wahlpflicht | Portfolio | 6 | 4 |
| IV Algebraische Prozess Kalküle | Modulbeschreibung | M.Sc. Computer Science | Wahlpflicht | Portfolio | 6 | 4 |
| PP Modelle Dynamischer Systeme | Modulbeschreibung | B.Sc. Informatik | Wahlpflicht Programmierpraktikum | Portfolio | 6 | 4 |
| HS World of Proofcraft | Modulbeschreibung | B.Sc. Informatik | Wahlpflicht | Portfolio | 6 | 4 |