FMI | Abteilung Algorithmik

	Institut für Formale Methoden der Informatik
	Abteilung Algorithmik

Lehrangebot Sommersemester 2010

Hinweis: Sie müssen sich ggf. per VPN in das Uninetz einhängen, um die Seiten zu den einzelnen Vorlesungen sehen zu können.


Vorlesungen
	Datenstrukturen und Algorithmen	Prof. Dr. Stefan Funke
	Entwurf und Analyse von Algorithmen	Prof. Dr. Stefan Funke
Seminare
	Hauptseminar: Das Buch der Beweise	Prof. Dr. Stefan Funke
Softwarepraktika
	Routenplaner auf Mobil-Plattformen	Prof. Dr. Stefan Funke
Studienarbeiten
Diplomarbeiten

WS 10/11