Deutschland » Nordrhein-Westfalen » RWTH Aachen » Informatik » Prof. Dr. Thomas » Kurse
Prof. Dr. Wolfgang Thomas
Dies ist Ihr Profil? Informieren Sie sich über die Registrierung oder melden Sie sich gleich an.
Prof. Dr.
Wolfgang
Thomas
Informatik
RWTH Aachen
Lehrveranstaltungen von Prof. Dr. Wolfgang Thomas
| Veranstaltung | Umfang | Beschreibung | Bewertungen |
|---|---|---|---|
| Angewandte Automatentheorie Vorlesung + Übung/Tutorium |
4 SWS | - | 2 |
| Automaten und Reaktive Systeme Vorlesung + Übung/Tutorium |
4 SWS | - | 2 |
| Model-Checking Vorlesung + Übung/Tutorium |
2 SWS | - | 1 |
| Seminar Automatentheorie Seminar |
2 SWS | - | 1 |
