| Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Semester |
FB / Einrichtung |
Aktion |
|
160072
|
Algorithmisches Beweisen
-
Universitätsprofessor
Dr.rer.nat.
Beyersdorff
,
Böhm
|
Vorlesung/Übung
|
SS 2024
|
Fakultät für Mathematik und Informatik
,
Theoretische Informatik
|
belegen/abmelden
|
|
160075
|
Algorithmisches Beweisen LAB
-
Universitätsprofessor
Dr.rer.nat.
Beyersdorff
,
Spachmann
|
Praktikum
|
SS 2024
|
Fakultät für Mathematik und Informatik
,
Theoretische Informatik
|
belegen/abmelden
|
|
10167
|
SWEP - Software-Entwicklungsprojekt I/II
-
Universitätsprofessor
Dr.
Hagen
,
Reimer
,
Universitätsprofessor
Dr.
König-Ries
,
Schöne
,
Ahmed
|
Vorlesung/Praktikum
|
SS 2024
|
Fakultät für Mathematik und Informatik
|
belegen/abmelden
|
|
199212
|
Efficient Machine Learning
-
Buchwald
,
Universitätsprofessor
Dr.
Breuer
|
Vorlesung/Übung
|
SS 2024
|
Fakultät für Mathematik und Informatik
,
Institut für Informatik
,
Technische und Angewandte Informatik
|
belegen/abmelden
|
|
187234
|
Introduction to Causal Inference
-
Dr.
Gerhardus
,
Universitätsprofessor
Dr.-Ing.
Denzler
|
Vorlesung
|
SS 2024
|
Fakultät für Mathematik und Informatik
,
Institut für Informatik
|
belegen/abmelden
|
|
10139
|
Mustererkennung
-
Universitätsprofessor
Dr.-Ing.
Denzler
,
Dr.-Ing.
Bodesheim
|
Vorlesung
|
SS 2024
|
Fakultät für Mathematik und Informatik
,
Institut für Informatik
|
belegen/abmelden
|
|
60327
|
Sichere Softwaretechnik (SWT-Spezialisierung I)
-
Dr.
Brust
|
Vorlesung
|
SS 2024
|
Fakultät für Mathematik und Informatik
,
Institut für Informatik
|
belegen/abmelden
|
|
226549
|
Skriptsprachen für Data Science
-
Universitätsprofessor
Dr.
Hagen
,
Schlatt
|
Vorlesung/Übung
|
SS 2024
|
Fakultät für Mathematik und Informatik
,
Institut für Informatik
|
belegen/abmelden
|
|
22670
|
Visualisierung
-
Universitätsprofessor
Dr.-Ing. habil.
Lawonn
,
Eulzer
|
Vorlesung/Übung
|
SS 2024
|
Fakultät für Mathematik und Informatik
,
Technische und Angewandte Informatik
|
belegen/abmelden
|
