Übersicht der Lehrveranstaltungen

Weitere Informationen

• Grundlegende Informationen
• Aktuelle und abgeschlossene Diplomarbeiten

Übersicht

• Basisveranstaltung Programmiersprachen und Systeme
• Fortgeschrittene Techniken funktionaler Programmierung
• Einführung in die Constraint-Programmierung
• Übersetzerbauprojekte
• Dokumentverarbeitung
• Nebenläufige Programmierung in Erlang
• Seminare
• Forschungskolloquium

Lehrveranstaltungen im SS 08

Zur Semesterseite

• Vertiefungs-VL: Fortgeschrittene Techniken funktionaler Programmierung
• Vertiefungs-VL: Einführung in die Constraint-Programmierung
• Projekt: Compilerbau 2
• Seminar: Automatisiertes Planen
• Forschungskolloquium ÜBB

Lehrveranstaltungen im WS 07/08

Zur Semesterseite

• VL: Methodische und praktische Grundlagen der Informatik 4
• Basis-VL: Basislehrveranstaltung: Programmiersprachen- und systeme (PSS)
• Seminar: Automatisiertes Planen
• Forschungskolloquium ÜBB

Lehrveranstaltungen im SS 07

Zur Semesterseite

• VL: Methodische und praktische Grundlagen der Informatik 2
• Vertiefungs-VL: Fortgeschrittene Techniken funktionaler Programmierung
• Seminar: Compilerbau und Programmiersprachen
• Projekt: Compilerbau und Programmiersprachen
• Forschungskolloquium ÜBB

Lehrveranstaltungen im WS 06/07

Zur Semesterseite

• Basis-VL: Basislehrveranstaltung: Programmiersprachen- und systeme (PSS)
• Projekt: Integrierte Programmiersysteme
• Seminar: Mensch-Maschine-Interaktion
• Forschungskolloquium ÜBB

Lehrveranstaltungen im SS 06

Zur Semesterseite

• VL: Informatik II für E-Techniker
• Vertiefungs-VL: Fortgeschrittene Techniken funktionaler Programmierung
• Seminar: Autonomic Computing
• Projekt: Constraint Programmierung
• Forschungskolloquium ÜBB

Lehrveranstaltungen im WS  05/06

Zur Semesterseite

• VL: Informatik I für E-Techniker
• Basis-VL: Basislehrveranstaltung: Programmiersprachen- und systeme (PSS)
• Vertiefungs-VL: Fortgeschrittene Techniken funktionaler Programmierung
• Seminar: Compilerbau-Seminar Typsysteme
• Forschungskolloquium ÜBB

Lehrveranstaltungen im SS 05

Zur Semesterseite

• VL: Informatik II für E-Techniker
• Basis-VL: Basislehrveranstaltung: Programmiersprachen- und systeme (PSS)
• Vertiefungs-VL: Einführung in die Constraint-Programmierung

Lehrveranstaltungen im WS 04/05

Zur Semesterseite

• VL: Informatik I für E-Techniker
• Basis-VL: Programmiersprachen- und systeme
• Seminar: Compilerbau-Seminar
• Vertiefungs-VL: Einführung in die Constraint-Programmierung
• Forschungskolloquium ÜBB

Lehrveranstaltungen im SS 04

Zur Semesterseite

• VL: Informatik II für E-Techniker
• Projekt: Nebenläufige Programmierung in Erlang
• Vertiefungs-VL: Fortgeschrittene Techniken funktionaler Programmierung
• Vertiefungs-VL: Einführung in die Constraint-Programmierung
• Forschungskolloquium ÜBB

Lehrveranstaltungen im WS 03/04

Zur Semesterseite

• VL: Informatik I für E-Techniker
• Basis-VL: Programmiersprachen- und systeme
• Projekt: Compiler-Systeme für große Software-Projekte
• Forschungskolloquium ÜBB

Lehrveranstaltungen im SS 03

Zur Semesterseite

• VL: Informatik II für E-Techniker
• Vertiefungs-VL: Fortgeschrittene Techniken funktionaler Programmierung
• Seminar: Multiparadigmen-Programmiersprachen
• Vertiefungs-VL: Einführung in die Constraint-Programmierung
• Seminar: Modellierungskonzepte für das Sicherheitsmanagement komplexer soziotechnischer Systeme
• Forschungskolloquium ÜBB

Lehrveranstaltungen im WS 02/03

Zur Semesterseite

• VL: Informatik I für E-Techniker
• Basis-VL: Programmiersprachen und -systeme
• Projekt: Nebenläufige Programmierung in Erlang
• Seminar: Modellierungskonzepte für das Sicherheitsmanagement komplexer soziotechnischer Systeme
• Seminar: Räumliche und zeitliche Inferenz
• Forschungskolloquium ÜBB

Lehrveranstaltungen im SS 02

Zur Semesterseite

• VL: Informatik II für E-Techniker
• Vertiefungs-VL: Fortgeschrittene Techniken funktionaler Programmierung
• Seminar: Compiler zum Komponieren
• Seminar: Kooperation und Sicherheit in komplexen soziotechnischen Systemen
• Vertiefungs-VL: Constraint Programming
• Forschungskolloquium ÜBB

Lehrveranstaltungen im WS 01/02

Zur Semesterseite

• VL: Informatik I für E-Techniker
• Basis-VL: Programmiersprachen und -systeme
• Projekt: Übersetzerbau und Dokumentverarbeitung
• Seminar: Compilerbau
• Forschungskolloquium ÜBB

Lehrveranstaltungen im SS 01

Zur Semesterseite

• Projekt: Nebenläufige Programmierung in Erlang
• Seminar: Softwarearchitektur und -modellierung. Konzepte und Methoden
• Forschungskolloquium ÜBB

Lehrveranstaltungen im WS 2000/01

Zur Semesterseite

• VL: Informatik I für E-Techniker
• Basis-VL: Programmiersprachen und -systeme
• Projekt: Projekt Methoden und Konzepte der Dokumentverarbeitung II
• Seminar: Aspekte funktionaler Sprachen
• Seminar: Künstliche Intelligenz und Software-Engeneering
• Forschungskolloquium ÜBB

Lehrveranstaltungen vor Wintersemester 2000

Lehrinformationen vorhergehender Semester