Damas Gruska/sk: Rozdiel medzi revíziami
d |
|||
| Riadok 19: | Riadok 19: | ||
=== Výskum === | === Výskum === | ||
| − | * | + | * [http://ii.fmph.uniba.sk/~gruska/ pozri homepage] |
=== Publikácie === | === Publikácie === | ||
| − | * | + | * [http://ii.fmph.uniba.sk/~gruska/ pozri homepage] |
}} | }} | ||
Aktuálna revízia z 15:49, 6. jún 2012
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