Main content
Computer Sciences (English translation) — Advanced module (9 CP)
List of modules with the chosen level and credit points:
- Abstract Data Types - Universal Algebra (9 LP, T)
- Advanced Algorithmics (9 LP, T)
- Algorithm Engineering (9 LP, P)
- Compiler Construction (9 LP, T)
- Computability and Provability (9 LP, T)
- Databionics (9 LP, P)
- Formal Methods (9 LP, T)
- Formal Methods in Software Engineering (9 LP, T)
- Image Synthesis (9 LP, P)
- Implementation of Database Systems (9 LP, P)
- Large Specialization Module Bioinformatics (9 LP, P)
- Large Specialization Module Databases (9 LP)
- Large Specialization Module Distributed Systems (9 LP, P)
- Large Specialization Module Graphics and Multimedia Programming (9 LP, P)
- Large Specialization Module Programming Languages and Programming Tools (9 LP, P)
- Large Specialization Module Software Engineering (9 LP)
- Large Specialization Module Supervised Learning (9 LP, P)
- Large Specialization Module Theoretical Computer Science (9 LP, T)
- Large Specialization Module Unsupervised Learning (9 LP, P)
- Model Checking (9 LP, T)
- Model-driven Software Development (9 LP, P)
- Modern Methods of System Development (9 LP, P)
- Modern Topics in Theoretical Computer Science (9 LP, T)
- Multimedia Signal Processing (9 LP, P)
- Parallel Computing (9 LP)
- Parallel Functional Programming (9 LP, T)
- Program Verification and Synthesis (9 LP, T)
- Programming Languages and Types (9 LP, T)
- Semantics of Programming Languages (9 LP, T)
- Specialization Module Databionics / Data Science (9 LP, P)
- State-based Systems (9 LP, T)
- Theory of Automata and Formal Languages (9 LP, T)
Please note:
This page applies to the most current examination regulations in Sommersemester 2021. If you are studying according to an earlier or later examination regulation other provisions may apply:
- WiSe 2016/17 (no corresponding element)
- SoSe 2018 (no corresponding element)
- WiSe 2018/19
- WiSe 2019/20
- WiSe 2020/21
- SoSe 2021
- WiSe 2021/22
- WiSe 2022/23
The information in this online module guide was created automatically. Legally binding is only the information in the examination regulations (Prüfungsordnung). If you notice any discrepancies or errors, we would be grateful for any advice.