Vorlesungsverzeichnis

Übersicht >  FB20 - Informatik >  Vertiefungsveranstaltungen >  Foundations of Computing

Veranstaltungen / Module
Veranstaltung / Modul
Dozenten / Modulverantwortliche
Zeitraum
Veranstaltungsart
Raum
20-00-0113-iv Algorithmische Modellierung / Grundlagen des Operations Research
Prof. Dr. rer. nat. Karsten Weihe
Do, 16. Apr. 2015 [15:20] - Do, 16. Jul. 2015 [17:00]
Integrierte Veranstaltung
20-00-0189-pr Praktikum Algorithmen
Prof. Dr. rer. nat. Karsten Weihe
Praktikum
20-00-0276-pr Praktikum Algorithmen II (Vertiefung)
Prof. Dr. rer. nat. Karsten Weihe
Praktikum
20-00-0289-pr Praktikum in der Lehre zu Gdl 2
Prof. Dr. rer. nat. Karsten Weihe
Praktikum
20-00-0362-iv Formale Methoden der Informationssicherheit
Prof. Dr.-Ing. Heiko Mantel
Di, 14. Apr. 2015 [11:40] - Do, 16. Jul. 2015 [11:30]
Integrierte Veranstaltung
20-00-0508-os Oberseminar MAIS
Prof. Dr.-Ing. Heiko Mantel; Ph.D. Jinwei Hu
Oberseminar
20-00-0518-se Algorithmen zum Graphendesign
PD Elias Dahlhaus
Seminar
20-00-0573-pr Praktikum in der Lehre 1
Prof. Dr. rer. nat. Karsten Weihe
Praktikum in der Lehre
20-00-0574-pr Praktikum in der Lehre 2
Prof. Dr. rer. nat. Karsten Weihe
Praktikum in der Lehre
20-00-0612-se Current Topics in Information Flow Security
Prof. Dr.-Ing. Heiko Mantel; Ph.D. Jinwei Hu; Dr.-Ing. Artem Starostin
Di, 14. Apr. 2015 [17:10] - Fr, 10. Jul. 2015 [20:00]
Seminar
20-00-0797-pp Dynamische Kontrolle von Systemanforderungen
Prof. Dr.-Ing. Heiko Mantel; Ph.D. Jinwei Hu
Mo, 13. Apr. 2015 [16:15] - Mo, 13. Jul. 2015 [17:55]
Praktikum
20-00-0798-se Seitenkanalangriffe gegen Software
Prof. Dr.-Ing. Heiko Mantel; Dr.-Ing. Artem Starostin
Di, 14. Apr. 2015 [17:10] - Fr, 12. Jun. 2015 [20:00]
Seminar
20-00-0799-pr Zuverlässige Softwaresicherheit für mobile Endgeräte
Prof. Dr.-Ing. Heiko Mantel; Dr.-Ing. Artem Starostin
Di, 14. Apr. 2015 [17:10] - Do, 16. Jul. 2015 [17:55]
Praktikum