Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Semester |
FB / Einrichtung |
Aktion |
61156
|
Cryptography
-
Univ.-Professor
Prof. Dr.
Backes
|
Vorlesung / Übung
|
SoSe 2012
|
Informatik
|
|
61157
|
Automated Reasoning
-
Univ.-Prof. Dr. rer. nat.
Weidenbach
,
Kosta
|
Vorlesung / Übung
|
SoSe 2012
|
Informatik
|
|
61158
|
Optimization
-
Privatdozent Dr.
van Stee
,
Dr.
Spöhel
|
Vorlesung / Übung
|
SoSe 2012
|
Informatik
|
|
61159
|
Introduction to Computational Logic
-
Univ.-Prof. Dr. rer. nat.
Smolka
,
Dr.
Brown
|
Vorlesung / Übung
|
SoSe 2012
|
Informatik
|
|
61185
|
Computational Number Theory and Algebra
-
Univ.-Prof. Dr.
Bläser
,
Saha
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
61187
|
Limits of Computational Learning
-
Dr.
Kötzing
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
61188
|
Algorithm Engineering
-
Univ.-Prof. Dr. rer. nat.
Mehlhorn
,
Gawrychowski
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
61189
|
High-Level Computer Vision
-
Univ.-Prof. Dr.
Schiele
,
Prof. Dr.
Fritz
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
61190
|
Exponential-Time Algorithms
-
Dr. MSc.
Mnich
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
61191
|
Quantitative Model Checking
-
Univ.-Professorin
Prof. Dr.
Wolf
,
Dr.
Spieler
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
61242
|
Geometric Modeling
-
Dr.
Wand
|
Vorlesung / Übung
|
SoSe 2012
|
Informatik
|
|
61468
|
Advanced Graph Algorithms
-
Dr.
Wahlström
,
Schmidt
,
Duan
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
62101
|
Secure Information Flow
-
Prof. Dr.
Hammer
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
62207
|
Computational Photography
-
Dr.
Ihrke
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
62256
|
Software Engineering
-
Univ.-Professor Dr.-Ing.
Zeller
|
Vorlesung / Übung
|
SoSe 2012
|
Informatik
|
|
62458
|
Convex Optimization
-
Univ.-Prof. Dr.
Hein
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
62631
|
The impact of resource sharing on performance and performance prediction
-
Univ.-Prof. Dr. rer. nat.
Wilhelm
,
Univ.-Prof. Dr.
Reineke
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
62689
|
Concurrent and mobile languages
-
Turrini
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
62690
|
Applied Concurrency Theory
-
Dr.
Garavel
|
Blockvorlesung
|
SoSe 2012
|
Informatik
|
|
62777
|
Interactive Image Synthesis
-
Dr.
Krüger
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
62843
|
Scalable Uncertainty Management
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
62953
|
Realistic Image Synthesis
-
Univ.-Professor
Prof. Dr.
Slusallek
|
Weiterführende Vorlesung
|
SoSe 2012
|
Informatik
|
|
63457
|
Advanced Image Analysis
-
Dr.
Schmaltz
|
Vorlesung
|
SoSe 2012
|
Mathematik
|
|