d |
|||
| Riadok 19: | Riadok 19: | ||
=== Research === | === Research === | ||
| − | * | + | * [http://ii.fmph.uniba.sk/~gruska/ see homepage] |
=== Publications === | === Publications === | ||
| − | * | + | * [http://ii.fmph.uniba.sk/~gruska/ see homepage] |
}} | }} | ||
Aktuálna revízia z 16:48, 6. jún 2012
Damas Gruska
|
|
Teaching
- Introduction to Parallel Programming
- Programming of Parallel and Distributed Systems
- Formal Methods of Software Development
- Quantum Algorithms and Automata
- Development of Critical Applications
Research
Publications
Responsible for pages:
- AIN_transition_2015
- Bachelor_program_in_Applied_Informatics
- CDS_Group
- Damas_Gruska
- Description_of_Bachelor_program_in_Applied_Informatics
- Development_of_Critical_Applications
- Formal_Methods_of_Software_Development
- Programming_of_Parallel_and_Distributed_Systems
- Recommendations_for_3rd_year_students_of_Bachelor_program_in_Applied_Informatics
- Recommendations_for_students_of_Bachelor_program_in_Applied_Informatics
- State_examinations_for_Bachelor_program_in_Applied_Informatics