Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Aktion |
102355
|
Informatik I
-
Prof. Dr.
Günes
|
Vorlesung
|
|
102356
|
Übungen zur Informatik I
-
Prof. Dr.
Günes
,
Löpmeier
,
Dütsch
,
Temme
|
Übung
|
|
102341
|
Berechenbarkeitstheorie
-
Jun.-Prof. Dr.
Jahnke
|
Vorlesung
|
belegen/abmelden
|
102342
|
Übungen zur Berechenbarkeitstheorie
-
Jun.-Prof. Dr.
Jahnke
|
Übung
|
belegen/abmelden
|
042245
|
Software Engineering
-
Prof. Dr.
Kuchen
,
Rieger
|
V/Ü
|
|
102357
|
Betriebssysteme
-
Prof. Dr.
Gorlatch
,
Haidl
|
V/Ü
|
belegen/abmelden
|
102317
|
Softwarepraktikum
-
Dr.
Becker
,
Dr.
rer. nat.
Brix
|
Blockpraktikum
|
belegen/abmelden
|
102144
|
Computer Vision
-
Prof. Dr.
Jiang
,
Dr.
Berh
,
Ungru
|
V/Ü
|
belegen/abmelden
|
102146
|
Begleitendes Praktikum zu Computer Vision
-
Prof. Dr.
Jiang
,
Dr.
Berh
,
Ungru
|
Praktische Übung
|
belegen/abmelden
|
102314
|
Compilerbau
-
Dr.
Lammers
,
Nienkötter
|
V/Ü
|
belegen/abmelden
|
042268
|
Logic Specification and Programming
-
Prof. Dr.
Kuchen
,
Dageförde
|
V/Ü
|
|
102767
|
Informatik und Gesellschaft (AST)
-
Prof. Dr.
Thomas
,
Best
|
V/Ü
|
belegen/abmelden
|
102143
|
Betreuung von Abschlussarbeiten der Informatik
-
Prof. Dr.
Gorlatch
,
Prof. Dr.
Günes
,
Prof. Dr.
Hinrichs
,
Prof. Dr.
Jiang
,
Prof. Dr.
Müller-Olm
,
Prof. Dr.
Remke
,
Prof. Dr.
Vahrenhold
,
Dr.
Becker
,
Dr.
Lammers
|
Anleitung zum wissenschaftlichen Arbeiten
|
|
102315
|
Quantitatives Model Checking
-
Prof. Dr.
Remke
|
V/Ü
|
belegen/abmelden
|
102358
|
Einführung in Java
-
Prof. Dr.
Günes
,
Humernbrum
,
Rasch
|
V/Ü
|
|
102359
|
Parallele Systeme
-
Prof. Dr.
Gorlatch
,
Humernbrum
|
V/Ü
|
belegen/abmelden
|
102410
|
Wissenschaftliches Rechnen
-
Prof. Dr.
Engwer
|
Vorlesung
|
belegen/abmelden
|
102411
|
Übung zur Vorlesung Wissenschaftliches Rechnen
-
Prof. Dr.
Engwer
,
Sommer
|
Übung
|
belegen/abmelden
|
102427
|
Theorie der Programmierung
-
Prof. Dr.
Müller-Olm
,
Kenter
|
V/Ü
|
belegen/abmelden
|