WiSe 22/23: Informatik
Bachelor Informatik (135 LP, Studienordnung 2016)
0086d_k135
-
-
Höhere Algorithmik
0089cA2.1
-
Softwareprojekt - Theoretische Informatik A
0089cA2.10
-
Modelchecking
0089cA2.2
-
Aktuelle Forschungsthemen der Theoretischen Informatik
0089cA2.3
-
Algorithmische Geometrie
0089cA2.4
-
Ausgewählte Themen der Theoretischen Informatik
0089cA2.5
-
Fortgeschrittene Themen der Theoretischen Informatik
0089cA2.6
-
Spezielle Aspekte der Theoretischen Informatik
0089cA2.7
-
Kryptographie und Sicherheit in Verteilten Systemen
0089cA2.8
-
Semantik von Programmiersprachen
0089cA2.9