ID Modultitel LP Sprache Art Semester
#40025 Advanced Algorithmics 9 LP Englisch IV WS
#40319 Algebraic Process Calculi 6 LP Deutsch/Englisch IV SS
#40320 Algorithm Engineering 9 LP Deutsch/Englisch PJ k.A.
#40321 Algorithmic Graph Structure Theory 6 LP Deutsch/Englisch VL SS
#40322 Algorithmic Research in Teams 9 LP Englisch PJ k.A.
#40822 Algorithmische Graphentheorie 6 LP Englisch
#20091 Approximationsalgorithmen (ADM III) 10 LP Deutsch VL WS/SS
#40379 Computational Complexity 9 LP Englisch UE, VL k.A.
#20092 Computational Mixed Integer Programming (ADM III) 10 LP Deutsch UE, VL WS/SS
#40286 Computational Social Choice 6 LP Englisch IV k.A.
#40151 CSL Blockseminar 3 LP Deutsch/Englisch SEM WS/SS
#40394 Current Research in Algorithms and Complexity 3 LP Englisch SEM
#20088 Diskrete Optimierung (ADM II) 10 LP Deutsch UE, TUT, VL SS
#40421 Einführung in die Logik und deskriptive Komplexität 9 LP Deutsch
#40821 Extremale Graphentheorie 6 LP Englisch
#40824 Game Theory 6 LP Deutsch/Englisch
#40416 Introduction into Interactive Theorem Proving 3 LP Deutsch/Englisch IV SS
#40826 Lambda-Kalkül und Typ-Systeme 6 LP Deutsch/Englisch
#40545 Logik, Spiele, Automaten 9 LP Deutsch UE, IV WS/SS
#40546 Logik Synthese für Digitale Systeme 3 LP Deutsch VL WS/SS
#40578 Models and Theory of Distributed Algorithms 6 LP Deutsch/Englisch IV WS
#40627 Parameterized Algorithmics 6 LP Englisch IV k.A.
#40664 Quantitative Verification and Timed Automata 3 LP Englisch SEM WS/SS
#40667 Randomized Algorithms 6 LP Englisch IV k.A.
#40809 Requirements Engineering 6 LP Deutsch VL WS
#40685 Research Colloquium on Algorithms and Complexity 3 LP Englisch SEM WS/SS
#40461 Structural Graph Theory 9 LP Deutsch/Englisch UE, IV
#40766 Writing and Publishing a Scientific Paper 9 LP Deutsch/Englisch PJ WS/SS