Práce na stejné téma (mají shodná klíčová slova):
divineKlíčová slova abecedně | Klíčová slova dle četnosti
Verifikace MPI programů pomocí DIVINE
(Marek Tomáštík)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/bu4gt/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
A Blessing and a Curse: Divine Names in Jewish Textual Tradition
(Nikola SVOBODNÍKOVÁ)2021, Diplomová práce, Filozofická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//8mnkd8// | Judaistika. Dějiny a kultura Židů / | Práce na příbuzné téma
A Divine, a Sin-absolver, a Friend Professed or an Unreverend and Unhallowed Friar?
(Hana PATOČKOVÁ)2024, Bakalářská práce, Filozofická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//j452q0// | Anglická filologie / Anglická filologie / Filmová studia | Práce na příbuzné téma
Germination ability of the invasive knotweed seeds under different experimental conditions
(Divine Chikezie Nnamdi)2024, Diplomová práce, Fakulta životního prostředí / Česká zemědělská univerzita v Praze
• http://theses.cz/id//gwpdx1// | Nature Conservation / | Práce na příbuzné téma
Vysvětlování protipříkladů v nástroji DiVinE
(Roman Plášil)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/s07zh/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Návrh modelovacího jazyka nástroje DiVinE
(Tomáš Janoušek)2010, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/yn8c0/ | Aplikovaná informatika / | Práce na příbuzné téma
Relaxed Memory Models in DiVinE
(Vojtěch Havel)2012, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/yrkfl/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE
(Rostislav Burget)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/i7yrn/ | Aplikovaná informatika / | Práce na příbuzné téma
Dynamicky rostoucí sdílená hašovací tabulka pro DiVinE
(Jiří Weiser)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/cwait/ | Aplikovaná informatika / | Práce na příbuzné téma
State space compression for the DiVinE model checker
(Vladimír Štill)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/welgh/ | Informatika / Počítačové sítě a komunikace | Práce na příbuzné téma