| | |  |
|  Code |  Title |  Semester | Hours per week, examination | Department | Faculty | Cyclical teaching | Virtual mobility | Capacity | 4EU+ |
 |
NDBI019 |
Stochastic Methods in Databases |
summer |
summer s.:2/0, Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG013 |
Programming in Java Language |
winter |
winter s.:2/2, C+Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG014 |
Concepts of Modern Programming Languages |
winter |
winter s.:0/3, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG021 |
Advanced Java Programming |
summer |
summer s.:2/2, C+Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG035 |
Programming in C# Language |
winter |
winter s.:2/2, C+Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG038 |
Advanced C# Programming |
summer |
summer s.:2/2, C+Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG043 |
Recommended Programming Practices |
summer |
summer s.:2/2, MC [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG056 |
Mobile Devices Programming |
winter |
winter s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG057 |
Advanced .NET Programming II |
summer |
summer s.:2/0, Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG064 |
Programming user interfaces in .NET |
summer |
summer s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG065 |
Programming in Python |
summer |
summer s.:2/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG067 |
Python for practice |
winter |
winter s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG073 |
Programming in Rust Language |
winter |
winter s.:0/1, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG074 |
Advanced programming in Rust |
summer |
summer s.:0/1, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG075 |
Programming language design |
winter |
winter s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG076 |
Virtual Machines and Managed Runtimes |
summer |
summer s.:1/1, MC [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG077 |
Write your own tiny programming system(s)! |
winter |
winter s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG082 |
Programming in Rust Language |
winter |
winter s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NPRG083 |
Advanced programming in Rust |
summer |
summer s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWE001 |
Embedded and Real Time Systems |
summer |
summer s.:2/2, C+Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI004 |
Operating Systems |
winter |
winter s.:2/2, MC [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI029 |
Modern Trends in Computer Science |
both |
0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI054 |
Software Engineering for Dependable Systems |
summer |
summer s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI057 |
Advanced topics in distributed and component-based systems I |
both |
0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI058 |
Advanced topics in distributed and component-based systems II |
summer |
summer s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI080 |
Middleware |
summer |
summer s.:2/1, MC [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI101 |
System Behaviour Models and Verification |
winter |
winter s.:2/2, C+Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI106 |
Linux Administration |
winter |
winter s.:2/2, MC [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI120 |
Principles of Computers |
winter |
winter s.:2/0, Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI126 |
Advanced Tools for Software Development and Monitoring |
winter |
winter s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI127 |
Research Project Work |
both |
0/4, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI131 |
Performance Evaluation of Computer Systems |
summer |
summer s.:2/1, C+Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI132 |
Program Analysis and Code Verification |
summer |
summer s.:2/2, C+Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI133 |
Commercial Workshops |
winter |
winter s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI143 |
Computer Architecture |
summer |
summer s.:2/0, Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI154 |
Software Development Tools |
summer |
summer s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI161 |
Advanced Operating Systems |
summer |
summer s.:2/0, Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI162 |
Program Semantics |
winter |
winter s.:0/1, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI164 |
Model-driven Development |
winter |
winter s.:0/1, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI176 |
Practical Dynamic Compilation |
summer |
summer s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI177 |
Introduction to Linux |
summer |
summer s.:1/2, MC [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI182 |
Advanced Static Program Analysis |
winter |
winter s.:3/0, Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI183 |
Program Semantics |
winter |
winter s.:0/2, C [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NSWI200 |
Operating Systems |
winter |
winter s.:2/2, MC [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NTIN018 |
Probabilistic Analysis of Algorithms |
winter |
winter s.:2/0, Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NTIN033 |
Experimental Analysis of Algorithms |
summer |
summer s.:2/2, C+Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
 |
NTIN058 |
Sorting |
winter |
winter s.:2/0, Ex [HT] |
32-KDSS |
11320 |
no |
no |
|
no |
|