Vorlesungsverzeichnis (WiSe 2014/15)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Fakultät 7 (Physik u. Mechatronik)

FR 7.4 Mechatronik

Master-Studiengang Computer- und Kommunikationstechnik (PO 2007)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 80173 Mikroelektronik III   -   Xu Vorlesung 80172 Mikroelektronik III   -   Xu Übung 80150 Systemtheorie und Regelungstechnik 2   -   Rudolph Vorlesung 80151 Systemtheorie und Regelungstechnik 2   -   Rudolph Übung 80104 Computational Electromagnetics 1 (Elektromagn. Feldsimulation II)   -   Dyczij-Edlinger Vorlesung 80121 Speech Technology - Pattern and Speech Recognition   -   Klakow Vorlesung / Übung 83968 Antenna Theory 1   -   Dyczij-Edlinger Vorlesung

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 81883 Einführungsveranstaltung Informatik (nicht für Studienanfänger Bachelor)   -   Dozent*innen/Informatik Einführungsveranstaltung 83866 Einführungsveranstaltung für Studierende der Computer- und Kommunikationstechnik   -   Dozent*innen/Eingebettete Systeme/Embedded Systems Einführungsveranstaltung

Vorlesungen der Informatik als Stammvorlesung

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 81908 Security   -   Maffei Vorlesung / Übung 81914 Telecommunications I   -   Herfet Vorlesung / Übung 82000 Computer Architecture 1   -   Paul Vorlesung / Übung 82013 Verification   -   Hermanns Vorlesung / Übung 82057 Future Media Internet   -   Herfet Weiterführende Vorlesung

Vertiefungsvorlesungen der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 81812 Software Reverse Engineering   -   Rossow Blockvorlesung 81902 Distributed Systems   -   Druschel Vorlesung / Übung 81915 Computer Graphics   -   Slusallek Vorlesung / Übung 82012 Automated Reasoning   -   Weidenbach 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 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 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 83073 Relationsextraktion mit RapidMiner   -   Klakow Softwareprojekt 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

Seminare der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 82441 Reading Group in Algorithms (A)   -   Mehlhorn Seminar 82698 Tomography as an Inverse Rendering Problem   -   Slusallek Seminar 83155 Hauptseminar Surface Processing: Theory and Applications   -   Weickert ,  Schmidt 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 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