| Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Semester |
FB / Einrichtung |
Aktion |
|
165
|
Aktuelle Themen der Wirtschaftsinformatik und des Electronic Government
-
N.N.
,
Prof. Dr.
Gronau
|
Hauptseminar
|
WiSe 2016/17
|
Wirtschaftswissenschaften
|
belegen/abmelden
|
|
551311
|
Intelligente Datenanalyse 2
-
Prof. Dr.
Scheffer
|
Vorlesung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
551321
|
Intelligente Datenanalyse 2
-
Prof. Dr.
Scheffer
|
Übung
|
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
|
|
551711
|
Secure Information Flow
-
Prof. Dr.-Ing.
Hammer
|
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
|
|
551721
|
Secure Information Flow
-
Prof. Dr.-Ing.
Hammer
|
Übung
|
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
|
|
554111
|
Zuverlässigkeit und Fehlertoleranz
-
Prof. Dr.
Gössel
,
Dr.-Ing.
Mühlbauer
,
Prof. Dr. rer. nat.
Schölzel
|
Vorlesung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
554121
|
Zuverlässigkeit und Fehlertoleranz
-
Prof. Dr.
Gössel
,
Dr.-Ing.
Mühlbauer
,
Prof. Dr. rer. nat.
Schölzel
|
Übung
|
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
|
|
554731
|
Cognitive technologies
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
|
Seminar
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
554741
|
Cognitive technologies
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
|
Praktikum
|
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
|
|
555111
|
Advanced Solver Construction
-
Prof. Dr.
Schaub
,
N.N.
|
Projekt
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
555111
|
Maschinelles Lernen zur naturwissenschaftlichen Modellbildung
-
Prof. Dr.
Scheffer
|
Projekt
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
555111
|
Neuronale Netze für die Sprachverarbeitung
-
Prof. Dr.
Scheffer
|
Projekt
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
555111
|
Paralleles Rechnen - Praktikum
-
Prof. Dr.
Schnor
,
Dr. rer. nat.
Christgau
|
Seminar
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
556311
|
Advanced Agent Technology
-
Prof. Dr.
Schaub
,
Dr.
Dr.
Gebser
|
Projekt
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
556311
|
Praxisorientierte Softwareentwicklung am Beispiel von E-Learning Kleinprojekten
-
Prof. Dr.-Ing.
Lucke
,
Kiy
|
Projekt
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
