Vorlesungsverzeichnis
Übersicht > FB20 - Informatik > Vertiefungsveranstaltungen > Foundations of Computing
Veranstaltungen / Module
|
Veranstaltung / Modul Dozenten / Modulverantwortliche Zeitraum |
Veranstaltungsart Raum |
|||
|---|---|---|---|---|
|
20-00-0030-iv Berechenbarkeitstheorie Prof. Dr. rer. nat. Christoph Walther Mo, 11. Apr. 2011 [11:40] - Di, 12. Jul. 2011 [16:05] |
Integrierte Veranstaltung | |||
|
20-00-0113-iv Algorithmische Modellierung / Grundlagen des Operations Research Prof. Dr. rer. nat. Karsten Weihe Do, 14. Apr. 2011 [08:00] - Do, 14. Jul. 2011 [09:40] |
Integrierte Veranstaltung | |||
|
20-00-0189-pr Praktikum Algorithmen Prof. Dr. rer. nat. Karsten Weihe Mo, 11. Apr. 2011 [08:00] - Mo, 11. Apr. 2011 [08:01] |
Praktikum | |||
|
20-00-0190-se Angewandte Graphenalgorithmen PD Elias Dahlhaus Mo, 11. Apr. 2011 [08:00] - Mo, 11. Apr. 2011 [08:01] |
Seminar | |||
|
20-00-0255-vl Quantenberechnungen Prof. Dr. Helmut Waldschmidt Do, 14. Apr. 2011 [14:00] - Do, 14. Jul. 2011 [16:00] |
Vorlesung | |||
|
20-00-0276-pr Praktikum Algorithmen II (Vertiefung) Prof. Dr. rer. nat. Karsten Weihe Mo, 11. Apr. 2011 [08:00] - Mo, 11. Apr. 2011 [08:01] |
Praktikum | |||
|
20-00-0289-pr Praktikum in der Lehre zu Gdl 2 Dr. rer. nat. Mathias Schnee |
Praktikum | |||
|
20-00-0362-iv Formale Methoden der Informationssicherheit Prof. Dr.-Ing. Heiko Mantel Di, 12. Apr. 2011 [11:40] - Do, 14. Jul. 2011 [11:30] |
Integrierte Veranstaltung | |||
|
20-00-0410-se Proof Carrying Code Prof. Dr.-Ing. Heiko Mantel Mo, 11. Apr. 2011 [08:00] - Mo, 11. Apr. 2011 [08:01] |
Seminar | |||
|
20-00-0420-pr Proof-Carrying-Code auf mobilen Endgeräten Prof. Dr.-Ing. Heiko Mantel Mo, 11. Apr. 2011 [08:00] - Mo, 11. Apr. 2011 [08:01] |
Praktikum | |||
|
20-00-0508-os Oberseminar MAIS Prof. Dr.-Ing. Heiko Mantel Mo, 11. Apr. 2011 [08:00] - Mo, 11. Apr. 2011 [08:01] |
Oberseminar | |||
|
20-00-0518-se Algorithmen zum Graphendesign PD Elias Dahlhaus Mo, 11. Apr. 2011 [08:00] - Mo, 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 Mo, 11. Apr. 2011 [08:00] - Mo, 11. Apr. 2011 [08:01] |
Praktikum in der Lehre | |||
|
20-00-0557-se Lesegruppe Runtime Monitoring Prof. Dr.-Ing. Heiko Mantel Mo, 11. Apr. 2011 [08:00] - Mo, 11. Apr. 2011 [08:01] |
Seminar | |||
|
20-00-0573-pr Praktikum in der Lehre 1 Prof. Dr. rer. nat. Karsten Weihe Mo, 11. Apr. 2011 [08:00] - Mo, 11. Apr. 2011 [08:01] |
Praktikum in der Lehre | |||
|
20-00-0574-pr Praktikum in der Lehre 2 Prof. Dr. rer. nat. Karsten Weihe Mo, 11. Apr. 2011 [08:00] - Mo, 11. Apr. 2011 [08:01] |
Praktikum in der Lehre | |||
|
20-00-0584-se Aktuelle Themen zur Usage Control Prof. Dr.-Ing. Heiko Mantel Mo, 11. Apr. 2011 [08:00] - Mo, 11. Apr. 2011 [08:01] |
Seminar | |||
|
20-00-0593-pl Praktikum in der Lehre zu Proof-Carrying-Code Prof. Dr.-Ing. Heiko Mantel Mo, 11. Apr. 2011 [08:00] - Mo, 11. Apr. 2011 [08:01] |
Praktikum in der Lehre | |||
|
20-00-0602-se Theorie reellen Rechnens Dr. rer. nat. Ulrike Brandt Mo, 11. Apr. 2011 [14:25] - Mo, 11. Jul. 2011 [16:05] |
Seminar | |||