SoSe 2003 und älter
- Informatik II (Wirsing)
- Theoretische Informatik (Lehramt) (Kröger)
- Formale Objektorientierte Software-Entwicklung (Hennicker)
- Einführung in die Informatik: Systeme und Anwendungen (Nebenfach Informatik) (Hennicker)
- Multi-Agenten-Systeme (Müller)
- Informatik I (Kröger)
- Grundlagen der Systementwicklung (Wirsing)
- Objektorientierte Software-Entwickling (Hennicker)
- Software-Architektur (Störrle)
- Einführung in die Informatik: Systeme und Anwendungen (Nebenfach Informatik) (Kröger)
- Formale Objektorientierte Software-Entwicklung (Hennicker)
- Temporale Logik und Zustandssysteme (Kröger)
- Constraint-Programmierung (Frühwirth, Abdennadher)
- Objektorientierte Analyse in kommerziellen Projekten (Wehler)
- Software Agenten (Bauer)
- Einführung in die Informatik: Systeme und Anwendungen (Backofen / Hennicker, fachübergreifend)
- Informatik II (Wirsing)
- Informatik IV (Kröger)
- Constraintprogrammierung: Theorie und Anwendung (Frühwirth / Abdenadher)
- Web-Engineering und Software-Entwicklung verteilter Systeme (Haggenmüller / Hennicker)
- Einführung in die Informatik: Programmierung und Software-Entwicklung (Wirsing)
- Grundlagen der Programmierung: Semantik und Verifikation (Wirsing)
- Temporale Logik (Kröger)
- Zeitliches und Räumliches Schließen (Frühwirth)
- Objektorientierte Software-Entwicklung (Hennicker)
- Hauptseminar Kategorielle Logik und Semantik von Programmiersprachen (Wirsing, Kurz, Pattinson)
- Einführung in die Informatik: Programmierung und Software-Entwicklung (Hennicker)
- Einführung in die Informatik IV (Kröger)
- Methoden der Software-Entwicklung: Web-Engineering und Verteilte Systeme (Wirsing, Haggenmüller)
- Formale objektorientierte Softwareentwicklung (Wirsing)
- Parallele Programme (Kröger/Reiser/Gruschke)
- Constraint-Programmierung (Clote, Wirsing, Frühwirth, Backofen)
- Informatik-Proseminar "Prinzipien der objekt-orientierten Programmierung am Beispiel Java" (Wirsing/Reus)
- Informatik-Hauptseminar "Ist Java sicher?" (Wirsing/Reus)
- Einführung in die Informatik: Programmierung und Software-Entwicklung
- Grundlagen der Programmierung: Spezifikation und Transformation
- Petri-Netze: Skript (Word-Dokument)
- Temporale Logik
- Programmierpraktikum
- Software-Entwicklungs-Praktikum
- Informatik-Hauptseminar "Kryptographische Verfahren und Protokolle"