1. Quantum Mechanics (3 ECTS, 5th semestre)
2. The Basics of Logical Design of Digital Circuits (4 ECTS, 2nd semestre)
3. Theory of Finite State Machines (3 ECTS, 8th semestre)
4. Model Based Testing (4 ECTS, 2th semestre)
5. Software Implementation of Telecommunication Protocols (3 ECTS, 3rd semestre)