Show pagesource Old revisions Backlinks Fold/unfold all This is an old revision of the document! List of Courses in alphabetic order (grouped by year) 1st year 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 Knowledge Engineering and Business Intelligence Knowledge Management and Competence Development Internetworking Ubiquitous Systems Network Discovery (CISCO III-IV) Networking Fundamentals (CISCO I-II) Queuing Network: Modeling Queuing Network: Simulation Reactive Systems Verification Software Engineering II - Software testing 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