Welcome
home
|
hobbies
|
courses
|
contact
First semister:
Formal Specification and Verification of Programs
Data mining
Design of algorithms and complexity
Second semister:
Performance Evaluation of Computer Systems and Networks
Quality of Service