Institut für Informatik
Rheinische Friedrich-Wilhelms-Universität Bonn

Index
Institut
Forschung
Lehre und Studium
DV-Dienste
Bibliothek
Fachschaft
 
Lehrveranstaltungen
Prüfungsangelegenheiten
Studienberatung
Kommission für Lehre und Studium
Vorlesungszeiten
Up:Übersicht: alle Semester
Up:Sommersemester 2005
Prev.:Seminar: Robuste geometrische Algorithmen (A) [A]
Di 9-11, NN (Dr. Elmar Langetepe)
Next.:Seminar Computer Graphik (B) [B]
n.Vereinb. (Prof. Dr. Reinhard Klein, Gero Müller)

Seminar (Hauptstudium)

Seminar Model Checking

Prof. Dr. Christel Baier

Teilnehmerzahl10
Bereich (alte DPO)A
Bereich (neue DPO)A

  Uni-Bonn - Math-Nat - Informatik   -   I   II   III   IV   V   VI

Wobmaster - The Wob