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

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

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

1.
Pekárek, Martin
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementace distribuovaného algoritmu v prostředí DiVinE | Práce na příbuzné téma Zobrazit popisek

2.
Báča, Ondřej
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Projekt portálu elektronického sportu | Práce na příbuzné téma

3.
Češka, Milan
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí | Práce na příbuzné téma

4.
Chaloupka, Jakub
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Distribuované algoritmy pro hledání cyklu s minimální průměrnou délkou hrany | Práce na příbuzné téma

5.
Jasná, Michaela
Fakulta: Právnická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Mezinárodněprávní obchodní studia
Obhajoba bakalářské práce: Specifikace zboží v režimu Úmluvy OSN o smlouvách o mezinárodní koupi zboží | Práce na příbuzné téma

6.
Kružíková, Agáta
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Sociální informatika
Obhajoba bakalářské práce: Uživatelské rozhraní aplikace pro šifrování disku | Práce na příbuzné téma

7.
Malá, Karolína
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Algebraický přístup k lineární temporální logice | Práce na příbuzné téma

8.
Mařica, Lukáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Grafické rozhraní nástroje pro řízení robotických systémů | Práce na příbuzné téma

9.
Micheľová, Henrieta
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Distribuované algoritmy pro rekonfiguraci platformy RoFI | Práce na příbuzné téma

10.
Myslivec, David
Fakulta: Právnická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Právní aspekty interoperability software | Práce na příbuzné téma

11.
Němeček, David
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Paralelní implementace algoritmu dekomprese silového pole | Práce na příbuzné téma

12.
Pejznoch, Aleš
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma

13.
Pozdílková, Hana
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství anglického jazyka
Obhajoba diplomové práce: Specification and Generalization in Student Translations | Práce na příbuzné téma

14.
Rabušic, Miroslav
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Interaktivní animační prostředí pro ilustraci distribuovaných algoritmů | Práce na příbuzné téma

15.
Rujbr, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vliv specifikačních automatů na ověřování modelu | Práce na příbuzné téma

16.
Tomola, Martin
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: API pro tvorbu otázek a testů

17.
Tuček, Adam
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Grafická reprezentace specifikačních vzorů pro temporální logiky | Práce na příbuzné téma

18.
Uhlíř, Martin
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Analýza a návrh informačního systému pro řízení skladu strojírenského podniku

19.
Veselková, Marta roz. Kaplánková
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství chemie pro základní školy, Pedagogické asistentství výchovy ke zdraví pro základní školy
Obhajoba bakalářské práce: Výuka chemie a příbuzných předmětů na středních školách a odborných učilištích. | Práce na příbuzné téma