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
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
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
Simulátor pro modelovací jazyk nástroje DiVinE
(Martin Moráček)2010, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/teyty/ | Informatika / | Práce na příbuzné téma
System Performance Analysis Extension of DiVinE
(Petr Bauch)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/wt8bv/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Predicate Abstraction of DiVinE Models
(Jiří Novosad)2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qpaxh/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Predicate Abstraction of DiVinE Models
(Jiří Novosad)2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qpaxh/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma