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