List of Courses in alphabetic order (grouped by year)
1st year
Advanced Topics on Software Engineering - Software testing
Alignment of Business and IT
Business Process Management and Flexibility
Complex System Design
Distributed Calculus and Coordination
Distributed Systems
Embedded Systems: Architecture
Formal Languages and Compilers
Financial Management and Strategy
Formal Modeling of Software Intensive Systems
IT Security
Internetworking Ubiquitous Systems
Knowledge Engineering and Business Intelligence
Knowledge Management and Competence Development
Network Discovery (CISCO III-IV)
Networking Fundamentals (CISCO I-II)
Queuing Network: Modeling
Queuing Network: Simulation
Reactive Systems Verification
Theory of Complexity
2nd year
Business Process Digitalization and Cloud Computing
Cyber Physical Systems
Domain Specific Formal Languages
Embedded Systems Programming
Process Mining
Real-time and Probabilistic System Verification
Software Project Management