Theses on the same topic (having an identical keyword):

bezpečnost potravin

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 3 4 » (total: 35 theses)
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 | Theses on a related topic

List of theses with an identical keyword.

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 | Theses on a related topic

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 / | Theses on a related topic

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.) | Theses on a related topic

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 | Theses on a related topic

« 1 2 3 4 » (total: 35 theses)