Kursübersicht aus TUMOnline
Sommersemester 2026
| LV-Nr. | Titel | Termine | Vortragende/r (Mitwirkende/r) |
|---|---|---|---|
| 0000005145 | Doctoral Seminar - Theoretical Computer Science |
|
|
| 0000004294 | Logik (IN2049) |
|
|
| 0000002560 | Petrinetze (IN2052) |
|
|
| 0000001443 | Seminar on Automata Theory (IN0014, IN2107, IN45112) |
|
F. Bruse [L]
|
| 0000001548 | Seminar on Model Checking Stochastic Games (IN0014, IN2107, IN45073) |
|