Vorlesungsverzeichnis (WiSe 2014/15)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Lehramt (modularisiert)

Informatik (LAB, LAG, LS1+2)

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 81886 Einführungsveranstaltung für Lehramtsstudierende Informatik aller Semester   -   Mirold Einführungsveranstaltung

Pflichtmodule

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 81814 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 81815 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 81816 Programmierung 1   -   Finkbeiner Grundvorlesung 83013 Begleitendes Seminar zum fachdidaktischen Blockpraktikum   -   Mirold Seminar 83014 Einführung in die Didaktik der Informatik   -   Mirold Vorlesung / Übung 83015 Fachdidaktisches Laborpraktikum   -   Mirold Praktikum

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 82441 Reading Group in Algorithms (A)   -   Mehlhorn Seminar 82698 Tomography as an Inverse Rendering Problem   -   Slusallek Seminar 83061 Discourse Phenomena Seminar / Hauptseminar 83440 Gamified Life: Integration of Gamification elements into everyday life   -   Lessel Seminar 83558 Browser Security   -   Hammer Seminar 83643 Probabilistic Methods for the Analysis of Next Generation Sequencing   -   Schulz Blockseminar 83673 Automated Debugging   -   Zeller ,  Galeotti Seminar 83725 Egocentric Computer Vision   -   Bulling ,  Sugano Seminar 83726 Multi-View Data Mining   -   Miettinen Blockseminar 83730 Database Systems 2   -   Dittrich Seminar 83731 Computer-based educational technologies   -   Sosnovsky Seminar 83746 Heuristic Search for MDPs   -   Hoffmann Blockseminar 83808 Logics in Security   -   Garg Seminar 83818 Information Theory   -   Vreeken Seminar 84877 System Security Reading Group   -   Maffei ,  Rossow Seminar

Wahlpflichtbereich 1

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 81818 Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung

Wahlpflichtbereich 2

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 81812 Software Reverse Engineering   -   Rossow Blockvorlesung 81902 Distributed Systems   -   Druschel Vorlesung / Übung 81908 Security   -   Maffei Vorlesung / Übung 81914 Telecommunications I   -   Herfet Vorlesung / Übung 81915 Computer Graphics   -   Slusallek Vorlesung / Übung 82000 Computer Architecture 1   -   Paul Vorlesung / Übung 82012 Automated Reasoning   -   Weidenbach Vorlesung / Übung 82013 Verification   -   Hermanns Vorlesung / Übung 82027 Algorithms and Data Structures   -   Kerber ,  Hoefer Vorlesung / Übung 82033 Computer Algebra   -   Sagraloff Vorlesung / Übung 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 82443 Database Systems   -   Dittrich Vorlesung / Übung 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 82990 Machine Learning   -   Fritz ,  Andres Vorlesung / Übung 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 83977 Type Systems for Security Verification   -   Maffei Blockvorlesung 83993 Satisfy my Circuits: Algorithms for the Satisfiability Problem   -   Dell Weiterführende Vorlesung