Damas Gruska
|
Výučba
- Introduction to Parallel Programming
- Programovanie paralelných a distribuovaných systémov
- Formálne metódy tvorby softvéru
- Kvantové algoritmy a automaty
- Tvorba kritických aplikácií
Výskum
Publikácie
Zodpovedný/á za stránky:
- 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_students_of_Bachelor_program_in_Applied_Informatics
- State_examinations_for_Bachelor_program_in_Applied_Informatics