Lehre

Abschlussarbeiten

Für Studenten in einem fortgeschrittenen Stadium des Studiums bieten wir Themen für Abschlussarbeiten an.

Aktuelles

09.03.2015

Klausurergebnisse "Modellierung, Analyse, Verifikation" WS 2014/15

Die Ergebnisse der Klausur "Modellierung, Analyse, Verifikation" sind online und können hier eingesehen werden. Die Klausureinsicht findet am 19. März um 16 Uhr in Raum LF 226 statt.[mehr]

Kategorie: Modellierung, Analyse, Verifikation, Lehre, Allgemein

09.03.2015

AfS Klausurergebnisse WS 2014/15

Die Ergebnisse der Klausur "Automaten und formale Sprachen" sind online und können hier eingesehen werden. Die Klausureinsicht findet am 19. März um 16 Uhr in Raum LF 226 statt. The results of the exam "Automaten...[mehr]

Kategorie: Allgemein, Automaten und formale Sprachen, Lehre

Druckversion
© Universität Duisburg-Essen, Lehrstuhl Theoretische Informatik Login