Zpět na vyhledávání

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

GUI

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

« 1 2 » (celkem 17 prací)
Modelové řešení aplikace klient-server využívající GraphQL
 (Ondřej Zicha)

2018, Diplomová práce, Vysoká škola ekonomická v Praze

http://www.vse.cz/vskp/eid/75139 | Aplikovaná informatika / Znalostní a webové technologie | Práce na příbuzné téma

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

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

Porovnání nástrojů pro paralelní LTL model checking
 (Marek Tomáštík)

2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/dk1b6/ | Informatika / Matematická 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

DiVinE - Prostředí pro distribuovanou verifikaci
 (Pavel Šimeček)

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

https://is.muni.cz/th/ze1rj/ | Informatika / | Práce na příbuzné téma

Graficke rozhraní pro komunikaci s nástrojem DiVinE
 (Vojtěch Forejt)

2006, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/lluk1/ | Informatika / | Práce na příbuzné téma

Designing Data-Parallel Graph Algorithms for Model Checking
 (Milan Češka)

2012, Disertační práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/v5ksv/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

GPU Accelerated Enumerative Model Checking
 (Milan Češka)

2009, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/dlvdw/ | Informatika / | Práce na příbuzné téma

GUI pro zadávání hypotéz v hybridní logice
 (Oto Fargaš)

2020, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/j2osi/ | Aplikovaná informatika / | Práce na příbuzné téma

« 1 2 » (celkem 17 prací)