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 Semester FB / Einrichtung Aktion 65365 Grundlagen der Signalverarbeitung   -   Univ.-Prof. Dr. rer. nat. Klakow Vorlesung / Übung     WiSe 2012/13 Systems Engineering 65368 Grundlagen der Elektrotechnik I (auch für Studierende des Juniorstudiums)   -   Univ.-Prof. Dr.-Ing. habil. Kliem Übung     WiSe 2012/13 Systems Engineering 65371 Grundpraktikum Elektrotechnik   -   Univ.-Prof. Dr.-Ing. habil. Kliem Praktikum     WiSe 2012/13 Systems Engineering 65434 Systemtheorie und Regelungstechnik II   -   Univ.-Prof. Dr.-Ing. habil. Rudolph Vorlesung     WiSe 2012/13 Systems Engineering 65435 Systemtheorie und Regelungstechnik II   -   Univ.-Prof. Dr.-Ing. habil. Rudolph Übung     WiSe 2012/13 Systems Engineering 65464 Programmierung 1   -   Univ.-Prof. Dr. rer. nat. Smolka Grundvorlesung     WiSe 2012/13 Informatik 67238 Orientierungseinheit CuK/Computer- und Kommunikationstechnologie   -   Professoren/Fachschaft/Ingenieurwissenschaften Sonstiges     WiSe 2012/13 Systems Engineering 67257 Unix-Kurs für Unix/Linux-Einsteiger   -   Dipl.-Inform. Spurk Kurs     WiSe 2012/13 Informatik

Proseminare der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 67259 Anwendungen von Markov-Ketten   -   Univ.-Professorin Prof. Dr. Wolf Blockseminar     WiSe 2012/13 Informatik 67260 Das Erfüllbarkeitsproblem SAT   -   Univ.-Prof. Dr. rer. nat. Weidenbach ,  Univ.-Prof. Dr. Hack Proseminar     WiSe 2012/13 Informatik 67589 Neural Networks for Pattern Recognition   -   Univ.-Prof. Dr. rer. nat. Klakow ,  Dipl.-Inf. Faubel Blockseminar     WiSe 2012/13 Informatik 67692 Das Buch der Beweise   -   Univ.-Prof. Dr. Seidel Proseminar     WiSe 2012/13 Informatik 67733 Statische Programmanalyse   -   Univ.-Prof. Dr. Reineke Proseminar     WiSe 2012/13 Informatik

Seminare der Informatik

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

Stammvorlesungen der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 65470 Telecommunications I   -   Univ.-Prof. Dr.-Ing. Herfet Vorlesung / Übung     WiSe 2012/13 Informatik 65473 Future Media Internet   -   Univ.-Prof. Dr.-Ing. Herfet Weiterführende Vorlesung     WiSe 2012/13 Informatik , Telecommunications. 65829 Computer Architecture I   -   Univ.-Prof. Dr. Dr. h. c. Paul Vorlesung / Übung     WiSe 2012/13 Informatik

Vertiefungsvorlesungen der Informatik

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