| Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Aktion |
|
108863
|
Artificial Intelligence
-
Wahlster
,
Torralba
|
94 Vorlesung / Übung A
|
|
|
108896
|
High Level Computer Vision
-
Schiele
,
Fritz
|
147 Weiterführende Vorlesung A
|
|
|
108959
|
Realistic Image Synthesis
-
Slusallek
|
147 Weiterführende Vorlesung A
|
|
|
108960
|
Complexity Theory
-
Bläser
,
Komarath
|
94 Vorlesung / Übung A
|
|
|
108961
|
Cryptography
-
Bläser
|
94 Vorlesung / Übung A
|
|
|
108963
|
Geometric Modeling
-
Seidel
,
Zayer
|
94 Vorlesung / Übung A
|
|
|
108968
|
Optimization
-
Karrenbauer
|
94 Vorlesung / Übung A
|
|
|
108969
|
Introduction to Computational Logic
-
Smolka
|
94 Vorlesung / Übung A
|
|
|
109099
|
Telecommunications II
-
Herfet
|
94 Vorlesung / Übung A
|
|
|
109279
|
Ethics for Nerds
-
Hermanns
,
Baum
|
147 Weiterführende Vorlesung A
|
|
|
109280
|
Web Security
-
Stock
|
147 Weiterführende Vorlesung A
|
|
|
109352
|
Advanced Coq Programming
-
Smolka
,
Forster
|
117 Blockvorlesung A
|
|
|
109563
|
Embedded Systems
-
Finkbeiner
,
Jacobs
|
94 Vorlesung / Übung A
|
|
|
109701
|
Affective Computing
-
Gebhard
|
147 Weiterführende Vorlesung A
|
|
|
110224
|
Topics in Algorithmic Data Analysis
-
Vreeken
|
147 Weiterführende Vorlesung A
|
|
|
110352
|
Automated Reasoning II
-
Waldmann
,
Tourret
|
147 Weiterführende Vorlesung A
|
|
|
110359
|
Privacy Enhancing Technologies
-
Backes
,
Künnemann
,
Zhang
,
Hanzlik
|
147 Weiterführende Vorlesung A
|
|
|
110360
|
Embedded Security
|
147 Weiterführende Vorlesung A
|
|
|
110367
|
Image Processing and Computer Vision
-
Weickert
,
Mitarbeiter des Lehrstuhls
|
94 Vorlesung / Übung A
|
|
|
110369
|
Image Compression
-
Peter
|
94 Vorlesung / Übung A
|
|
|
110706
|
Keeping Time in Distributed Systems
-
Lenzen
|
147 Weiterführende Vorlesung A
|
|
|
110722
|
A First Introduction to Geometric Complexity Theory
-
Ikenmeyer
|
147 Weiterführende Vorlesung A
|
|
kurz
