Winter semester
Advanced Static Program Analysis (NSWI182)
Advanced Tools for Software Development and Monitoring (NSWI126)
Algoritmizace (NPRG062)
D3S Seminar (NSWI057)
Firemní semináře (NSWI133)
Formal Foundations of Software Engineering (NTIN043)
Individual Software Project (NPRG045)
Introduction to Middleware (NSWI163)
Linux Administration (NSWI106)
Mobile Devices Programming (NPRG056)
Operating Systems (NSWI200)
Pravděpodobnostní analýza algoritmů (NTIN018)
Principles of Computers (NSWI120)
Programming in C# Language (NPRG035)
Programming in Java Language (NPRG013)
Programming in Rust (NPRG073)
Programming language design (NPRG075)
Programování 1 (NPRG030)
Python for practice (NPRG067)
Research Project Work (NSWI127)
Sémantika programů (NSWI162)
Start-up or Corporation: Introduction to a Career in IT (NSWI063)
System Behavior Models and Verification (NSWI101)
Třídění (NTIN058)
Výroková a predikátová logika (NAIL062)
Write your own tiny programming system(s)! (NPRG077)
Summer semester
Advanced .NET Programming II (NPRG057)
Advanced C# Programming (NPRG038)
Advanced Java Programming (NPRG021)
Advanced Operating Systems (NSWI161)
Advanced Programming in Rust (NPRG074)
Best Practices in Programming (NPRG043)
Computer Architecture (NSWI143)
D3S Seminar (NSWI058)
Embedded and Real-Time Systems (NSWE001)
Experimentální analýza algoritmů (NTIN033)
Individual Software Project (NPRG045)
Introduction to Linux (NSWI177)
Middleware (NSWI080)
Performance Evaluation of Computer Systems (NSWI131)
Program Analysis & Code Verification (NSWI132)
Programming in Python (NPRG065)
Programming User Interfaces in .NET (NPRG064)
Programování 2 (NPRG031)
Research Project Work (NSWI127)
Software Development Tools (NSWI154)
Software Engineering for Dependable Systems (NSWI054)
Stochastické metody v databázích (NDBI019)
Virtual Machines and Managed Runtimes (NPRG076)