Práce na stejné téma (mají shodná klíčová slova):
Klíčová slova abecedně | Klíčová slova dle četnosti
Verification of Memory Safety with Predator and Symbiotic
(Tomáš Jašek)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/suam0/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Improving thread safety mechanisms in Libvirt
(Kristína Hanicová)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/su67u/ | Informatika / | Práce na příbuzné téma
Deep Risk-Constrained Reinforcement Learning with Safety Critics
(Martin Gendiar)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/pbhey/ | Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence | Práce na příbuzné téma
Safety Checkers for Termination Proofs
(Jiří Zárevúcky)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/h4iwh/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Health and Safety Applications in the Health Sector of Turkey
(Rashad Zeynalli)2020, Diplomová práce, Ekonomicko-správní fakulta / Masarykova univerzita
• https://is.muni.cz/th/p2axt/ | Hospodářská politika a správa / Veřejná ekonomika a správa (angl.) | Práce na příbuzné téma