| Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Aktion |
|
84450
|
Algorithmen und Systeme (Algorithms and Systems)
-
Schmidt
|
Vorlesung / Übung
|
|
|
85193
|
Digitale Signalverarbeitung/ Digital Signal Processing
-
Klakow
|
Vorlesung
|
|
|
85946
|
Telecommunications II
-
Herfet
|
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
|
|
|
87296
|
Numerisches Praktikum zur Computertomographie
-
Schuster
|
Vorlesung
|
|
|
87415
|
Statistical Natural Language Processing
-
Klakow
|
Vorlesung / Übung
|
|
|
87467
|
Verification of Real-Time Systems
-
Reineke
|
Weiterführende Vorlesung
|
|
|
87490
|
Grundlagen des Rechts für Informatiker
-
Sorge
|
Weiterführende Vorlesung
|
|
|
87625
|
Topics in Algorithmic Data Analysis
-
Vreeken
|
Weiterführende Vorlesung
|
|
|
87743
|
Interactive Computer Grahics Using OpenGL
-
Ritschel
|
Weiterführende Vorlesung
|
|
|
89928
|
Software Reverse Engineering
-
Rossow
|
Blockvorlesung
|
|
kurz
