Courses



Five elective modules out of the Modules 1 to 20 amounting to a total of 50 ECTS-Credits have to be selected.
Elective Modules (50 ECTS-Credits)
Go to the superordinate section
Elective Module 3: Data Warehouse Systems (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module possess a wide understanding for the problems, concepts and techniques of data warehouse systems, the implementation thereof in modern database systems and their application and importance in the economy. Specifically they will possess the skills to technically solve the most important problems and to autonomously elaborate more specialised content.
Elective Module 5: Decision Procedures (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module know decision procedures for propositional logic and for restrictions of predicate logic. They can implement these decision procedures and formulate specifications in these logics and verify them using tools.
Elective Module 6: Vehicular Networks (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module understand the most important concepts of intra-vehicle and inter-vehicle communication, which is characterized by high dynamics and heterogeneity of the used protocols. They are able to use measures like performance and reliability. They understand wireless communication between vehicles with a focus on its distributed nature, scalability and security (incl. privacy).
Elective Module 7: Advanced Compiler Construction (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module can specify and explain complex program analysis and optimisation techniques of compilers and implement optimisation strategies.
Elective Modules 8: Advanced Communication Systems (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module understand the most important concepts of advanced communication systems. Besides understanding the basics of modern circuitand packet switching networks, they also understand quality of service mechanisms which form the basis for multimedia transmission. They understand the characteristics of wireless and mobile networks.
Elective Module 10: Advanced Distributed and Parallel Systems (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module are able to describe and classify more complex distributed and parallel computer architectures (e.g. Cloud architectures). They understand techniques for resource management, scheduling and workload distribution. Performance analysis and optimisation of distributed and parallel applications can be carried out.
Elective Module 11: Information Retrieval (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module understand the concepts, techniques and algorithms of information retrieval in modern information systems. They possess detailed knowledge of the mode of operation of current web search engines and multimedia retrieval systems, especially their algorithms for retrieving, processing and evaluation of data. Furthermore they possess the skills to apply this knowledge in a practical manner and to autonomously further expand their knowledge in the area of information retrieval.
Elective Module 12: Information Security (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module understand concepts and methods of information security and can apply them. The can use the acquired techniques for protection of IT systems in regards to confidentiality, integrity and availability of data and services. They have acquired the ability to autonomously analyse problems and creatively solve problems.
Elective Module 13: Interactive Theorem Proving (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module are familiar with the verification of specifications. They know first- and higher-order logics and can carry out structured proofs in those logics and verify them in interactive theorem provers.
Elective Module 14: Machine Learning (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module possess in-depth knowledge and competencies regarding modern methods of machine learning and probabilistic modelling. They possess the skills to apply them to complex problems of machine learning and to further expand their knowledge to similar and more complex problems in an autonomous fashion.
Elective Module 15: Network Security (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module understand the most important concepts of network security, the practical relevance and concept of cryptographic techniques and their application. They are able to apply security protocols and to integrate methods of network security into protocol stacks. They have acquired competencies in the area of attack identification in high-speed networks.
Elective Moduel 19: Semantic Web Services (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module understand the fundamental concepts and technologies in conjunction with semantic web services. They are familiar with frameworks for representation, relaying and execution of semantic web services and possess an overview of application with build on them.
Elective Module 20: Web Engineering (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module possess an in-depth understanding of the specific requirements of web applications. They master relevant technologies and languages (XHTML, JavaScript, CSS, Java) as well as methods for the development of web applications, especially requirement analysis, test procedures and project management.

Notes:
  • There may still be changes in the courses offered as well as room allocation and course dates.
  • The course descriptions found in the English version of the course catalogue are for informational purposes only. Authoritative information can be found in the "Vorlesungsverzeichnis" (German version of the course catalogue).