GA18-00178S, projekt VaV | Název: Diskrétní bifurkační analýza reaktivních systémů | Investor: Grantová agentura ČR, Diskrétní bifurkační analýza reaktivních systémů |
|
MUNI/A/1018/2018, interní kód MU | Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII. | Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty |
|
MUNI/A/1050/2019, interní kód MU | Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX (Akronym: SV-FI MAV IX) | Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty |
|
MUNI/A/1076/2019, interní kód MU | Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 20 (Akronym: SKOMU) | Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 20, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty |
|