Course |
Course title |
Extend of
teaching |
Comple-
tion |
Seme-
ster |
Recomm.
sem. |
Cre-
dits |
Instruc-
tor |
Cat. |
MI-ROZ |
Pattern Recognition |
2P+1C |
Z,ZK |
Z |
1 |
4 |
|
18101 |
MI-NFA |
Design for the FPGA and ASIC Technology |
2P+1C |
Z,ZK |
Z |
1 |
4 |
|
18103 |
MI-MTI |
Modern Internet Technologies |
2P+1C |
Z,ZK |
Z |
1 |
4 |
|
18104 |
MI-KRY |
Advanced Cryptology |
2P+1C |
Z,ZK |
Z |
1 |
4 |
|
18106 |
MI-TS3 |
Theoretical Seminar Master III |
2C |
Z |
Z |
|
4 |
|
18101 |
MI-TS2 |
Theoretical Seminar Master II |
2C |
Z |
L |
|
4 |
|
18101 |
MI-TS4 |
Theoretical Seminar Master IV |
2C |
Z |
L |
|
4 |
|
18101 |
MI-TS1 |
Theoretical Seminar Master I |
2C |
Z |
Z |
|
4 |
|
18101 |
MI-PAL |
Advanced Algorithms |
2P+1C |
Z,ZK |
L |
2 |
4 |
|
18101 |
MI-AVY |
Automata in Text Pattern Matching |
2P+1C |
Z,ZK |
L |
2 |
4 |
|
18101 |
MI-GEN |
Code Generators |
2P+1C |
Z,ZK |
L |
2 |
4 |
|
18101 |
MI-FLP |
Functional and Logical Programming |
2P+1C |
Z,ZK |
L |
2 |
4 |
|
18101 |
MI-PDB |
Advanced Database Systems |
2P+1C |
Z,ZK |
L |
2 |
4 |
|
18102 |
MI-DZO |
Digital Image Processing |
2P+1C |
Z,ZK |
L |
2 |
4 |
|
18102 |
MI-FME |
Formal Methods and Specifications |
2P+1C |
Z,ZK |
L |
2 |
4 |
|
18102 |
MI-BHW |
Security and Hardware |
2P+2C |
Z,ZK |
L |
2 |
4 |
|
18103 |
MI-PAP |
Parallel Computer Architectures |
2P+1C |
Z,ZK |
L |
2 |
4 |
|
18104 |
MI-RRI |
Risk Management in Informatics |
2P |
ZK |
L |
2 |
3 |
|
18104 |
MI-BPS |
Wireless Computer Networks |
2P+1C |
Z,ZK |
L |
2 |
4 |
|
18104 |
MI-MSI |
Mathematical Structures in Computer Science |
2P+1C |
Z,ZK |
L |
2 |
4 |
|
18105 |
MI-MPR |
Master Project |
|
Z |
Z,L |
3 |
7 |
|
18000 |
MI-CPX |
Complexity Theory |
3P+1C |
Z,ZK |
Z |
3 |
5 |
|
18101 |
MI-RUB |
Programming in Ruby |
3C |
KZ |
Z |
3 |
4 |
|
18102 |
MI-PSL |
Programming in Scala |
2P+1C |
Z,ZK |
L |
3 |
4 |
|
18102 |
MI-SWE |
Semantic Web |
2P+1C |
Z,ZK |
Z |
3 |
4 |
|
18102 |
MI-TSP |
Testing and Reliability |
2P+2C |
Z,ZK |
Z |
3 |
4 |
|
18103 |
MI-MCS |
Multicore Systems |
1P+2C |
KZ |
Z |
3 |
4 |
|
18104 |
MI-BPR |
Security and Secure Programming |
2P+1C |
Z,ZK |
Z |
3 |
4 |
|
18104 |
MI-ATH |
Combinatorial Theories of Games |
2P+2C |
Z,ZK |
L |
4 |
4 |
|
18101 |
MI-PAM |
Efficient Preprocessing and Parameterized Algorithms |
2P+1C |
Z,ZK |
L |
4 |
4 |
|
18101 |
MI-DSP |
Database Systems in Practes |
2P+1C |
Z,ZK |
L |
4 |
4 |
|
18102 |
MI-IOT |
Internet of Things |
2P+1C |
Z,ZK |
L |
4 |
4 |
|
18104 |
MI-MAI |
Multimedia and Internet |
2P+1C |
Z,ZK |
L |
4 |
3 |
|
18104 |
MI-VYC |
Computability |
2P+2C |
Z,ZK |
L |
4 |
4 |
|
18105 |
MI-GLR |
Games and reinforcement learning |
2P+2C |
Z,ZK |
L |
4 |
4 |
|
18105 |
MI-IKM |
Internet and Classification Methods |
1P+1C |
Z,ZK |
L |
4 |
4 |
|
18105 |
MI-DNP |
Advanced .NET |
2P+1C |
Z,ZK |
Z |
5 |
4 |
|
18102 |
MI-PRC |
Programming in CUDA |
2P+1C |
Z,ZK |
L |
6 |
4 |
|
18104 |
|