![[Christian-Albrechts-Universität]](http://www.uni-kiel.de/img/cau_logo.gif)
![[Technical Faculty]](../images/tflogo.gif)
Institute of Computer Science and Applied Mathematics
in the Technical Faculty of Christian-Albrechts-University of Kiel
Sommersemester 2005
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 nebenläufiger Programme
- Vorlesung im Hauptstudium + Übungen
- W.-P. de Roever, H. Fecher
- Bachelor-Projekt
- M. Kyas
- beigeordnet der Vorlesung Nebenläufige Programmierung aus
dem Winter
- Formale Grundlagen objektorientierter Sprachen
- Vorlesung im Hauptstudium + Übungen
- Harald Fecher, Martin Steffen
- Seminar Softwaretechnologie: Nebenläufige Programmierung
voriges/
nächstes Semester
Maintained by:
Martin Steffen
Last modified: Thu Jan 13 08:07:48 MET 2005