Theses on a related topic (having the same keywords):

specifikace, linearni temporalni logika, akceptujici koncova komponenta, mdp produkt, detekce aec v grafu, pravdepodobnostni system, markovuv rozhodovaci proces, distribuovany algoritmus

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Pekárek, Martin
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace distribuovaného algoritmu v prostředí DiVinE | Theses on a related topic Display description

2.
Báča, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Projekt portálu elektronického sportu | Theses on a related topic

3.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí | Theses on a related topic

4.
Chaloupka, Jakub
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Distribuované algoritmy pro hledání cyklu s minimální průměrnou délkou hrany | Theses on a related topic

5.
Jasná, Michaela
Faculty: Faculty of Law
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / International Commercial Law Studies
Bachelor's thesis defence: Specifikace zboží v režimu Úmluvy OSN o smlouvách o mezinárodní koupi zboží | Theses on a related topic

6.
Kružíková, Agáta
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Uživatelské rozhraní aplikace pro šifrování disku | Theses on a related topic

7.
Malá, Karolína
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraický přístup k lineární temporální logice | Theses on a related topic

8.
Mařica, Lukáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Grafické rozhraní nástroje pro řízení robotických systémů | Theses on a related topic

9.
Micheľová, Henrieta
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Distribuované algoritmy pro rekonfiguraci platformy RoFI | Theses on a related topic

10.
Myslivec, David
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Právní aspekty interoperability software | Theses on a related topic

11.
Němeček, David
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Paralelní implementace algoritmu dekomprese silového pole | Theses on a related topic

12.
Pejznoch, Aleš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic

13.
Pozdílková, Hana
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Specification and Generalization in Student Translations | Theses on a related topic

14.
Rabušic, Miroslav
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Interaktivní animační prostředí pro ilustraci distribuovaných algoritmů | Theses on a related topic

15.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vliv specifikačních automatů na ověřování modelu | Theses on a related topic

16.
Tomola, Martin
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: API pro tvorbu otázek a testů

17.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace specifikačních vzorů pro temporální logiky | Theses on a related topic

18.
Uhlíř, Martin
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza a návrh informačního systému pro řízení skladu strojírenského podniku

19.
Veselková, Marta maiden name: Kaplánková
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Health Education, Lower Secondary School Teacher Training in Chemistry
Bachelor's thesis defence: Výuka chemie a příbuzných předmětů na středních školách a odborných učilištích. | Theses on a related topic