| Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Semester |
FB / Einrichtung |
Aktion |
|
(Keine Nummer)
|
Ausgewählte Methoden und Techniken der Systembiologie und Informatik
-
N.N.
|
Vorlesung/Übung
|
WiSe 2016/17
|
Institut für Biochemie und Biologie
|
belegen/abmelden
|
|
550311
|
Theoretische Informatik I: Modellierungskonzepte - Automaten und formale Sprachen
-
Prof. Dr.
Kreitz
|
Vorlesung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
550321
|
Theoretische Informatik I: Modellierungskonzepte - Automaten und formale Sprachen
-
Prof. Dr.
Kreitz
,
Dr.
Dipl.-Inform.
Frank
|
Übung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
550331
|
Theoretische Informatik I: Modellierungskonzepte - Automaten und formale Sprachen
-
Prof. Dr.
Kreitz
,
Brede
|
Tutorium
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
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
|
|
550911
|
Software Engineering I
-
Prof. Dr.-Ing.
Hammer
|
Vorlesung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
550921
|
Software Engineering I
-
Groß
|
Übung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
550931
|
Software Engineering I
-
Prof. Dr.-Ing.
Hammer
|
Projekt
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
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
|
|
551611
|
Multimedia-Technologie
-
Prof. Dr.-Ing.
Lucke
|
Vorlesung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
551621
|
Multimedia-Technologie
-
Lemcke
|
Ü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
|
|
551911
|
Hardware/Software-Codesign
-
Dr.-Ing.
Mühlbauer
,
Prof. Dr. rer. nat.
Schölzel
|
Vorlesung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
551921
|
Hardware/Software-Codesign
-
Dr.-Ing.
Mühlbauer
,
Prof. Dr. rer. nat.
Schölzel
|
Praktikum
|
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
|
|
553211
|
Leistungsanalyse: Messen, Modellieren, Simulation
-
Prof. Dr.
Schnor
|
Vorlesung/Übung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
553211
|
Leistungsanalyse: Messen, Modellieren, Simulation
-
Dr. rer. nat.
Christgau
|
Projekt
|
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
|
|
555011
|
Didaktik der Informatik II
-
Prof. Dr.
Schwill
|
Vorlesung
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
|
555021
|
Didaktik der Informatik II
-
Dr. rer. nat.
Przybylla
|
Übung
|
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
|
|
556311
|
Advanced Agent Technology
-
Prof. Dr.
Schaub
,
Dr.
Dr.
Gebser
|
Projekt
|
WiSe 2016/17
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
