50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Summer semester 2005



Course Type Lecturers Quick Links
Algorithmische Komplexität Seminar Reischuk
Computer Algebra Vorlesung Reischuk
Einführung in die Informatik IV Vorlesung Reischuk
Information Hiding Seminar Liskiewicz, Wölfel
Kryptologie Vorlesung Jakoby
Logik, Semantik und Wissensrepräsentation Vorlesung Völzer
Oberseminar Theoretische Informatik Seminar Reischuk
Parallele und Verteilte Systeme Vorlesung Liskiewicz, Jakoby
Parallelverarbeitung Vorlesung Liskiewicz
Programming Challenges Praktikum Liskiewicz, Manthey
Effiziente Algorithmen Proseminar Reischuk, Hinkelmann
Programs and Proofs: Introduction to Program Verification Proseminar Völzer