066 937 Master programme Software Engineering & Internet Computing

  • Show all courses of the academic year of which the selected semester is part of.

2024W-2025S (2011U)

1. Semester

TitlePrecon.HoursECTS
VU Advanced Internet Computing
2.03.0
VU Formal Methods in Computer Science
4.06.0
UE Formal Methods in Computer Science
2.03.0
VU Advanced Software Engineering
2.03.0
PR Advanced Software Engineering
4.06.0

2. Semester

TitlePrecon.HoursECTS
VU Distributed Systems Technologies
4.06.0

Without semester recommendation

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

Legend

Courses belong to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
Courses belong to the introductory interview ("Studieneingangsgespräch")
Courses require the completion of the introductory and orientation phase
Courses require the completion of the introductory interview STEG