Theses on the same topic (having an identical keyword):
Distribuované výpočtyKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 / | Theses on a related topic
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 / | Theses on a related topic
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 / | Theses on a related topic
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 | Theses on a related topic
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 / | Theses on a related topic