Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Semester |
FB / Einrichtung |
Aktion |
551711
|
Compiler und Programmtransformation
-
Dr.
Bordihn
|
Vorlesung
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
551911
|
Codierungstheorie
-
Prof. Dr.
Gössel
|
Vorlesung
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
,
Institut für Biochemie und Biologie
|
belegen/abmelden
|
551921
|
Codierungstheorie
-
Prof. Dr.
Gössel
,
Klockmann
,
Nordmann
|
Übung
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
,
Institut für Biochemie und Biologie
|
belegen/abmelden
|
552121
|
Advanced topics in cryptography and security
-
Prof. Dr.
Kreitz
,
N.N.
|
Seminar
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
,
Institut für Biochemie und Biologie
|
belegen/abmelden
|
553011
|
Declarative Problem Solving and Optimization
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
,
Laferriere
|
Vorlesung
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
,
Institut für Biochemie und Biologie
|
belegen/abmelden
|
553021
|
Declarative Problem Solving and Optimization
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
,
Laferriere
|
Übung
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
,
Institut für Biochemie und Biologie
|
belegen/abmelden
|
553031
|
Declarative Problem Solving and Optimization
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
,
Laferriere
|
Praktikum
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
,
Institut für Biochemie und Biologie
|
belegen/abmelden
|
554511
|
Kategorientheorie und Logik
-
Dr. rer. nat.
Dipl.-Math.
Richter
,
Richter
|
Vorlesung
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
554521
|
Kategorientheorie und Logik
-
Dr. rer. nat.
Dipl.-Math.
Richter
,
Richter
|
Übung
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
554731
|
Cognitive technologies
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
,
Laferriere
|
Seminar
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
554741
|
Cognitive technologies
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
,
Laferriere
|
Praktikum
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
|
belegen/abmelden
|
554911
|
Declarative Modeling
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
|
Vorlesung
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
,
Institut für Biochemie und Biologie
|
belegen/abmelden
|
554921
|
Declarative Modeling
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
,
Laferriere
|
Übung
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
,
Institut für Biochemie und Biologie
|
belegen/abmelden
|
554941
|
Declarative Modeling
-
Prof. Dr.
Schaub
,
M.Sc.
Romero Davila
,
Laferriere
|
Praktikum
|
WiSe 2018/19
|
Institut für Informatik und Computational Science
,
Institut für Biochemie und Biologie
|
belegen/abmelden
|