Wahlpflichtbereich Theoretische Grundlagen des SSE

NameCourse TypeNameCreditsID
Infinite Computations and Games () VorlesungInfinite Computations and Games6511721
() ÜbungInfinite Computations and Games0511488
Algorithmische Spieltheorie () VorlesungAlgorithmische Spieltheorie6522520
Semantik und Verifikation von Software () VorlesungSemantik und Verifikation von Software6521377
() ÜbungSemantik und Verifikation von Software0521376
Graphzerlegungen und algorithmische Anwendungen () VorlesungGraph Decompositions and Algorithmic Applications6521729
() ÜbungGraph Decompositions and Algorithmic Applications (Übung)0521730
Stochastic Games () VorlesungStochastic Games521486
() ÜbungStochastic Games0521487
Introduction to Algorithmic Differentiation () Vorlesung/ÜbungEinführung in Algorithmisches Differenzieren6510858
Post-quantum cryptography () Vorlesung/ÜbungPost-quantum cryptography513330