| Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Semester |
FB / Einrichtung |
Aktion |
|
118863
|
Project Management and Execution
-
Dipl.-Inform.
Knop
,
Dipl.-Math.
Bayer
,
M.Sc.
Scheid
,
Univ.-Professor
Dr. rer. oec.
Loos
|
Vorlesung
|
WiSe 2019/20
|
Wirtschaftswissenschaft
|
|
|
120237
|
Automated Reasoning
-
Dr.
Waldmann
|
Vorlesung / Übung
|
WiSe 2019/20
|
Informatik
|
|
|
120241
|
Security
-
Dr.
Tippenhauer
|
Vorlesung / Übung
|
WiSe 2019/20
|
Informatik
|
|
|
120245
|
Digital Transmission, Signal Processing (Telecommunications I)
-
Univ.-Prof. Dr.-Ing.
Herfet
|
Vorlesung / Übung
|
WiSe 2019/20
|
Informatik
|
|
|
120250
|
Computer Graphics
-
Univ.-Professor
Prof. Dr.
Slusallek
|
Vorlesung / Übung
|
WiSe 2019/20
|
Informatik
|
|
|
120255
|
Operating Systems
-
Brandenburg
|
Vorlesung / Übung
|
WiSe 2019/20
|
Informatik
|
|
|
120256
|
Complexity Theory
-
Univ.-Prof. Dr.
Bläser
,
Komarath
|
Vorlesung / Übung
|
WiSe 2019/20
|
Informatik
|
|
|
120258
|
Human Computer Interaction
-
Univ.-Professor
Prof. Dr.
Steimle
,
Dr.
Fruchard
|
Vorlesung / Übung
|
WiSe 2019/20
|
Informatik
|
|
|
120264
|
Information Retrieval and Data Mining
-
Ph.D.
Saha Roy
,
Ph.D.
Yates
|
Vorlesung / Übung
|
WiSe 2019/20
|
Informatik
|
|
|
120281
|
Semantics
-
Univ.-Prof. Dr. rer. nat.
Smolka
,
PhD
Dreyer
|
Vorlesung / Übung
|
WiSe 2019/20
|
Informatik
|
|
|
120308
|
AI Planning
-
Univ.-Professor
Prof. Dr.
Hoffmann
|
Weiterführende Vorlesung
|
WiSe 2019/20
|
Informatik
|
|
|
120381
|
Architectural Thinking for Intelligent Systems
-
Prof. Dr.
Koehler
|
Weiterführende Vorlesung
|
WiSe 2019/20
|
Informatik
|
|
|
120417
|
Geometric Modeling
-
Zayer
|
Vorlesung / Übung
|
WiSe 2019/20
|
Informatik
|
|
|
120432
|
Recht der Cybersicherheit - Datenschutz
-
Univ.-Prof. Dr. Ing.
Sorge
|
Weiterführende Vorlesung
|
WiSe 2019/20
|
Informatik
|
|
|
120433
|
Social Computing (Affective Computing)
-
Dr.-Ing.
Gebhard
|
Weiterführende Vorlesung
|
WiSe 2019/20
|
Informatik
|
|
|
120589
|
Information Extraction
-
Dr.
Razniewski
|
Weiterführende Vorlesung
|
WiSe 2019/20
|
Informatik
|
|
|
120623
|
Algorithms and Data Structures
-
Univ.-Prof. Dr.
Seidel
|
Blockvorlesung
|
WiSe 2019/20
|
Informatik
|
|
|
120665
|
Verification
-
Univ.-Professor
Dr.
Finkbeiner
|
Vorlesung / Übung
|
WiSe 2019/20
|
Informatik
|
|
|
120674
|
Generating Software Tests (Security Testing)
-
Univ.-Professor Dr.-Ing.
Zeller
,
Dr.
Gopinath
|
Weiterführende Vorlesung
|
WiSe 2019/20
|
Informatik
|
|
|
120676
|
Mobile Security
-
Dr.-Ing.
Bugiel
|
Weiterführende Vorlesung
|
WiSe 2019/20
|
Informatik
|
|
|
120677
|
Machine Learning in Cybersecurity
-
Prof. Dr.
Fritz
|
Weiterführende Vorlesung
|
WiSe 2019/20
|
Informatik
|
|
|
120678
|
Reactive Synthesis
-
Dr.
Jacobs
|
Blockvorlesung
|
WiSe 2019/20
|
Informatik
|
|
|
120790
|
Machine Learning
-
Prof. Dr.
Ochs
|
Vorlesung / Übung
|
WiSe 2019/20
|
Informatik
|
|
|
120802
|
Differential Equations in Image Processing and Computer Vision
-
Prof. Dr.
Weickert
,
Mitarbeiter des Lehrstuhls
|
Vorlesung / Übung
|
WiSe 2019/20
|
Mathematik
|
|
|
120806
|
Interpolation and Approximation for Visual Computing
-
Mitarbeiter des Lehrstuhls
|
Vorlesung / Übung
|
WiSe 2019/20
|
Mathematik
|
|
|
120970
|
Program Analysis
-
Univ.-Prof. Dr.
Reineke
|
Weiterführende Vorlesung
|
WiSe 2019/20
|
Informatik
|
|
|
120971
|
Theory of Distributed Systems
-
Dr.
Lenzen
,
Bund
|
Weiterführende Vorlesung
|
WiSe 2019/20
|
Informatik
|
|
|
120977
|
Web Security
-
Dr.-Ing.
Stock
|
Weiterführende Vorlesung
|
WiSe 2019/20
|
Informatik
|
|
|
120993
|
Ethics for Nerds
-
Univ.-Prof. Dr.-Ing.
Hermanns
|
Blockvorlesung
|
WiSe 2019/20
|
Informatik
|
|
kurz
