[Technical Faculty Logo]
Institute of Computer Science and Applied Mathematics
in the Technical Faculty of Christian-Albrechts-University of Kiel

Sommersemester 2004

Diese Liste dient als Grobübersicht und zur schnelleren Orientierung bezüglich unseres Lehrangebotes. Die offiziellen studientechnischen Daten wie Nummer, Klassifikation, etc. zu den Veranstaltungen des Lehrstuhls können über die zentrale Univis-Datenbank abgerufen werden. Weitere Informationen zu den einzelnen Veranstaltungen werden unter den unten angeführen Links während des Semesters bereitgestellt.
Verifikation verteilter Algorithmen und ihre Werkzeugunterstützung (``Model checking'') + Übungen
Seminar Softwaretechnologie: Verteilte Algorithmen
Diplomandenseminar

Maintained by: Martin Steffen
Last modified: Tue Mar 2 15:49:08 MET 2004