| Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Semester |
FB / Einrichtung |
Aktion |
|
165
|
Aktuelle Themen der Wirtschaftsinformatik und des Electronic Government
-
N.N.
,
Prof. Dr.
Gronau
|
Hauptseminar
|
SoSe 2017
|
Wirtschaftswissenschaften
|
belegen/abmelden
|
|
167
|
Betrieb von Rechenzentren
-
N.N.
,
Prof. Dr.
Gronau
|
Hauptseminar
|
SoSe 2017
|
Wirtschaftswissenschaften
|
belegen/abmelden
|
|
167
|
Drohnen in der innerbetrieblichen Produktionslogistik
-
N.N.
,
Prof. Dr.
Gronau
|
Hauptseminar
|
SoSe 2017
|
Wirtschaftswissenschaften
|
belegen/abmelden
|
|
167
|
Ethik für Wirtschaftsinformatiker
-
N.N.
,
Prof. Dr.
Gronau
|
Hauptseminar
|
SoSe 2017
|
Wirtschaftswissenschaften
|
belegen/abmelden
|
|
167
|
Fallstudienseminar betrieblicher Anwendungssysteme
-
N.N.
,
Prof. Dr.
Gronau
|
Hauptseminar
|
SoSe 2017
|
Wirtschaftswissenschaften
|
belegen/abmelden
|
|
167
|
Reality Check: IT in arbeitsteiligen Organisationen
-
N.N.
,
Prof. Dr.
Gronau
|
Hauptseminar
|
SoSe 2017
|
Wirtschaftswissenschaften
|
belegen/abmelden
|
|
167
|
Referenzarchitekturen der Digitalisierung
-
N.N.
,
Prof. Dr.
Gronau
|
Hauptseminar
|
SoSe 2017
|
Wirtschaftswissenschaften
|
belegen/abmelden
|
|
551111
|
Computational Intelligence
-
Prof. Dr.
Schaub
,
Dr.
Dr.
Gebser
|
Vorlesung
|
SoSe 2017
|
Institut für Informatik und Computational Science
,
Institut für Physik und Astronomie
|
belegen/abmelden
|
|
551121
|
Computational Intelligence
-
Dr.
Dr.
Gebser
|
Übung
|
SoSe 2017
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
551131
|
Computational Intelligence
-
Dr.
Dr.
Gebser
|
Projekt
|
SoSe 2017
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
551511
|
Netzbasierte Datenverarbeitung
-
Prof. Dr.-Ing.
Lucke
|
Vorlesung
|
SoSe 2017
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
551521
|
Netzbasierte Datenverarbeitung
-
Prof. Dr.-Ing.
Lucke
,
Lemcke
|
Übung
|
SoSe 2017
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
552231
|
Agent-technology
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
|
Seminar
|
SoSe 2017
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
552241
|
Agent-technology
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
|
Praktikum
|
SoSe 2017
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
553811
|
E-Learning
-
Prof. Dr.-Ing.
Lucke
|
Vorlesung
|
SoSe 2017
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
553821
|
E-Learning
-
Dr.
Zender
|
Übung
|
SoSe 2017
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
554611
|
Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese
-
Prof. Dr.
Kreitz
|
Vorlesung
|
SoSe 2017
|
Institut für Informatik und Computational Science
,
Institut für Physik und Astronomie
|
belegen/abmelden
|
|
554621
|
Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese
-
Prof. Dr.
Kreitz
|
Übung
|
SoSe 2017
|
Institut für Informatik und Computational Science
,
Institut für Physik und Astronomie
|
belegen/abmelden
|
|
555111
|
Logistics
-
Prof. Dr.
Schaub
|
Projekt
|
SoSe 2017
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
556512
|
Knowledge-based Systems
-
Prof. Dr.
Schaub
,
Dr.
Dr.
Gebser
|
Projekt
|
SoSe 2017
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
(Keine Nummer)
|
Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq
-
Prof. Dr.
Kreitz
,
Dr. rer. nat.
Böhne
|
Vorlesung/Seminar
|
SoSe 2017
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
