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