|
1
| - Calculability and complexity theory
- Computer algebra plus workshop
- Functional programming
- Artifical intelligence
- Scientific computing
- Software ergonomics
| - Electronics 2
- Design of hardware systems
|
2
| - Current developments in computer science
- Algorithms
- Data bases 2
- Formal specification and verification
- Learning and softcomputing
- Object oriented data bases
- Service oriented types of software architecture
- Distributed systems
| - Simulation of technological systems
- Workshop simulation technological systems
|
3
| - Change management
- Cryptography plus workshop
- Project
- Seminar
- System concepts in e-commerce
- Conduct of negotiations
| - Practical robotics
- Cybernetics 2
- Robotics
|
4
| - Master thesis, colloquium, discussion
|
