Práce na stejné téma (mají shodná klíčová slova):

divine

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 3 » (celkem 29 prací)
Verifikace CTL vlastností v nástroji DiVinE
 (Šimon Vanický)

2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/mh9a9/ | Informatika / Teoretická informatika | 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

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

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

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

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

« 1 2 3 » (celkem 29 prací)