Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Aktion |
85931
|
Artificial Intelligence
-
Hoffmann
|
Vorlesung / Übung
|
|
85934
|
Introduction to Computational Logic
-
Smolka
|
Vorlesung / Übung
|
|
85935
|
Optimization
-
Karrenbauer
|
Vorlesung / Übung
|
|
85936
|
Complexity Theory
-
Bläser
,
Dell
,
Sreenivasaiah
|
Vorlesung / Übung
|
|
85937
|
Geometric Modeling
-
Seidel
,
Zayer
|
Vorlesung / Übung
|
|
86002
|
Realistic Image Synthesis
-
Slusallek
|
Weiterführende Vorlesung
|
|
86003
|
High Level Computer Vision
-
Schiele
,
Fritz
|
Weiterführende Vorlesung
|
|
86326
|
Concrete Semantics with Isabelle/HOL
-
Blanchette
,
Wand
|
Weiterführende Vorlesung
|
|
86332
|
Privacy Enhancing Technology
-
Maffei
,
Kate
|
Weiterführende Vorlesung
|
|
86431
|
Spezialvorlesung Bioinformatik: Algorithms for Sequence Analysis
-
Schulz
,
Marschall
|
Spezialvorlesung
|
|
86432
|
Spezialvorlesung Bioinformatik: Statistical Learning in Computational Biology
-
Pfeifer
|
Spezialvorlesung
|
|
86516
|
Tensors in Computer Science
-
Schreyer
,
Bläser
|
Weiterführende Vorlesung
|
|
86585
|
Foundations of Dependable Systems
-
Hermanns
|
Weiterführende Vorlesung
|
|
86752
|
Automata, Games and Verification
-
Finkbeiner
|
Weiterführende Vorlesung
|
|
86754
|
Recursion Theory
-
Zimmermann
|
Weiterführende Vorlesung
|
|
86880
|
Graphs, Algorithms and Complexity
-
Chalermsook
,
van Leeuwen
|
Weiterführende Vorlesung
|
|
86881
|
Parameterized Algorithms
-
Philip
,
van Leeuwen
|
Weiterführende Vorlesung
|
|
86882
|
Beyond classical chip design: Clockless and Fault-tolerant circuits
-
Függer
|
Weiterführende Vorlesung
|
|
86883
|
Algorithmic Game Theory
-
Keßelheim
,
Bei
|
Weiterführende Vorlesung
|
|
87074
|
Correspondence Problems in Computer Vision
-
Weickert
,
Hoffmann
|
Vorlesung
|
|
87082
|
Image Acquisition Methods
-
Weickert
,
Peter
|
Weiterführende Vorlesung
|
|
87083
|
Differential Geometric Aspects of Image Processing
-
Weickert
,
Schmidt
|
Vorlesung
|
|
87223
|
Data Mining and Matrices
-
Miettinen
|
Weiterführende Vorlesung
|
|
87467
|
Verification of Real-Time Systems
-
Reineke
|
Weiterführende Vorlesung
|
|
87625
|
Topics in Algorithmic Data Analysis
-
Vreeken
|
Weiterführende Vorlesung
|
|
87743
|
Interactive Computer Grahics Using OpenGL
-
Ritschel
|
Weiterführende Vorlesung
|
|