Course catalogue

Overview >  Vertiefungsveranstaltungen >  Foundations of Computing

Course offerings / Modules
Course offering / Module
Instructors / Module Owner
Time period
Event type
Room
20-00-0113-iv Algorithmic Modelling
Prof. Dr. rer. nat. Karsten Weihe
Wed, 11. Apr. 2012 [11:40] - Wed, 11. Jul. 2012 [13:20]
Integrated Course
20-00-0189-pr Practical Lab Algorithms
Prof. Dr. rer. nat. Karsten Weihe
practical / lab /internship
20-00-0276-pr Advanced Algorithms
Prof. Dr. rer. nat. Karsten Weihe
practical / lab /internship
20-00-0289-pr Praktikum in der Lehre zu Gdl 2
Dr. rer. nat. Mathias Schnee
practical / lab /internship
20-00-0362-iv Formal Methods for Information Security
Prof. Dr.-Ing. Heiko Mantel
Tue, 10. Apr. 2012 [11:40] - Th, 12. Jul. 2012 [11:30]
Integrated Course
20-00-0508-os Oberseminar MAIS
Prof. Dr.-Ing. Heiko Mantel
Oberseminar
20-00-0518-se Algorithmen zum Graphendesign
PD Elias Dahlhaus
Wed, 18. Apr. 2012 [18:00] - Wed, 18. Apr. 2012 [20:00]
Seminar
20-00-0550-pl Praktikum in der Lehre zu GdI III
Prof. Dr.-Ing. Michael Gösele; Dipl.-Inform. Sven Widmer
Internship Teaching
20-00-0573-pr Praktikum in der Lehre 1
Prof. Dr. rer. nat. Karsten Weihe
Internship Teaching
20-00-0574-pr Praktikum in der Lehre 2
Prof. Dr. rer. nat. Karsten Weihe
Internship Teaching
20-00-0584-se Current Topics in Usage Control
Prof. Dr.-Ing. Heiko Mantel
Seminar
20-00-0627-iv Algorithms and Complexity
Prof. Dr. phil. nat. Marc Fischlin
Th, 19. Apr. 2012 [09:50] - Th, 12. Jul. 2012 [11:30]
Integrated Course
20-00-0640-pr Lab - Software Security for Mobile Devices
Prof. Dr.-Ing. Heiko Mantel
practical / lab /internship
20-00-0641-se Seminar - Software Security for Mobile Devices
Prof. Dr.-Ing. Heiko Mantel
Seminar
20-00-0656-pr Secure Coding Lab
Dr.-Ing. Markus Aderhold
practical / lab /internship