Vorlesungsverzeichnis (WiSe 2014/15)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Fakultät 6 (Mathematik u. Informatik)

6.2 Informatik

Studiengang Medieninformatik

Bachelor PO 2010

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 81812 Software Reverse Engineering   -   Univ.-Professor Dr. Rossow Blockvorlesung     WiSe 2014/15 Informatik 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 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 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