Sie befinden sich hier: Termine » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8   (Übersicht)

Lehrstuhl 8

Bitte schreibt selbst auch ein Prüfungsprotokoll!

Prüfungsprotokolle

Semantik von Programmiersprachen (SemProg)

Algebra des Progammierens (AlgProg)

Formale Methoden der Softwareentwicklung (FMSoft)

Ontologien im Semantic Web

Kommunikation und Parallele Prozesse

Diverses

Altes Zeug

Weitere Materialien

Die beiden Zusammenfassungen sind stellenweise relativ knapp und vielleicht auch unvollständig. Falls das jemand ändern mag: die XeTeX-Quellen sind dabei.
Wenn es damit Probleme geben sollte: immoartl