MSc Computer Engineering
Semester | Subject | Code | Lecture | Practice | Laboratory | Credit |
---|---|---|---|---|---|---|
1 | Formal Methods | VIMIMA26 | 3 | 5 | ||
1 | Machine Learning | VIMIMA27 | 2 | 1 | 5 | |
2 | Software and Systems Verification | VIMIMA01 | 2 | 1 | 4 | |
3 | Intelligent Data Analysis and Decision Support | VIMIMB09 | 2 | 1 | 5 | |
3 | Trustworthy AI and Data Analysis | VIMIMB10 | 2 | 1 | 5 |