Jahresbericht informatik 2009 - KIT – Fakultät für Informatik

Das Lehrangebot im Jahr 2009
Intelligente Datenanalyse Feldbusch, F. 2
Grundlagen der Computersicherheit Müller-Quade, J.; Kraschewski, D. 2
Öffentliches Informationsrecht Spiecker genannt Döhmann, I. 1
Telekommunikationsrecht Spiecker genannt Döhmann, I. 2
Übungen zu Algorithmen für planare Graphen Wagner, D.; Rutter, I. 2
Moderne Entwicklungsumgebungen am Beispiel
von .NET(MaInf, Dipl.Inf, MaInwi) Tichy, W. F.; Gelhausen, T.; Jannesari
Ladani, A. 2
Robotik 3 (Sensoren in der Robotik)
Performance Engineering of
Kasper, A.; Azad, P.; Dillmann, R. 2
Enterprise Software Systems
Übung zu Spezifikation und
Kounev, S. 2
Verifikation von Software Beckert, B. 1
Algorithmen für Routenplanung Delling, D. 2
Fortgeschrittene Objektorientierung
Echtzeitsysteme im Internet: Grundlagen,
Snelting, G. 3
Eigenschaften zur Automatisierung, Normung
Spezifikation und Verifikation von Software
(Formaler Entwurf und Verifikation
Steusloff, H. 2
von Programmen) Beckert, B. 3
Übungen zu Algorithmen für Routenplanung Wagner, D.; Delling, D. 1
Mobilkommunikation Waldhorst, O.; Furthmüller, J.;
Verteilte Betriebssysteme
Baumung, P. 2
(Distributed Operating Systems) Bellosa, F.; Liefländer, G. 3
Real-Time Scheduling Theory Hamann, C.-J. 2
Steuerrecht II Dietrich, D. 2
Datenbankimplementierung und -Tuning
Mensch-Maschine-Systeme in der
Lockemann, P.; Böhm, K. 3
Automatisierungstechnik und Szenenanalyse Peinsipp-Byma, E.; Sauer, O. 2
Sprachtechnologie und Compiler II
Vertiefung im Privatrecht
Snelting, G. 2
(BGB/HGB/Gesellschaftsrecht)
Vorlesung zum "Praktikum Forschungsprojekt
Sester, P. 2
Intelligente Sensor-Aktor-Systeme" Hanebeck, U. D.; Baum, M.; Beutler, F.;
Bogatyrenko, E.; Hekler, A.; Huber, M.;
Klumpp, V. M.; Krauthausen, P.; Pérez
Arias, A. 2
Übung zu Sprachtechnologie und Compiler II Snelting, G.; Braun, M.; Graf, J. 2
Übung zu Fortgeschrittene Objektorientierung Snelting, G.; Lochbihler, A.; Giffhorn, D 2
Algorithmen für Ad-hoc- und Sensornetze Katz, B. 2
345
4