Lehrveranstaltungen
Zur übergeordneten Rubrik
702633
VU Mathematische Logik (VU / 3h / 5 ECTS-AP)
Georg Moser
Georg Moser
703815
SE Online Communication (SE / 2h / 4 ECTS-AP)
Dieter Fensel
Dieter Fensel
703822
VU Ausgewählte Kapitel der Termersetzung (VU / 3h / 6 ECTS-AP)
Aart Middeldorp
Aart Middeldorp
703829
VO Decision Procedures (VO / 3h / 6 ECTS-AP)
Aart Middeldorp, René Thiemann
Aart Middeldorp, René Thiemann
703830
PS Decision Procedures (PS / 2h / 4 ECTS-AP)
Vincent van Oostrom
Vincent van Oostrom
703834
VU Optimization Methods (VU / 3h / 6 ECTS-AP)
Fedor Sergeevic Smirnov
Fedor Sergeevic Smirnov
703835
VU Spieltheorie für die Informationssicherheit (VU / 3h / 6 ECTS-AP)
Svetlana Abramova
Svetlana Abramova
703836
VU Natural Language Processing (VU / 5h / 10 ECTS-AP)
Adam Jatowt
Adam Jatowt
703837
VU Embedded Systems (VU / 5h / 10 ECTS-AP)
Jan Beutel
Jan Beutel
Hinweis:
- Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
- Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.