![[Translate to English:]](/storages/cs/_processed_/e/1/csm_header_2e1ffc93f5.png "[Translate to English:]")
Archive of suspended modules
Here you can find the extracted modules of the module handbook for the Master's program in Applied Computer Science.
Complete module manual
Parts 1 (compulsory modules), 2 (basic modules) and 3 (in-depth modules)
Mandatory modules
- INF-MSc-105:01: Organisation und Management: Arbeits- und Organisations- psychologie PDF (99 KB)
- INF-MSc-105:02: Organisation und Management: Arbeitswissenschaft PDF (109 KB)
- INF-MSc-105:03: Grundlagen der Arbeits- und Betriebsorganisation (GAB) PDF (83 KB)
- INF-MSc-101: Projektgruppe PDF (104 KB)
- INF-MSc-102: Seminar PDF (105 KB)
- INF-MSc-103: Informatik im Kontext PDF (105 KB)
- INF-MSc-104: Master-Abschluss-Modul PDF (104 KB)
- INF-MSc-105: Organisation und Management: Grundlagen der Arbeits- und Betriebsorganisation (GAB) PDF (87 KB)
- INF-MSc-106: Studium Fundamentale PDF (104 KB)
Basic modules
Research Area: Software, Security and Verification
Research Area: Embedded and Distributed Systems
Research Area: Intelligent Systems
- INF-MSc-231: Praktische Optimierung PDF (107 KB)
- INF-MSc-232: Mustererkennung PDF (98 KB)
- INF-MSc-233: Graphische Datenverarbeitung PDF (100 KB)
- INF-MSc-234: Commonsense Reasoning PDF (105 KB)
- INF-MSc-235: Wissensentdeckung in Datenbanken PDF (108 KB)
- INF-MSc-236: Machine Learning Paradigms for Complex Data PDF (109 KB)
Research Area: Algorithms and Complexity
- INF-MSc-241: Algorithmen und Datenstrukturen PDF (98 KB)
- INF-MSc-242: Komplexitätstheorie PDF (107 KB)
- INF-MSc-243: Effizientes und paralleles wissenschaftliches Rechnen PDF (275 KB)
Advanced modules
Research Area: Software, Security and Verification
- INF-MSc-301: Algebraische Grundlagen der Softwaretechnik PDF (98 KB)
- INF-MSc-302: Ausgewählte Forschungsfragen der Sicherheit PDF (105 KB)
- INF-MSc-303: Baum- und graphbasierte Uebersetzungs- und Analysetechniken PDF (107 KB)
- INF-MSc-304: Funktionales und regelbasiertes Programmieren PDF (109 KB)
- INF-MSc-306: Logisch-algebraischer Systementwurf 1: Spezifikation, Modelle, Strukturierung PDF (112 KB)
- INF-MSc-307: Logisch-algebraischer Systementwurf 2: Test, Verifikation und Transformation PDF (107 KB)
- INF-MSc-308: Modale und temporale Logiken als Modellierungswerkzeuge zur Softwarekonstruktion PDF (97 KB)
- INF-MSc-309: Sicherheit durch Kryptographie PDF (107 KB)
- INF-MSc-310: Software-Architekturen PDF (97 KB)
- INF-MSc-312: Komponenten- und Service-Orientierte Softwarekonstruktion PDF (106 KB)
- INF-MSc-317: Reaktive Sicherheit PDF (98 KB)
- INF-MSc-318: Logisch-algebraischer Systementwurf PDF (102 KB)
- INF-MSc-319: Logische Methoden des Software Engineering PDF (109 KB)
- INF-MSc-321 Markoffsche Transitionssysteme PDF (98 KB)
- INF-MSc-305: Grundlagen des Model Checking PDF (107 KB)
- INF-MSc-311: Einführung in die Dienstleistungsinformatik: Prozessmodellierung PDF (106 KB)
- INF-MSc-313: Aspektorientierte Entwicklung komplexer Systeme PDF (105 KB)
- INF-MSc-314: Konzepte zur Beherrschung von Parallelität PDF (105 KB)
- INF-MSc-315: Monitoring und Evolution komplexer Systeme PDF (106 KB)
- INF-MSc-316: Virtualisierung und Compilation II: Aggressive Model Driven Design PDF (105 KB)
- INF-MSc-320: Modellbasierte Softwaretechniken für sichere Systeme PDF (105 KB)
- INF-MSc-322 Softwarearchitekturen im Finanz- und Versicherungsbereich PDF (105 KB)
- INF-MSc-323 Semantic Services PDF (98 KB)
- INF-MSc-324: Theorie der verteilten Systeme PDF (96 KB)
- INF-MSc-325: Logische Methoden des Software Engineering 1 PDF (111 KB)
- INF-MSc-326: Logische Methoden des Software Engineering 2 (LMSE2) PDF (111 KB)
- INF-MSc-327: Aktuelle Themen im logikbasierten Software Engineering PDF (106 KB)
- INF-MSc-328: Technology-Driven Innovation Development: The IT Perspective PDF (107 KB)
- INF-MSc-329: Type Systems for Correctness and Security (TSCS) PDF (106 KB)
- INF-MSc-330: Ausgewählte Kapitel des Enterprise Computings (AKEC) PDF (107 KB)
- INF-MSc-331: Funktionallogisches Modellieren und Programmieren (FLMP) PDF (110 KB)
- INF-MSc-333: Software Verification (SV) PDF (98 KB)
- INF-MSc-334: Verifikation Neuronaler Netze PDF (102 KB)
- INF-MSc-335: Automatentheorie und ihre Anwendung 1 PDF (97 KB)
- INF-MSc-336: Automatentheorie und ihre Anwendung 2 PDF (96 KB)
- INF-MSc-337: Privacy-Enhancing Technologies PDF (90 KB)
- INF-MSc-338: Software Security PDF (90 KB)
- INF-MSc-339: Web Security PDF (91 KB)
Research Area: Embedded and Distributed Systems
- INF-MSc-405: Synthese Eingebetteter Systeme PDF (106 KB)
- INF-MSc-410: Compiler für Eingebettete Systeme PDF (108 KB)
- INF-MSc-411 Applied Scientific Computing PDF (109 KB)
- INF-MSc-413: Real-Time Systems PDF (99 KB)
- INF-MSc-401: Modellbildung, Simulation und Analyse PDF (99 KB)
- INF-MSc-402: Modellierung verteilter Algorithmen PDF (96 KB)
- INF-MSc-403: Rechnernetzanwendungen PDF (97 KB)
- INF-MSc-404: Sicherheit im Netz PDF (97 KB)
- INF-MSc-406: Verteilte Basisalgorithmen PDF (96 KB)
- INF-MSc-407: Verteilte Programmierung und numerische Algorithmen PDF (98 KB)
- INF-MSc-408: Ausgewählte Forschungsanfragen der Eingebetteten Systemsoftware PDF (98 KB)
- INF-MSc-409: Betriebssystembau PDF (115 KB)
- INF-MSc-412: Data Processing on Modern Hardware PDF (98 KB)
- INF-MSc-414: Real-Time Operating Systems Design and Implementation (RTOS) PDF (106 KB)
- INF-MSc-415: Verlässliche Systemsoftware (VSS) PDF (115 KB)
- INF-MSc-416: Netzwerkalgorithmen (NAlg) PDF (105 KB)
- INF-MSc-417: Konzepte verteilter Systeme und Algorithmen (KVSA) PDF (96 KB)
Research Area: Intelligent Systems
- INF-MSc-508: Spracherkennung (alte Fassung) PDF (103 KB)
- INF-MSc-509: Fortgeschrittene Themen der Wissensrepräsentation PDF (113 KB)
- INF-MSc-511: Wissensentdeckung in Datenbanken PDF (109 KB)
- INF-MSc-514: Computational Omics PDF (110 KB)
- INF-MSc-515: Numerical Optimization PDF (107 KB)
- INF-MSc-516: Probabilistische Graphische Modelle PDF (99 KB)
- INF-MSc-517: Large-Scale Optimization PDF (107 KB)
- INF-MSc-501: Ausgewählte Kapitel der Computational Intelligence PDF (99 KB)
- INF-MSc-502: Computer Vision PDF (100 KB)
- INF-MSc-503: Datenvisualisierung PDF (107 KB)
- INF-MSc-505: Geometrische Modellierung PDF (99 KB)
- INF-MSc-506: Maschinelles Lernen PDF (98 KB)
- INF-MSc-507: Natürlichsprachliche Systeme PDF (102 KB)
- INF-MSc-508: Schrifterkennung PDF (103 KB)
- INF-MSc-510: IT-Management PDF (101 KB)
- INF-MSc-518: Digitalisierung von Fertigungsprozessen PDF (106 KB)
- INF-MSc-519: Learning in Robotics PDF (105 KB)
- INF-MSc-520: Industrial Data Science 1 PDF (101 KB)
- INF-MSc-521: Industrial Data Science 2 PDF (111 KB)
- INF-MSc-522: Computeranimation PDF (100 KB)
- INF-MSc-523: Causality PDF (106 KB)
- INF-MSc-524: Deep Learning PDF (61 KB)
- INF-MSc-525: Reinforcement Learning PDF (62 KB)
- INF-MSC-526: Data Science for Dynamical Systems PDF (186 KB)
- INF-MSc-527: Abstraction in Machine Learning PDF (92 KB)
- INF-MSc-528: Advanced Enterprise Computing (AEC) PDF (99 KB)
Research Area: Algorithms and Complexity
- INF-MSc-606: Algorithmische Bioinformatik PDF (99 KB)
- INF-MSc-614: Algorithmische Spieltheorie PDF (104 KB)
- INF-MSc-601: Algorithm Engineering PDF (104 KB)
- INF-MSc-602: Algorithmische Geometrie PDF (107 KB)
- INF-MSc-603: Ausgewählte Kapitel der Algorithmik PDF (105 KB)
- INF-MSc-604: Ausgewählte Kapitel der Komplexitätstheorie PDF (103 KB)
- INF-MSc-605: Datenbanktheorie PDF (106 KB)
- INF-MSc-607: Evolutionäre Algorithmen PDF (104 KB)
- INF-MSc-608: Graphenalgorithmen PDF (105 KB)
- INF-MSc-609: Logik und Komplexität PDF (105 KB)
- INF-MSc-610: Randomisierte Algorithmen PDF (105 KB)
- INF-MSc-611: Theorie des Logikentwurfs PDF (104 KB)
- INF-MSc-612: Schedulingprobleme – Algorithmen und Anwendungen PDF (101 KB)
- INF-MSc-613: Text-Indexierung und Information Retrieval PDF (106 KB)
- INF-MSc-615: Online Problems PDF (100 KB)
- INF-MSc-616: Kompakte Datenstrukturen PDF (111 KB)
- INF-MSc-617: Quantencomputer (QC) PDF (111 KB)
Without assignment to a research area
- INF-MSc-701: Tutorium (nur für Studiengang Informatik) PDF (106 KB)
- INF-MSc-702: Studienarbeit PDF (104 KB)
Application Subject Modules
Application subject service informatics
Mandatory module
Modular Entrepreneurship Education (MEE) as an alternative to compulsory modules
Elective module Economics
- Modulbeschreibungen PDF (216 KB)
Logistics application subject
Elective modules
Application subject electrical engineering
Basic modules
- Modulbeschreibungen PDF (339 KB)
Elective modules
- Modulbeschreibungen PDF (2 MB)