Main content

This entry is from Winter semester 2016/17 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)
• 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)
• Image Synthesis (Specialization module, 9 CP, P)
• Implementation of Database Systems (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)
• State Based Systems (Specialization module, 9 CP, T)

Please note:

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

• Winter 2016/17
• 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 (no corresponding element)
• 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.