Modelle und Theorie Verteilter Systeme
Sommersemester 2023
| Veranstaltung | Studiengang | Bereich | LP / ETCS | SWS | ||
|---|---|---|---|---|---|---|
| IV Formale Sprachen und Automaten | Modulbeschreibung | ISIS-Kurs | B.Sc. Informatik | Wahlpflicht | 6 | 4 |
| IV Algebraische Prozess Kalküle | Modulbeschreibung | ISIS-Kurs | M.Sc. Computer Science | Wahlpflicht | 6 | 4 |
| PP Modelle Dynamischer Systeme | Modulbeschreibung | ISIS-Kurs | B.Sc. Informatik | Wahlpflicht Programmierpraktikum | 6 | 4 |
| HS World of Proofcraft | Modulbeschreibung | ISIS-Kurs | B.Sc. Informatik | Wahlpflicht | 6 | 4 |