Module aus dem Bereich Theoretische Informatik

NameCourse TypeNameCreditsID
Infinite Computations and Games () VorlesungInfinite Computations and Games6511721
() ÜbungInfinite Computations and Games0511488
Model Checking () VorlesungIntroduction to Model Checking6521373
() ÜbungIntroduction to Model Checking0521372
Algorithmische Spieltheorie () VorlesungAlgorithmische Spieltheorie6522520
Graphzerlegungen und algorithmische Anwendungen () VorlesungGraph Decompositions and Algorithmic Applications6521729
() ÜbungGraph Decompositions and Algorithmic Applications (Übung)0521730
Semantik und Verifikation von Software () VorlesungSemantik und Verifikation von Software6521377
() ÜbungSemantik und Verifikation von Software0521376
Erfüllbarkeitsüberprüfung () Vorlesung/ÜbungErfüllbarkeitsüberprüfung511645
Stochastic Games () VorlesungStochastic Games521486
() ÜbungStochastic Games0521487
Dynamical Processes on Networks () ÜbungDynamical Processes On Networks (Übungen)0521080
() VorlesungDynamical Processes on Networks521079
Post-quantum cryptography () Vorlesung/ÜbungPost-quantum cryptography513330
Kombinatorische Optimierung in der wissenschaftlichen Praxis () ProjektKombinatorische Optimierung in der wissenschaftlichen Praxis0514190