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:Wintersemester 2008/09
Prev.:Foundations of Graphics, Vision and Audio (4V+2Ü) (B) [B2]
Di , Do 15-17, HS 1 (Prof. Dr. Re. Klein, Prof. Dr. M. Clausen, Prof. Dr. D. Cremers, Prof. Dr. A. Weber)
Übungen: n.Vereinb. (Prof. Dr. Re. Klein, Prof. Dr. M. Clausen, Prof. Dr. D. Cremers, Prof. Dr. A. Weber)
Next.:Web-Technologien und Information Retrieval (4V+2Ü) (B,C) [B]
Do 15-17, Fr 9-11, HS A207 (Dr. Melanie Gnasa, Dr. Stefan Lüttringhaus-Kappel)
Übungen: Mi 15-17, HS A207 (Dr. Stefan Lüttringhaus-Kappel, Tobias Rudorf)


Vorlesung (Hauptstudium)

Methodenkurs Software-Analyse und -Transformationssysteme für Diplomanden

Prof. Dr. A. B. Cremers
Dr. Günter Kniesel

Zeit, OrtFreitag, 15:00 -15:45, SR A121
Semesterwochenstunden1V + 1Ü
Teilnehmerzahl20
ÜbungenFreitag, 15:45 -16:30, SR A121 (Dr. Günter Kniesel)
Bereich (alte DPO)C
Bereich (neue DPO)B
Informationen im WWWhttp://sewiki.iai.uni-bonn.de/teaching/lectures/sat/

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

Wobmaster - The Wob