Alte Module (nicht mehr angeboten)

Alte MSc-Module: Vertiefende theoretische Grundlagen	ECTS
MS0305: Logikprogrammierung	8
MS1002: Verifikation nebenläufiger Programme	8
MS1003: Verteilte Algorithmen	8
MS1401: Graphentheorie	8
MS1402: Kombinatorische Optimierung - Polynomialität und Optimalität	8

Semesterplanung von bis :