Práce na stejné téma (mají shodná klíčová slova):
Distribuované výpočtyKlíčová slova abecedně | Klíčová slova dle četnosti
Formální modely distribuovaného výpočtu
(Ondřej Soukup)2020, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//o34i91// | Výpočetní technika a informatika / | Práce na příbuzné téma
Formální modely distribuovaného výpočtu
(Ondřej Soukup)2020, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//til10s// | Výpočetní technika a informatika / | Práce na příbuzné téma
TCP vrstva pro verifikační nástroj DIVINE
(Jiří Weiser)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/n2ek4/ | Aplikovaná informatika / | Práce na příbuzné téma
Memory-Model-Aware Analysis of Parallel Programs
(Vladimír Štill)2017, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uuunu/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
TCP vrstva pro verifikační nástroj DIVINE
(Jiří Weiser)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/n2ek4/ | Aplikovaná informatika / | Práce na příbuzné téma