Vorlesungsverzeichnis

Übersicht > Vertiefungsveranstaltungen > Foundations of Computing

Veranstaltungen / Module

	Veranstaltung / Modul Dozenten / Modulverantwortliche Zeitraum		Veranstaltungsart Raum
	20-00-0110-iv Effiziente Graphenalgorithmen Prof. Dr. rer. nat. Karsten Weihe Di, 16. Okt. 2012 [13:30] - Di, 12. Feb. 2013 [15:10]		Integrierte Veranstaltung
	20-00-0189-pr Praktikum Algorithmen Prof. Dr. rer. nat. Karsten Weihe		Praktikum
	20-00-0245-se Scheduling PD Elias Dahlhaus		Seminar
	20-00-0255-vl Quantenberechnungen Prof. Dr. Helmut Waldschmidt Di, 16. Okt. 2012 [16:15] - Do, 14. Feb. 2013 [17:55]		Vorlesung
	20-00-0276-pr Praktikum Algorithmen II (Vertiefung) Prof. Dr. rer. nat. Karsten Weihe		Praktikum
	20-00-0292-pl Praktikum in der Lehre - Allgemeine Informatik II Prof. Dr. rer. nat. Karsten Weihe		Praktikum in der Lehre
	20-00-0382-se Formale Spezifikation Prof. Dr.-Ing. Heiko Mantel Do, 6. Dez. 2012 [09:50] - Fr, 7. Dez. 2012 [18:00]		Seminar
	20-00-0383-pr Modellierungspraktikum Prof. Dr.-Ing. Heiko Mantel Mo, 15. Okt. 2012 [14:25] - Mo, 11. Feb. 2013 [16:05]		Praktikum
	20-00-0391-se Algorithmische Modellierung zur Erstellung von Fahrplänen PD Elias Dahlhaus		Seminar
	20-00-0508-os Oberseminar MAIS Prof. Dr.-Ing. Heiko Mantel		Oberseminar
	20-00-0531-pl Praktikum in der Lehre zu Formale Grundlagen der Informatik III Prof. Dr. rer. nat. Reiner Hähnle		Praktikum in der Lehre
	20-00-0550-pl Praktikum in der Lehre zu GdI III Prof. Dr.-techn. Wolf Dietrich Fellner		Praktikum in der Lehre
	20-00-0580-iv Statische und dynamische Programmanalyse Dr.-Ing. Markus Aderhold; Prof. Dr.-Ing. Heiko Mantel Mo, 15. Okt. 2012 [11:40] - Di, 12. Feb. 2013 [11:30]		Integrierte Veranstaltung
	20-00-0612-se Current Topics in Information Flow Security Prof. Dr.-Ing. Heiko Mantel Do, 7. Feb. 2013 [09:00] - Fr, 8. Feb. 2013 [18:00]		Seminar
	20-00-0667-iv Optimierungsalgorithmen Prof. Dr. rer. nat. Karsten Weihe Di, 16. Okt. 2012 [08:00] - Mi, 13. Feb. 2013 [11:30]		Integrierte Veranstaltung