Course catalogue

Overview >  Faculty of Computer Science, Electrical Engineering and Mathematics >  Computer Science >  Master Studies >  Lectures

Course offerings / Modules
Course offering / Module
Instructors / Module Owner
Time period
Event type
Room
L.079.05800 Functional Programming
Prof. Dr. Uwe Kastens
Mon, 8. Apr. 2013 [16:00] - Mon, 15. Jul. 2013 [18:00]
Lecture (with exercise)
L.079.05801 Combinatorial Optimization (in English)
Dr. Rainer Feldmann
Wed, 10. Apr. 2013 [11:00] - Wed, 17. Jul. 2013 [13:00]
Lecture (with exercise)
L.079.05802 Real-Time Operating Systems (RTOS) (in English)
Prof. Dr. Franz-Josef Rammig
Mon, 8. Apr. 2013 [11:00] - Mon, 15. Jul. 2013 [13:00]
Lecture (with exercise)
L.079.05803 Propositional Proof Systems (in English)
Prof. Dr. Hans Kleine Büning
Th, 11. Apr. 2013 [09:00] - Th, 18. Jul. 2013 [11:00]
Lecture (with exercise)
L.079.05804 Computational Models (in English)
Prof. Dr. Christian Scheideler
Fri, 12. Apr. 2013 [09:00] - Fri, 19. Jul. 2013 [11:00]
Lecture (with exercise)
L.079.05805 Advanced Rendering (in English)
Prof. Dr. Gitta Domik-Kienegger
Wed, 10. Apr. 2013 [09:00] - Wed, 5. Jun. 2013 [11:00]
Lecture (with exercise)
L.079.05806 Data and Information Visualization (in English)
Prof. Dr. Gitta Domik-Kienegger
Wed, 10. Apr. 2013 [14:00] - Wed, 17. Jul. 2013 [16:00]
Lecture (with exercise)
L.079.05807 IT Security (in English)
Prof. Dr. Christoph Sorge
Th, 11. Apr. 2013 [14:00] - Th, 18. Jul. 2013 [16:00]
Lecture (with exercise)
L.079.05808 Cryptography - Provable Security (in English)
Prof. Dr. Johannes Blömer
Mon, 8. Apr. 2013 [14:00] - Mon, 27. May 2013 [16:00]
Lecture (with exercise)
L.079.05809 Cryptographic Protocols (in English)
Prof. Dr. Johannes Blömer
Mon, 3. Jun. 2013 [14:00] - Fri, 19. Jul. 2013 [13:00]
Lecture (with exercise)
L.079.05810 Compilation Methods (in English)
Prof. Dr. Uwe Kastens
Fri, 12. Apr. 2013 [11:00] - Fri, 19. Jul. 2013 [13:00]
Lecture (with exercise)
L.079.05811 Advanced Distributed Algorithms and Data Structures (in English)
Prof. Dr. Christian Scheideler
Mon, 8. Apr. 2013 [09:00] - Mon, 15. Jul. 2013 [11:00]
Lecture (with exercise)
L.079.05812 Modelchecking (in English)
Prof. Dr. Heike Wehrheim
Tue, 9. Apr. 2013 [11:00] - Tue, 16. Jul. 2013 [12:30]
Lecture (with exercise)
L.079.05813 Hardware/Software Codesign (in English)
Prof. Dr. Christian Plessl
Th, 11. Apr. 2013 [11:00] - Th, 18. Jul. 2013 [12:20]
Lecture (with exercise)
L.079.05814 Configuration and Diagnosis
Prof. Dr. Hans Kleine Büning
Th, 4. Apr. 2013 [09:00] - Fri, 19. Apr. 2013 [13:00]
Lecture (with exercise)
L.079.05815 Prolog and its application in interpreter construction and computational linguistics (in English)
Prof. Dr. Stefan Böttcher
Mon, 8. Apr. 2013 [11:00] - Wed, 29. May 2013 [13:00]
Lecture (with exercise)
L.079.05816 Software Quality Assurance (in English)
Prof. Dr. Gregor Engels
Tue, 9. Apr. 2013 [09:00] - Tue, 16. Jul. 2013 [11:00]
Lecture (with exercise)
L.079.05817 Online Algorithms (in English)
Jun. Prof. Dr. Alexander Skopalik
Fri, 12. Apr. 2013 [14:00] - Fri, 19. Jul. 2013 [16:00]
Lecture (with exercise)
L.079.05818 Swarm Intelligence (in English)
Prof. Dr. Marco Dorigo
Tue, 23. Apr. 2013 [12:00] - Tue, 11. Jun. 2013 [14:00]
Lecture (with exercise)
L.079.05819 Intelligence in embedded systems
Dr. Bernd Kleinjohann; Dr. Elisabeth Kleinjohann
Wed, 10. Apr. 2013 [09:00] - Wed, 17. Jul. 2013 [11:00]
Lecture (with exercise)
L.079.05820 Empirical Performance Evaluation (in English)
Prof. Dr. Holger Karl
Th, 11. Apr. 2013 [09:00] - Th, 18. Jul. 2013 [11:00]
Lecture (with exercise)
L.079.05821 Future Internet (in English)
Prof. Dr. Holger Karl
Tue, 9. Apr. 2013 [14:00] - Tue, 16. Jul. 2013 [16:00]
Lecture (with exercise)
L.079.05822 Computational Geometry
Dr. Matthias Fischer
Wed, 10. Apr. 2013 [16:00] - Wed, 17. Jul. 2013 [18:00]
Lecture (with exercise)
L.079.05823 Swarm Robotics (in English)
Heiko Hamann
Fri, 12. Apr. 2013 [09:00] - Fri, 19. Jul. 2013 [11:00]
Lecture (with exercise)