Main content

This entry is from Winter semester 2021/22 and might be obsolete. No current equivalent could be found.

Computer Science — Specialization module (9 CP)

List of modules on this level:

• Abstract Data Types - Universal Algebra (Specialization module, 9 CP, T)
• Advanced Algorithmics (Specialization module, 9 CP, T)
• Algorithm Engineering (Specialization module, 9 CP, P)
• Compiler Construction (Specialization module, 9 CP, T)
• Computability and Provability (Specialization module, 9 CP, T)
• Databionics (Specialization module, 9 CP, P)
• Formal Methods (Specialization module, 9 CP, T)
• Formal Methods in Software Engineering (Specialization module, 9 CP, T)
• Image Synthesis (Specialization module, 9 CP, P)
• Implementation of Database Systems (Specialization module, 9 CP, P)
• Large Specialization Module Bioinformatics (Specialization module, 9 CP, P)
• Large Specialization Module Databases (Specialization module, 9 CP)
• Large Specialization Module Distributed Systems (Specialization module, 9 CP, P)
• Large Specialization Module Graphics and Multimedia Programming (Specialization module, 9 CP, P)
• Large Specialization Module Programming Languages and Programming Tools (Specialization module, 9 CP, P)
• Large Specialization Module Software Engineering (Specialization module, 9 CP)
• Large Specialization Module Supervised Learning (Specialization module, 9 CP, P)
• Large Specialization Module Theoretical Computer Science (Specialization module, 9 CP, T)
• Large Specialization Module Unsupervised Learning (Specialization module, 9 CP, P)
• Model Checking (Specialization module, 9 CP, T)
• Model-driven Software Development (Specialization module, 9 CP, P)
• Modern Methods of System Development (Specialization module, 9 CP, P)
• Modern Topics in Theoretical Computer Science (Specialization module, 9 CP, T)
• Multimedia Signal Processing (Specialization module, 9 CP, P)
• Parallel Computing (Specialization module, 9 CP)
• Parallel Functional Programming (Specialization module, 9 CP, T)
• Program Verification and Synthesis (Specialization module, 9 CP, T)
• Programming Languages and Types (Specialization module, 9 CP, T)
• Semantics of Programming Languages (Specialization module, 9 CP, T)
• Specialization Module Databionics / Data Science (Specialization module, 9 CP, P)
• State-based Systems (Specialization module, 9 CP, T)
• Theory of Automata and Formal Languages (Specialization module, 9 CP, T)

Please note:

This page applies to the most current examination regulations in Winter semester 2021/22. If you are studying according to an earlier or later examination regulation other provisions may apply:

• Winter 2016/17 (no corresponding element)
• Summer 2018 (no corresponding element)
• Winter 2018/19 (no corresponding element)
• Winter 2019/20 (no corresponding element)
• Winter 2020/21 (no corresponding element)
• Summer 2021 (no corresponding element)
• Winter 2021/22
• Winter 2022/23 (no corresponding element)
• Winter 2023/24 (no corresponding element)

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.