Vorlesungsverzeichnis

Master

Master (konsekutiv)

Computer- und Kommunikationstechnik

Vertiefungsvorlesung der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 124733 Statistik mit R   -   Demberg Vorlesung / Übung 125254 Project Management and Execution (entfällt im WS 2020/21)   -   Knop ,  Bayer ,  Rübel Vorlesung 126595 Einführung in die Quanteninformationsverarbeitung - Theo. Physikalisches Wahlpflicht (WP PW)   -   Wilhelm-Mauch ,  Kirchhoff Vorlesung / Übung 126605 Computer-Algebra: Groebner Basen und Anwendungen   -   Schreyer ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 126728 Database Systems   -   Dittrich Vorlesung / Übung 126730 Automated Reasoning   -   Weidenbach Vorlesung / Übung 126733 Computer Graphics   -   Slusallek ,  Yazici ,  Devillers Vorlesung / Übung 126734 Human Computer Interaction   -   Steimle ,  Strohmeier Vorlesung / Übung 126735 Geometric Modeling   -   Zayer Vorlesung / Übung 126736 Compiler Construction   -   Hack Vorlesung / Übung 126743 Software Engineering   -   Apel Vorlesung / Übung 126744 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung 126746 AI Planning   -   Hoffmann Weiterführende Vorlesung 126774 Architectural Thinking for Intelligent Systems   -   Koehler Weiterführende Vorlesung 126775 Probabilistic Machine Learning   -   Valera Martinez Weiterführende Vorlesung 126776 Advanced Topics in Computational Type Theory   -   Smolka Weiterführende Vorlesung 126781 Probabilistic Graphical Models and their Applications   -   Schiele Weiterführende Vorlesung 126794 Advanced Coq Programming   -   Smolka Blockvorlesung 127004 Recht der Cybersicherheit - Datenschutzrechtliche Aspekte   -   Sorge Weiterführende Vorlesung 127081 GPU Programming   -   Membarth ,  Kenzel ,  Slusallek Weiterführende Vorlesung 127163 Algorithms and Data Structures   -   Künnemann ,  Bringmann Vorlesung / Übung 127166 Web Security   -   Stock Weiterführende Vorlesung 127167 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 127168 Algorithms for Cryptanalysis   -   Joux Weiterführende Vorlesung 127170 Obfuscation, scientifically   -   Döttling Weiterführende Vorlesung 127171 Mobile Security   -   Bugiel Weiterführende Vorlesung 127172 Automated Debugging   -   Zeller Weiterführende Vorlesung 127173 Formal verification in Security   -   Künnemann Weiterführende Vorlesung 127196 Topics in Algorithmic Game Theory and Economics   -   Kleer Weiterführende Vorlesung 127198 Machine Learning in Cyber Security   -   Fritz Weiterführende Vorlesung 127209 Theory of Distributed Systems   -   Lenzen ,  Coupette Weiterführende Vorlesung 127243 Perception for Computer Graphics   -   Myszkowski Weiterführende Vorlesung 127260 Property Testing   -   Gouleakis Weiterführende Vorlesung 127262 How to Clock your Computer   -   Lenzen Weiterführende Vorlesung 127371 Program Analysis   -   Reineke Weiterführende Vorlesung 127465 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 127466 Image Acquisition Methods   -   Peter Vorlesung / Übung 127467 Interpolation and Approximation for Visual Computing   -   Mitarbeiter des Lehrstuhls Vorlesung / Übung 127468 Advanced Image Analysis   -   Peter Vorlesung / Übung