Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Semester |
FB / Einrichtung |
Aktion |
550811
|
Principles of Data- and Knowledge-Base Systems
-
Prof. Dr.
Schaub
,
Obermeier
|
Vorlesung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
550821
|
Principles of Data- and Knowledge-Base Systems
-
Prof. Dr.
Schaub
,
N.N.
,
Obermeier
|
Übung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
550831
|
Principles of Data- and Knowledge-Base Systems
-
Prof. Dr.
Schaub
,
Obermeier
|
Praktikum
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
551711
|
Compiler und Programmtransformation
-
Dr.
Bordihn
|
Vorlesung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
551721
|
Compiler und Programmtransformation
-
Dr.
Bordihn
|
Übung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
552231
|
Agent-technology
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
|
Seminar
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
552241
|
Agent-technology
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
|
Praktikum
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
553011
|
Declarative Problem Solving and Optimization
-
Prof. Dr.
Schaub
,
Dr.
Dr.
Gebser
|
Vorlesung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
553021
|
Declarative Problem Solving and Optimization
-
Dr.
Dr.
Gebser
,
M.Sc.
Romero Davila
|
Übung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
553031
|
Declarative Problem Solving and Optimization
-
Dr.
Dr.
Gebser
,
M.Sc.
Romero Davila
|
Praktikum
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
554511
|
Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
-
Prof. Dr.
Kreitz
|
Vorlesung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
554521
|
Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
-
Prof. Dr.
Kreitz
|
Übung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
554911
|
Declarative Modeling
-
Prof. Dr.
Schaub
,
Dr.
Dr.
Gebser
,
M.Sc.
Romero Davila
|
Vorlesung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
554921
|
Declarative Modeling
-
Dr.
Dr.
Gebser
,
M.Sc.
Romero Davila
|
Übung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
554941
|
Declarative Modeling
-
Prof. Dr.
Schaub
,
Dr.
Dr.
Gebser
,
M.Sc.
Romero Davila
|
Praktikum
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
555211
|
Knowledge-based Systems
-
Prof. Dr.
Schaub
|
Forschungsseminar
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
555211
|
Knowledge Representation and Reasoning
-
Prof. Dr.
Schaub
|
Forschungsseminar
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
555211
|
Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik
-
Prof. Dr.
Schwill
|
Oberseminar
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
555211
|
Machine learning Journal Club
-
Prof. Dr.
Scheffer
|
Forschungsseminar
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
555211
|
Theorie-Kolloquium
-
Prof. Dr.
Kreitz
,
Dr. rer. nat.
Dipl.-Math.
Richter
,
Richter
,
Brede
,
Dr. rer. nat.
Böhne
|
Oberseminar
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
555611
|
Cartesisches Seminar
-
Prof. Dr.
Kreitz
,
Dr. rer. nat.
Dipl.-Math.
Richter
,
Richter
,
Brede
,
Dr. rer. nat.
Böhne
|
Oberseminar
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
555911
|
Advanced Problem Solving Techniques
-
Prof. Dr.
Schaub
,
Dr.
Dr.
Gebser
|
Vorlesung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
555912
|
Advanced Problem Solving Techniques
-
Dr.
Dr.
Gebser
,
M.Sc.
Romero Davila
|
Übung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
555913
|
Advanced Problem Solving Techniques
-
Dr.
Dr.
Gebser
,
M.Sc.
Romero Davila
|
Praktikum
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
555914
|
Advanced Problem Solving Techniques
-
Dr.
Dr.
Gebser
,
M.Sc.
Romero Davila
|
Projekt
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|