Vorlesungsverzeichnis (WiSe 2012/13)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Fakultät 7 (Physik u. Mechatronik)

FR 7.4 Mechatronik

Bachelor-Studiengang Computer- und Kommunikationstechnik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65365 Grundlagen der Signalverarbeitung   -   Klakow Vorlesung / Übung 65368 Grundlagen der Elektrotechnik I (auch für Studierende des Juniorstudiums)   -   Kliem Übung 65371 Grundpraktikum Elektrotechnik   -   Kliem Praktikum 65434 Systemtheorie und Regelungstechnik II   -   Rudolph Vorlesung 65435 Systemtheorie und Regelungstechnik II   -   Rudolph Übung 65464 Programmierung 1   -   Smolka Grundvorlesung 67238 Orientierungseinheit CuK/Computer- und Kommunikationstechnologie   -   Professoren/Fachschaft/Ingenieurwissenschaften Sonstiges 67257 Unix-Kurs für Unix/Linux-Einsteiger   -   Spurk Kurs

Proseminare der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 67259 Anwendungen von Markov-Ketten   -   Wolf Blockseminar 67260 Das Erfüllbarkeitsproblem SAT   -   Weidenbach ,  Hack Proseminar 67589 Neural Networks for Pattern Recognition   -   Klakow ,  Faubel Blockseminar 67692 Das Buch der Beweise   -   Seidel Proseminar 67733 Statische Programmanalyse   -   Reineke Proseminar

Seminare der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65469 Heuristic Search Algorithms   -   Hoffmann Seminar 65825 Automatic Parallelization in the Polyhedral Model   -   Hack Seminar 65968 Social Choice Theory   -   van Stee Seminar 65979 Non-Traditional Data Management (NoSQL and more)   -   Michel Seminar 66037 Nebenläufige Automaten / Concurrent Automata   -   Hermanns Proseminar / Seminar 66666 Hauptseminar: Milestones and Advances in Image Analysis   -   Weickert ,  Demetz Seminar / Hauptseminar 66912 Practical Cryptographic Systems   -   Kate Seminar 67073 Graphs in Surfaces   -   Mnich ,  Schmidt Seminar 67149 Multimodal dialog systems: personalization and generic approaches   -   Klakow ,  Alexandersson ,  Petukhova Seminar 67245 Reading Group in Algorithms (B)   -   Mehlhorn Seminar 67265 Recent Topics in Computergraphics and Visualization   -   Krüger Seminar 67275 Dynamic Streaming   -   Herfet Seminar 67330 Technology Enhanced Learning   -   Siekmann ,  Sosnovsky Seminar 67344 Parallel Visual Computing   -   Ihrke ,  Ritschel ,  Fritz Seminar 67365 Real-time Systems & Synthesis   -   Finkbeiner ,  Faymonville ,  Gerke Seminar 67435 Applied Perception   -   Myszkowski ,  Ritschel Seminar 67577 Real-Time Scheduling and Synchronization   -   Brandenburg Seminar 67728 Decision Procedures   -   Piskac Seminar 67732 Embodied Interaction: User Interfaces Merge With the Real World   -   Steimle Blockseminar

Stammvorlesungen der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65470 Telecommunications I   -   Herfet Vorlesung / Übung 65473 Future Media Internet   -   Herfet Weiterführende Vorlesung 65829 Computer Architecture I   -   Paul Vorlesung / Übung

Vertiefungsvorlesungen der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65471 Computer Graphics   -   Slusallek Vorlesung / Übung 65485 Automatic Planning   -   Hoffmann Weiterführende Vorlesung 65780 Development of Safety-Critical Embedded Systems   -   Wilhelm ,  Kästner Weiterführende Vorlesung 65828 Database Systems   -   Dittrich Vorlesung / Übung 65843 Security   -   Backes ,  Maffei ,  Hammer Vorlesung / Übung 65969 Algorithmic Game Theory   -   van Stee Weiterführende Vorlesung 65980 Sublinear Algorithms   -   Sauerwald Weiterführende Vorlesung 66256 Public Key Encryption   -   Schröder Weiterführende Vorlesung 66258 Modelling and Simulation   -   Wolf Weiterführende Vorlesung 66379 Image Processing and Computer Vision   -   Weickert Weiterführende Vorlesung 66659 Probabilistic Graphical Models and their Applications   -   Schiele Weiterführende Vorlesung 66660 Dynamic Geometry Processing   -   Wand ,  Wuhrer Blockvorlesung 66665 Image Compression   -   Schmaltz Spezialvorlesung 66712 Automated Testing and Verification   -   Gorla ,  Galeotti Weiterführende Vorlesung 66713 Automated Debugging   -   Zeller Weiterführende Vorlesung 66721 Automated Reasoning II   -   Weidenbach Blockvorlesung 66992 Parallel Programming with CUDA   -   Slusallek ,  Kalojanov ,  Danilewski Weiterführende Vorlesung 67063 Correspondence Problems in Computer Vision   -   Weickert ,  Mainberger Spezialvorlesung 67224 Visualization and Data Analysis   -   Krüger ,  Weinkauf Weiterführende Vorlesung 67261 Automata, Games and Verification   -   Finkbeiner Weiterführende Vorlesung 67341 Discrete Topics in Data Mining   -   Miettinen Weiterführende Vorlesung 67597 Randomized Methods in Computer Science   -   Doerr Weiterführende Vorlesung 67670 Parametricity and Modular Reasoning   -   Dreyer Seminar