| Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Semester |
FB / Einrichtung |
Aktion |
|
550421
|
Theoretische Informatik II: Effiziente Algorithmen
-
Prof. Dr.
Kreitz
,
Dr. rer. nat.
Böhne
,
B.Sc.
Kranz
,
Glinzer
|
Vorlesung/Übung
|
SoSe 2022
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
550821
|
Principles of Data- and Knowledge-Base Systems
-
Prof. Dr.
Schaub
,
Laferriere
|
Vorlesung/Übung
|
SoSe 2022
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
550831
|
Principles of Data- and Knowledge-Base Systems
-
Prof. Dr.
Schaub
,
Laferriere
|
Praktikum
|
SoSe 2022
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
552021
|
Inferenz-Methoden
-
Prof. Dr.
Kreitz
|
Vorlesung/Übung
|
SoSe 2022
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
555211
|
Knowledge-based Systems
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
,
Tignon
|
Forschungsseminar
|
SoSe 2022
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
555211
|
Knowledge Representation and Reasoning
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
,
Tignon
|
Forschungsseminar
|
SoSe 2022
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
555211
|
Theorie-Kolloquium
-
Prof. Dr.
Kreitz
,
Richter
,
Dipl.-Inform.
Frank
,
Dr. rer. nat.
Böhne
,
B.Sc.
Kranz
,
Glinzer
|
Oberseminar
|
SoSe 2022
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
555611
|
Lehrstuhlkolloquium II - Diplomanden- und Doktorandenseminar - Didaktik der Informatik
-
Prof. Dr.
Schwill
|
Oberseminar
|
SoSe 2022
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
(Keine Nummer)
|
Cartesisches Seminar - Formale Spezifikationen
-
Prof. Dr.
Kreitz
,
Richter
,
Dr. rer. nat.
Böhne
,
B.Sc.
Kranz
,
Glinzer
|
Oberseminar
|
SoSe 2022
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
