Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Aktion |
80121
|
Speech Technology - Pattern and Speech Recognition
-
Klakow
|
Vorlesung / Übung
|
|
80908
|
Entscheidung und Information
-
Schmidt
,
Holländer
|
Vorlesung / Übung
|
|
80938
|
Grundlagen der Optimierung (Basics of Optimization)
-
Schmidt
,
Dochow
|
Vorlesung / Übung
|
|
80954
|
Anwendung der Optimierung (Application of Optimization)
-
Schmidt
,
Dochow
|
Vorlesung / Übung
|
|
81812
|
Software Reverse Engineering
-
Rossow
|
Blockvorlesung
|
|
82057
|
Future Media Internet
-
Herfet
|
Weiterführende Vorlesung
|
|
82417
|
Static Programm Analysis
-
Reineke
,
Hack
,
Hammer
|
Weiterführende Vorlesung
|
|
82418
|
Automatic Planning
-
Hoffmann
|
Weiterführende Vorlesung
|
|
82431
|
Quantitative Model Checking
-
Krcál
|
Weiterführende Vorlesung
|
|
82432
|
Project Management and Execution
-
Knop
,
Bayer
,
Thaler
|
Vorlesung
|
|
82444
|
Modelling and Simulation
-
Bortolussi
|
Weiterführende Vorlesung
|
|
82447
|
Probabilistic Graphical Models and their Applications
-
Schiele
|
Weiterführende Vorlesung
|
|
82760
|
Public-Key Encryption
-
Schröder
|
Blockvorlesung
|
|
82877
|
Convex Analysis for Image Processing
-
Weickert
,
Hoeltgen
|
Weiterführende Vorlesung
|
|
82883
|
Image Compression
-
Peter
,
Weickert
|
Spezialvorlesung
|
|
83044
|
IT Forensics
-
Sorge
|
Weiterführende Vorlesung
|
|
83055
|
Text-to-speech synthesis
-
Möbius
|
Vorlesung
|
|
83091
|
Algorithmische Zahlentheorie (Computational Number Theory)
-
Schulze-Pillot-Ziemen
|
Vorlesung
|
|
83096
|
Differential Equations in Image Processing and Computer Vision
-
Weickert
|
Vorlesung
|
|
83278
|
Applied Cryptography
-
Kate
|
Weiterführende Vorlesung
|
|
83325
|
Advanced Image Analysis
-
Weickert
|
Vorlesung
|
|
83329
|
Advanced Topics in Information Retrieval
-
Berberich
|
Weiterführende Vorlesung
|
|
83330
|
Theory of Distributed Systems
-
Lenzen
|
Weiterführende Vorlesung
|
|
83331
|
Integer Programming
-
Karrenbauer
|
Weiterführende Vorlesung
|
|
83515
|
Perception in Computer Graphics
-
Myszkowski
,
Ritschel
|
Weiterführende Vorlesung
|
|
83582
|
An Introduction to TLA +
-
Lu
|
Weiterführende Vorlesung
|
|
83585
|
Computational Logic II
-
Smolka
|
Weiterführende Vorlesung
|
|
83652
|
Statistical Learning
-
Lengauer
|
Spezialvorlesung
|
|
83977
|
Type Systems for Security Verification
-
Maffei
|
Blockvorlesung
|
|
83993
|
Satisfy my Circuits: Algorithms for the Satisfiability Problem
-
Dell
|
Weiterführende Vorlesung
|
|