| | | 120.0 |
Prüfungsfach Computersprachen und Programmierung | | | |
Modul Computersprachen und Programmierung | | | 9.0 |
VU Analyse und Verifikation | | 2.0 | 3.0 |
VO Codegeneratoren | | 2.0 | 3.0 |
VU Dynamic Compilation | | 2.0 | 3.0 |
VU Effiziente Programme | | 2.0 | 3.0 |
VU Fortgeschrittene funktionale Programmierung | | 2.0 | 3.0 |
VU Fortgeschrittene logische Programmierung | | 2.0 | 3.0 |
VU Advanced Object-Oriented Programming | | 2.0 | 3.0 |
VU GPU Architectures and Computing | | 4.0 | 6.0 |
VU High Performance Computing | | 3.0 | 4.5 |
VU Optimierende Übersetzer | | 2.0 | 3.0 |
VU Parallele und Echtzeitprogrammierung | | 4.0 | 6.0 |
VU Programmiersprachen | | 2.0 | 3.0 |
VU Programming Principles of Mobile Robotics | | 2.0 | 3.0 |
VU Programming Principles of Mobile Robotics II | | 2.0 | 3.0 |
VU Programming Principles of Mobile Robotics | | 4.0 | 6.0 |
VU Semantik von Programmiersprachen | | 3.0 | 4.5 |
SE Seminar aus Programmiersprachen | | 2.0 | 3.0 |
SE Seminar aus Übersetzerbau | | 2.0 | 3.0 |
VU Stackbasierte Sprachen | | 2.0 | 3.0 |
VO Typsysteme | | 2.0 | 3.0 |
VU Übersetzer für Parallele Systeme | | 2.0 | 3.0 |
VU Advanced Multiprocessor Programming | | 3.0 | 4.5 |
VU Mobile Robotik | | 3.0 | 4.5 |
VU Probabilistic Programming and AI | | 4.0 | 6.0 |
Modul Projekt aus Software Engineering & Internet Computing | | | 6.0 |
PR Project in Computer Science 1 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
PR Project in Computer Science 2 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
Prüfungsfach Distributed Systems | | | |
Modul Internet Computing and Distributed Systems Technologies | | | 9.0 |
VU Advanced Internet Computing | | 2.0 | 3.0 |
VU Distributed Systems Technologies | | 4.0 | 6.0 |
Modul Distributed Systems and Networking | | | 9.0 |
VU Advanced Distributed Systems | | 4.0 | 6.0 |
VU Computer Networks | | 3.0 | 4.0 |
VU Distributed Systems Engineering | | 2.0 | 3.0 |
VU Hands-On Cloud Native | | 4.0 | 6.0 |
VU Hybrid Classic-Quantum Systems | | 3.0 | 4.5 |
VU Large-scale Distributed Computing | | 4.0 | 6.0 |
VU Mobile Network Services and Applications | | 2.0 | 3.0 |
VO Network Engineering | | 2.0 | 2.0 |
UE Network Engineering | | 1.0 | 2.0 |
VU Peer-to-Peer Systems | | 2.0 | 3.0 |
VO Pervasive and Mobile Computing | | 2.0 | 2.0 |
VU Software Architecture | | 2.0 | 3.0 |
SE Seminar in Distributed Systems | | 2.0 | 3.0 |
VU Serverless Computing | | 2.0 | 3.0 |
VU Service Level Agreements | | 2.0 | 3.0 |
VU Software in Communication Networks | | | 3.0 |
VU Verteiltes Programmieren mit Space Based Computing Middleware | | 4.0 | 6.0 |
VU Web Application Engineering and Content Management | | 2.0 | 3.0 |
VU Wireless in Automation | | 3.0 | 3.0 |
Modul Projekt aus Software Engineering & Internet Computing | | | 6.0 |
PR Project in Computer Science 1 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
PR Project in Computer Science 2 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
Prüfungsfach Formale Methoden | | | |
Modul Formal Methods in Computer Science |  | | 6.0 |
VU Formal Methods in Computer Science | | 4.0 | 6.0 |
UE Formal Methods in Computer Science | | 2.0 | 3.0 |
Modul Algorithmik | | | 9.0 |
VU Advanced Algorithms | | 4.0 | 6.0 |
VU Algorithmic Geometry | | 3.0 | 4.5 |
UE Algorithmic Geometry | | 1.0 | 1.5 |
VU Algorithmics | | 4.0 | 6.0 |
VU Algorithms Design | | 2.0 | 3.0 |
VU Algorithms in Graph Theory | | 3.0 | 4.5 |
VO Analysis of Algorithms | | 3.0 | 5.0 |
UE Analysis of Algorithms | | 2.0 | 4.0 |
VU Approximation Algorithms | | 2.0 | 3.0 |
VU Dependable Distributed Systems | | 3.0 | 4.5 |
VU Discrete Reasoning Methods | | 2.0 | 3.0 |
VU Distributed Algorithms | | 4.0 | 6.0 |
VU Efficient Algorithms | | 2.0 | 3.0 |
VU Fixed-Parameter Algorithms and Complexity | | 3.0 | 4.5 |
VU Graph Drawing Algorithms | | 3.0 | 4.5 |
VU Heuristic Optimization Techniques | | 3.0 | 4.5 |
VO Inductive Rule Learning | | 2.0 | 3.0 |
VU Machine Learning | | 3.0 | 4.5 |
VU Mathematical Programming | | 2.0 | 3.0 |
VU Modeling and Solving Constrained Optimization Problems | | 2.0 | 3.0 |
VU Networks: Design and Analysis | | 2.0 | 3.0 |
VU Optimization in Transport and Logistics | | 2.0 | 3.0 |
VU Parallel Algorithms | | 2.0 | 3.0 |
VU Problem Solving and Search in Artificial Intelligence | | 2.0 | 3.0 |
VU Problems in Distributed Computing | | 3.0 | 4.5 |
VU Real-Time Scheduling | | 2.0 | 3.0 |
VU Rigorous Systems Engineering | | 2.0 | 3.0 |
VU Security, Privacy and Explainability in Machine Learning | | 2.0 | 3.0 |
VU Structural Decompositions and Algorithms | | 2.0 | 3.0 |
VU Algorithmic Meta-Theorems Algorithmische Meta-Theoreme | | 2.0 | 3.0 |
SE Seminar in Algorithms | | 2.0 | 3.0 |
VU Theoretical Foundations and Research Topics in Machine Learning | | 2.0 | 3.0 |
VU Algorithmic Social Choice | | 4.0 | 6.0 |
VU Randomized Algorithms | | 2.0 | 3.0 |
VU Deep Learning for Natural Language Processing | | 4.0 | 6.0 |
Modul Formale Methoden und Theoretische Informatik | | | 9.0 |
VU Automated Reasoning and Program Verification | | 3.0 | 4.5 |
VU Automated Deduction | | 4.0 | 6.0 |
VU Advanced Topics in Formal Language Theory | | 2.0 | 3.0 |
VU Advanced Topics in Theoretical Computer Science | | 2.0 | 3.0 |
VU Computer-Aided Verification | | 2.0 | 3.0 |
UE Computer-Aided Verification | | 2.0 | 3.0 |
VU Coalgebra in Computer Science | | 2.0 | 3.0 |
VU Computational Equational Logic | | 2.0 | 3.0 |
VU Computability Theory | | 2.0 | 3.0 |
VU Complexity Theory | | 2.0 | 3.0 |
VU Deductive Verification of Software | | 4.0 | 6.0 |
VU Foundations of Information Integration | | 2.0 | 3.0 |
VU Formal Language Theory | | 2.0 | 3.0 |
VU Formal Methods for Concurrent and Distributed Systems | | 2.0 | 3.0 |
UE Formale Methoden der Informatik | | 2.0 | 3.0 |
VU Introduction to Type Theories | | 2.0 | 3.0 |
VU Membrane Computing | | 2.0 | 3.0 |
VU Molecular Computing | | 2.0 | 3.0 |
VU Preferences in Artificial Intelligence | | 2.0 | 3.0 |
VU Programmanalyse | | 2.0 | 3.0 |
VU Quantum Computing | | 2.0 | 3.0 |
VU Rigorous Systems Engineering | | 2.0 | 3.0 |
VU SAT Solving and Extensions | | 2.0 | 3.0 |
SE Seminar in Formal Methods | | 2.0 | 3.0 |
SE Seminar in Logic | | 2.0 | 3.0 |
SE Seminar in Theoretical Computer Science | | 2.0 | 3.0 |
VU Software Model Checking | | 4.0 | 6.0 |
VU Term Rewriting | | 2.0 | 3.0 |
VU Unification Theory | | 2.0 | 3.0 |
VU Practical Applications of Answer Set Programming | | 2.0 | 3.0 |
Modul Projekt aus Software Engineering & Internet Computing | | | 6.0 |
PR Project in Computer Science 1 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
PR Project in Computer Science 2 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
Prüfungsfach Information Systems | | | |
Modul Advanced Security | | | 9.0 |
VU Advanced Cryptography | | 4.0 | 6.0 |
VU Advanced Security for Systems Engineering | | 2.0 | 3.0 |
VU Cryptocurrencies | | 4.0 | 6.0 |
VO Data Stewardship | | 2.0 | 3.0 |
UE Data Stewardship | | 2.0 | 3.0 |
VU Digital Forensics | | 2.0 | 3.0 |
VU Formal Methods for Security and Privacy | | 4.0 | 6.0 |
VU IT Security in Large IT Infrastructures | | 2.0 | 3.0 |
VU Kryptographie | | 2.0 | 3.0 |
VU Network Security | | 2.0 | 3.0 |
VU Network Security - Advanced Topics | | 2.0 | 3.0 |
SE Seminar aus Security | | 2.0 | 3.0 |
| | 2.0 | 3.0 |
VU Smart Contracts | | 4.0 | 6.0 |
VU Systems and Applications Security | | 4.0 | 6.0 |
VU Crypto Asset Analytics | | 2.0 | 3.0 |
Modul Informationssysteme | | | 9.0 |
VU Advanced Information Retrieval | | 2.0 | 3.0 |
VU Applied Web Data Extraction and Integration | | 2.0 | 3.0 |
VU Business Intelligence | | 4.0 | 6.0 |
VU Datenbanktheorie | | 2.0 | 3.0 |
VU Datenbanksysteme Vertiefung | | 4.0 | 6.0 |
VO Deduktive Datenbanken | | 2.0 | 3.0 |
VU e-Business Modeling | | 4.0 | 6.0 |
VU Einführung in Semantic Systems | | 2.0 | 3.0 |
VU GIS Theorie I | | 4.0 | 6.0 |
VO GIS Theorie II | | 1.0 | 1.5 |
VU Grundlagen des Information Retrieval | | 2.0 | 3.0 |
VU Information Design | | 3.0 | 4.5 |
VO Knowledge Management | | 2.0 | 3.0 |
UE Knowledge Management | | 2.0 | 3.0 |
VU Media and Brain 1 | | 2.0 | 3.0 |
VU Media and Brain 2 | | 2.0 | 3.0 |
VU Selbstorganisierende Systeme | | 3.0 | 4.5 |
VU Semi-Automatic Information and Knowledge Systems | | 2.0 | 3.0 |
SE Seminar aus Datenbanken | | 2.0 | 3.0 |
VU Similarity Modeling 1 | | 2.0 | 3.0 |
VU Similarity Modeling 2 | | 2.0 | 3.0 |
VU Web Data Extracion and Integration | | 2.0 | 3.0 |
VU Einführung in Semantic Systems | | 2.0 | 3.0 |
VU Workflow Modeling and Process Management | | 2.0 | 3.0 |
VU Knowledge Graphs | | 2.0 | 3.0 |
Modul Projekt aus Software Engineering & Internet Computing | | | 6.0 |
PR Project in Computer Science 1 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
PR Project in Computer Science 2 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
Prüfungsfach Software Engineering | | | |
Modul Advanced Software Engineering | | | 9.0 |
VU Advanced Software Engineering | | 2.0 | 3.0 |
PR Advanced Software Engineering | | 4.0 | 6.0 |
Modul Software Engineering | | | 9.0 |
VU Advanced Project Management | | 2.0 | 3.0 |
VU Advanced Model Engineering | | 2.0 | 3.0 |
SE Advanced Model Engineering | | 2.0 | 3.0 |
VU Management von Software Projekten | | 2.0 | 3.0 |
VU Methods of Empirical Software Engineering | | 2.0 | 3.0 |
VU Model Engineering | | 4.0 | 6.0 |
VU Requirements Engineering and Specification | | 2.0 | 3.0 |
VU Risk Management | | 2.0 | 3.0 |
SE Seminar in Software Engineering | | 2.0 | 3.0 |
VU Software Maintenance and Evolution | | 2.0 | 3.0 |
VU Software Quality Management | | 2.0 | 3.0 |
VU Software Testing | | 2.0 | 3.0 |
VU Value-Based Software Engineering | | 2.0 | 3.0 |
VU Configuration Management | | 2.0 | 3.0 |
VU Digitale Nachhaltigkeit | | 2.0 | 3.0 |
Modul Projekt aus Software Engineering & Internet Computing | | | 6.0 |
PR Project in Computer Science 1 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
PR Project in Computer Science 2 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
Prüfungsfach Wirtschaft und Management | | | 9.0 |
Modul Wirtschaft und Management | | | 9.0 |
VO Grundlagen der Makroökonomie |  | 2.0 | 3.0 |
| | 2.0 | 3.0 |
VU IT-based Management | | 2.0 | 3.0 |
VU Project and Enterprise Financing | | 2.0 | 3.0 |
VU Enterprise Resource Planning and Control | | 2.0 | 3.0 |
VU Enterprise Risk Management - Basics | | 2.0 | 3.0 |
VU Financial Management and Reporting | | 2.0 | 3.0 |
VU Risk Model Management | | 2.0 | 3.0 |
Prüfungsfach Freie Wahlfächer und Transferable Skills | | | 9.0 |
Modul Freie Wahlfächer und Transferable Skills | | | |
SE Coaching als Führungsinstrument 1 | | 2.0 | 3.0 |
SE Coaching als Führungsinstrument 2 | | 2.0 | 3.0 |
SE Didaktik in der Informatik | | 2.0 | 3.0 |
VO EDV-Vertragsrecht | | 1.0 | 1.5 |
VO Einführung in die Wissenschaftstheorie I | | 2.0 | 3.0 |
VO Einführung in Technik und Gesellschaft | | 2.0 | 3.0 |
SE Folgenabschätzung von Informationstechnologien | | 2.0 | 3.0 |
VU Forschungsmethoden | | 2.0 | 3.0 |
VO Frauen in Naturwissenschaft und Technik | | 2.0 | 3.0 |
SE Gruppendynamik | | 3.0 | 3.0 |
PR IT-Projekte für Jugendliche | | | 3.0 |
UE IT Projekte für Jugendliche | | | 1.5 |
VU Kommunikation und Moderation | | 2.0 | 3.0 |
SE Kommunikation und Rhetorik | | 2.0 | 3.0 |
SE Kommunikation und Rhetorik 2 | | 2.0 | 3.0 |
SE Kommunikationstechnik | | 1.0 | 1.5 |
VU Kooperatives Arbeiten | | 2.0 | 3.0 |
VU Präsentation und Moderation | | 2.0 | 3.0 |
VO Präsentation, Moderation und Mediation | | 1.0 | 1.5 |
UE Präsentation, Moderation und Mediation | | 2.0 | 2.0 |
VU Präsentations- und Verhandlungstechnik | | 2.0 | 3.0 |
SE Privatissimum aus Fachdidaktik Informatik | | 4.0 | 4.0 |
VU Rhetorik, Körpersprache, Argumentationstraining | | 2.0 | 3.0 |
SE Scientific Presentation and Communication | | 2.0 | 3.0 |
VU Softskills für TechnikerInnen | | 2.0 | 3.0 |
VU Techniksoziologie und Technikpsychologie | | 2.0 | 3.0 |
VO Theorie und Praxis der Gruppenarbeit | | 2.0 | 3.0 |
SE VWA Mentoring I | | 2.0 | 2.0 |
SE VWA Mentoring II | | 2.0 | 2.0 |
VO Zwischen Karriere und Barriere | | 2.0 | 3.0 |
| | | |
| | | |
Prüfungsfach Diplomarbeit | | | 30.0 |
SE Seminar für Diplomand_innen | | 1.0 | 1.5 |
Modul Kommissionelle Abschlussprüfung | | | 1.5 |
Modul Diplomarbeit | | | 27.0 |
