Wahlpflichtbereich Theoretische Grundlagen des SSE

NameCourse TypeNameCreditsID
Theory of Distributed and Parallel Systems () VorlesungTheorie Verteilter und Paralleler Systeme0481626
() ÜbungTheorie Verteilter und Paralleler Systeme Übung0481630
Semantik und Verifikation von Software () VorlesungSemantik und Verifikation von Software6481432
() ÜbungSemantik und Verifikation von Software0481431
The Graph Isomorphism Problem () VorlesungThe Graph Isomorphism Problem6481974
() ÜbungThe Graph Isomorphism Problem (Übung)0481975
Quantum Computing () VorlesungQuanten-Computing481713
Fixpoints and Induction in Logic and Computer Science () ÜbungFixpoints and Induction in Logic and Computer Science0474260
() VorlesungFixpoints and Induction in Logic and Computer Science474372