![[Technical Faculty Logo]](../images/tflogo.gif)
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ührten Links während des Semesters bereitgestellt.
- Verifikation verteilter Algorithmen und ihre Werkzeugunterstützung (``Model checking'') + Übungen
- Seminar Softwaretechnologie: Verteilte Algorithmen
- Diplomandenseminar
voriges Semester
nächstes Semester
Maintained by:
Martin Steffen
Last modified: Tue Mar 2 15:49:08 MET 2004