Annual Report 2010 - Fachgruppe Informatik an der RWTH Aachen ...

Massively Distributed Systems 2)
Sichere Verteilte Systeme Wehrle, Sasnauskas, Schmidt Ü (2)
Sichere Verteilte Systeme - Diskussionsstunde Wehrle, Sasnauskas, Schmidt Ü (2)
Sichere Verteilte Systeme Wehrle, Sasnauskas, Schmidt, V (3)
Undergraduate Courses – Winter Term
Softwarepraktikum "Neue Algorithmen in Data-
Mining-Frameworks"
Satisfiability Checking
Seidl P (3)
Abraham, Giesl, Brockschmidt,
Chen, Emmes, Fuhs, Jansen, Loup,
Otto, Ströder,
Erfuellbarkeitsueberpruefung (Satisfiability Checking) Abraham, Loup, Jansen VÜT (V3
Ü1)
Introduction to Scientific Computing Languages Bientinesi VPT
(V3/ÜE1)
Programmierung (Übung - Tutorium)
Bischof, Brockschmidt, Emmes, Ü (2)
Lülfesmann, Willkomm,
Programmierung (Globalübung)
Bischof, Brockschmidt, Emmes, Ü (2)
Lülfesmann, Willkomm
Programmierung
Bischof, Brockschmidt, Emmes, V (4)
Lülfesmann, Willkomm,
iPhone Anwendungsprogrammierung Borchers, Heller, Diehl VÜ (V3Ü2)
Designing Interactive Systems I
Borchers, Herkenrath,
VÜ (V3/Ü2)
Wacharamanotham
Post-Desktop User Interfaces
Borchers, Lichtschlag,
ST (2)
Wittenhagen,
Logikprogrammierung Giesl V (3
(Bachelor &
Master), 4
(Diplom))
Verifikationsverfahren
Giesl, Brockschmidt, Emmes, Fuhs, S (2)
Otto, Ströder,
Logikprogrammierung Giesl, Fuhs, Otto, Ströder Ü (2)
Mathematische Logik II Grädel Ü (2)
Mathematische Logik II Grädel V (4
(Mathematik
), 3
(Informatik))
Seminar: Logik, Komplexität, Spiele Grädel, ST (2)
Numerisches Rechnen Grepl, V (3)
Numerisches Rechnen (Großübung) Grepl, Frings, Berger Ü (2)
Numerisches Rechnen (Kleingruppenübung) Grepl, Frings, Berger Ü (2)
Algorithmen und Datenstrukturen Katoen, Noll, PS (2)
Basic Techniques in Computer Graphics Kobbelt, V (3)
Seminar Current Research Topics in Computer Kobbelt, Habbecke, ST (2)
Graphics, Geometry Processing, and Computer Vision
Softwarepraktikum "Virtual Board Game Design" Kobbelt, Schmitz, PT (4)
Basic Techniques in Computer Graphics
Kobbelt, Schmitz, Möbius, Ü (2)
Zimmer, Campen
Computer Graphics and Computer Vision Kobbelt, Sibbing, Sattler PST (2)
Einführung in die Technische Informatik Kowalewski Franke, Biallas VT (4)
Einführung in die Technische Informatik Kowalewski Franke, Biallas Ü (2)
Design Patterns für Mobile Eingebettete Systeme Kowalewski, Franke, Weise PST
Hardwarenahe Programmierung Kowalewski, Schommer, Diab , P (2)
Introduction to Artificial Intelligence Lakemeyer, Beck, Claßen VÜT
(V3Ü2)
Software-Projektpraktikum Einführungsveranstaltung Lichter V
S (2)
35