| Advanced Computer Networks Technologies (460-4085/01) |
Mathematics for Knowledge Processing (460-4066/01)
|
| Advanced Database Systems (460-4137/01) |
Methods of Analysis of Textual Data (460-4074/01)
|
| Algorithmisation of Geometrical Problems (460-4038/01) |
Mobile Computing (460-4111/01)
|
| Application of Selected Principles in Systems Development (460-4156/01) |
Modeling and Verification (460-4016/01)
|
| Assembly Languages (460-4083/05) |
Multiagent Sytems (460-4114/01)
|
| Biologically Inspired Algorithms (460-4086/02) |
Multimeadia Data Processing (460-4058/01)
|
| Biologically Inspired Algorithms (460-4086/01) |
Natural-language Processing (460-4092/01)
|
| Business Intelligence (460-4138/01) |
Network Science I (460-4141/01)
|
| Computer Attacks and Defence (460-4122/03) |
Network Science II (460-4142/01)
|
| Computer Graphics I (460-4078/01) |
Operations Research II (460-4108/01)
|
| Computer Graphics II (460-4033/02) |
Parallel Algorithms I (460-4117/03)
|
| Computer Viruses and Security of Computer Systems (460-4054/04) |
Parallel Algorithms II (460-4118/01)
|
| Cryptography and Computer Security (460-4046/02) |
Petri Net (460-4146/01)
|
| Data Visualization (460-4120/01) |
Physical Implementation of Database Systems (460-4097/01)
|
| Deep Learning (460-4140/01) |
Practical Functional Programming (460-4144/01)
|
| Digital Image Processing (460-4079/01) |
Probability and Statistics (470-4405/01)
|
| Diploma Project I (460-4095/01) |
Query Processing Algorithms (460-4069/03)
|
| Diploma Project II (460-4096/01) |
Routed and Switched Networks (460-4081/01)
|
| Game Theory (460-4116/01) |
Safety in Electrical Engineering I (410-8401/01)
|
| Geographic Information Systems (460-4109/01) |
Safety in Electrical Engineering II (410-8402/01)
|
| Geometry for Computer Graphics (460-4023/01) |
Selected Mechanisms of Software Development (460-4155/01)
|
| Image Analysis I (460-4080/01) |
Selected Topics of Theoretical Computer Science (460-4115/01)
|
| Image Analysis II (460-4107/01) |
Semestral Project (460-4148/01)
|
| Interactive and Automated Proving of Program Correctness (460-4145/01) |
Signal Analysis and Compression (460-4103/01)
|
| Internet Technologies (460-4094/01) |
Software Engineering Fundamental Principles (460-4154/01)
|
| Logic Programming (460-4093/01) |
Theoretical Computer Science (460-4065/03)
|
| Machine Learning (460-4139/01) |
Unconventional Algorithms and Computing (460-4087/01)
|
| Mathematical Logic (460-4088/01) |
UNIX Systems Management (460-4113/01)
|