Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Aktion |
214344
|
Advanced Functional Programming
-
Universitätsprofessor
Dr.
Grelck
|
Vorlesung/Übung
|
belegen/abmelden
|
213651
|
Advanced Information Retrieval
-
Universitätsprofessor
Dr.
Hagen
,
Fröbe
|
Vorlesung/Übung
|
belegen/abmelden
|
213840
|
Algorithmische Netzwerkanalyse
-
Universitätsprofessor
Dr. rer. nat.
Komusiewicz
|
Vorlesung/Übung
|
belegen/abmelden
|
213842
|
Algorithmische Netzwerkanalyse (LAB)
-
Universitätsprofessor
Dr. rer. nat.
Komusiewicz
|
Vorlesung/Praktikum
|
belegen/abmelden
|
37198
|
Anwendungspraktikum 3D-Rechnersehen / Intelligente Systeme
-
Universitätsprofessor
Dr.-Ing.
Denzler
,
Penzel
|
Projekt
|
belegen/abmelden
|
10226
|
Elements of Computational and Data Science
-
Universitätsprofessor
Dr.-Ing.
Bücker
,
Dr.rer.nat.
Bosse
,
Buchwald
|
Vorlesung/Übung
|
belegen/abmelden
|
59724
|
Grundlagen und Techniken des automatischen Planens
-
Universitätsprofessor
Dr.-Ing.
Beckstein
,
Mitschunas
|
Vorlesung/Übung
|
belegen/abmelden
|
65673
|
Hochleistungsrechnen
-
Universitätsprofessor
Dr.
Breuer
,
Universitätsprofessor
Dr.-Ing.
Bücker
,
Buchwald
|
Vorlesung/Übung
|
belegen/abmelden
|
10159
|
Informationssysteme in mobilen und drahtlosen Umgebungen (ISMOD)
-
Universitätsprofessor
Dr.
König-Ries
|
Vorlesung
|
belegen/abmelden
|
187234
|
Introduction to Causal Inference
-
Dr.
Gerhardus
,
Universitätsprofessor
Dr.-Ing.
Denzler
|
Vorlesung
|
belegen/abmelden
|
15531
|
Lesen, diskutieren und schreiben
-
Universitätsprofessor
Dr.
Mundhenk
,
Universitätsprofessor
Dr.
Giesen
|
Seminar
|
belegen/abmelden
|
9718
|
Logik und Beweisbarkeit
-
Universitätsprofessor
Dr.
Mundhenk
,
Staudt
|
Vorlesung
|
belegen/abmelden
|
9598
|
Management of Scientific Data
-
Universitätsprofessor
Dr.
König-Ries
,
Dipl.-Geograph
Gerlach
,
Petzold
|
Vorlesung/Übung
|
belegen/abmelden
|
10237
|
Mobiler Code
-
apl. Prof.
Dr.
Amme
|
Vorlesung
|
belegen/abmelden
|
9705
|
Parallel Computing II
-
Universitätsprofessor
Dr.-Ing.
Bücker
,
Dr.rer.nat.
Bosse
,
Schoder
,
Buchwald
|
Vorlesung/Übung
|
belegen/abmelden
|
187217
|
Quantifizierte Boolesche Formeln: Komplexität und Solving
-
Universitätsprofessor
Dr.rer.nat.
Beyersdorff
,
Böhm
|
Vorlesung
|
belegen/abmelden
|
65674
|
Quantifizierte Boolesche Formeln: Komplexität und Solving (LAB)
-
Universitätsprofessor
Dr.rer.nat.
Beyersdorff
,
Böhm
,
Spachmann
|
Übung
|
belegen/abmelden
|
10098
|
Rechnersehen II
-
Universitätsprofessor
Dr.-Ing.
Denzler
,
Penzel
|
Vorlesung/Übung
|
belegen/abmelden
|
60327
|
Sichere Softwaretechnik (SWT-Spezialisierung I)
-
Dr.
Brust
|
Vorlesung
|
belegen/abmelden
|
15459
|
Spezielle Probleme im Rechnersehen
-
Universitätsprofessor
Dr.-Ing.
Denzler
,
Dr. rer. nat.
Sickert
,
Müsse
|
Vorlesung
|
belegen/abmelden
|
10167
|
SWEP - Software-Entwicklungsprojekt I/II
-
Universitätsprofessor
Dr.
König-Ries
,
Schöne
,
Universitätsprofessor
Dr.
Hagen
,
Dr. phil Dr. paed.
Hoffmann
|
Vorlesung/Praktikum
|
belegen/abmelden
|
51821
|
Übersetzerbau (SWT-Spezialisierung I)
-
apl. Prof.
Dr.
Amme
|
Praktikum
|
belegen/abmelden
|
22670
|
Visualisierung
-
Universitätsprofessor
Dr.-Ing. habil.
Lawonn
,
Lieb
|
Vorlesung/Übung
|
belegen/abmelden
|