Course catalogue
Overview > Dep. 20 - Computer Sciences > Vertiefungsveranstaltungen > Foundations of Computing
Course offerings / Modules
|
Course offering / Module Instructors / Module Owner Time period |
Event type Room |
|||
|---|---|---|---|---|
|
20-00-0030-iv Theory of Computation Prof. Dr. rer. nat. Christoph Walther Mon, 11. Apr. 2011 [11:40] - Tue, 12. Jul. 2011 [16:05] |
Integrated Course | |||
|
20-00-0113-iv Algorithmic Modelling Prof. Dr. rer. nat. Karsten Weihe Th, 14. Apr. 2011 [08:00] - Th, 14. Jul. 2011 [09:40] |
Integrated Course | |||
|
20-00-0189-pr Practical Lab Algorithms Prof. Dr. rer. nat. Karsten Weihe Mon, 11. Apr. 2011 [08:00] - Mon, 11. Apr. 2011 [08:01] |
practical / lab /internship | |||
|
20-00-0190-se Applied Graph Algorithms PD Elias Dahlhaus Mon, 11. Apr. 2011 [08:00] - Mon, 11. Apr. 2011 [08:01] |
Seminar | |||
|
20-00-0255-vl Quantum Computing Prof. Dr. Helmut Waldschmidt Th, 14. Apr. 2011 [14:00] - Th, 14. Jul. 2011 [16:00] |
Lecture | |||
|
20-00-0276-pr Advanced Algorithms Prof. Dr. rer. nat. Karsten Weihe Mon, 11. Apr. 2011 [08:00] - Mon, 11. Apr. 2011 [08:01] |
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, 12. Apr. 2011 [11:40] - Th, 14. Jul. 2011 [11:30] |
Integrated Course | |||
|
20-00-0410-se Proof Carrying Code Prof. Dr.-Ing. Heiko Mantel Mon, 11. Apr. 2011 [08:00] - Mon, 11. Apr. 2011 [08:01] |
Seminar | |||
|
20-00-0420-pr Proof Carrying Code on Mobile Devices Prof. Dr.-Ing. Heiko Mantel Mon, 11. Apr. 2011 [08:00] - Mon, 11. Apr. 2011 [08:01] |
practical / lab /internship | |||
|
20-00-0508-os Oberseminar MAIS Prof. Dr.-Ing. Heiko Mantel Mon, 11. Apr. 2011 [08:00] - Mon, 11. Apr. 2011 [08:01] |
Oberseminar | |||
|
20-00-0518-se Algorithmen zum Graphendesign PD Elias Dahlhaus Mon, 11. Apr. 2011 [08:00] - Mon, 11. Apr. 2011 [08:01] |
Seminar | |||
|
20-00-0531-pl Praktikum in der Lehre zu Formale Grundlagen der Informatik III Prof. Dr. rer. nat. Christoph Walther Mon, 11. Apr. 2011 [08:00] - Mon, 11. Apr. 2011 [08:01] |
Internship Teaching | |||
|
20-00-0557-se Lesegruppe Runtime Monitoring Prof. Dr.-Ing. Heiko Mantel Mon, 11. Apr. 2011 [08:00] - Mon, 11. Apr. 2011 [08:01] |
Seminar | |||
|
20-00-0573-pr Praktikum in der Lehre 1 Prof. Dr. rer. nat. Karsten Weihe Mon, 11. Apr. 2011 [08:00] - Mon, 11. Apr. 2011 [08:01] |
Internship Teaching | |||
|
20-00-0574-pr Praktikum in der Lehre 2 Prof. Dr. rer. nat. Karsten Weihe Mon, 11. Apr. 2011 [08:00] - Mon, 11. Apr. 2011 [08:01] |
Internship Teaching | |||
|
20-00-0584-se Current Topics in Usage Control Prof. Dr.-Ing. Heiko Mantel Mon, 11. Apr. 2011 [08:00] - Mon, 11. Apr. 2011 [08:01] |
Seminar | |||
|
20-00-0593-pl Praktikum in der Lehre zu Proof-Carrying-Code Prof. Dr.-Ing. Heiko Mantel Mon, 11. Apr. 2011 [08:00] - Mon, 11. Apr. 2011 [08:01] |
Internship Teaching | |||
|
20-00-0602-se Theorie reellen Rechnens Dr. rer. nat. Ulrike Brandt Mon, 11. Apr. 2011 [14:25] - Mon, 11. Jul. 2011 [16:05] |
Seminar | |||