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

games, pctl, logics, verification, probabilistic systems

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

1.
Bannikova, Darina
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Výtvarná výchova a vizuální tvorba se zaměřením na vzdělávání / Výtvarná výchova a vizuální tvorba se zaměřením na vzdělávání
Obhajoba bakalářské práce: Design a tvorba deskových her | Práce na příbuzné téma Zobrazit popisek

2.
Bartůňková, Světlana
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy (kombinace/zaměření: Anglický jazyk a literatura)
Obhajoba diplomové práce: Posilování pozitivních sociálních vztahů ve třídě na I. stupni základní školy | Práce na příbuzné téma

3.
Baštan, Petr
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Biometric algorithms for iris recognition | Práce na příbuzné téma

4.
Benešová, Martina
Fakulta: Pedagogická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství německého jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Motivierende und aktivisierende Sprechübungen im DaF - Unterricht | Práce na příbuzné téma

5.
Bícová, Ema
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Anglický jazyk a literatura / Anglický jazyk a literatura
Obhajoba diplomové práce: Internal vs External Video Game Localization | Práce na příbuzné téma

6.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroje pro automatickou analýzu dynamicky alokované paměti | Práce na příbuzné téma

7.
Bláhová, Petra
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství českého jazyka a literatury pro základní školy, Učitelství německého jazyka a literatury pro základní školy
Obhajoba diplomové práce: Deutschunterricht im Kindergarten | Práce na příbuzné téma

8.
Blašková, Veronika
Fakulta: Ekonomicko-správní fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika
Obhajoba diplomové práce: Ověřování projektů auditorem | Práce na příbuzné téma

9.
Brázdil, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma

10.
Brázdil, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma

11.
Brožek, Václav
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Decidability and complexity of infinite-state stochastic games | Práce na příbuzné téma

12.
Budáč, Jozef
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementace monitorovacího nástroje | Práce na příbuzné téma

13.
Čepáková, Nikola
Fakulta: Fakulta sportovních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Český jazyk a literatura se zaměřením na vzdělávání, Tělesná výchova a sport
Obhajoba bakalářské práce: Esport a motivace | Práce na příbuzné téma

14.
Daubner, Lukáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Počítačové systémy, komunikace a bezpečnost
Obhajoba diplomové práce: Assurance of Forensic-Ready Software Systems | Práce na příbuzné téma

15.
Diviš, Ondřej
Fakulta: Právnická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Vliv nové právní úpravy hazardu na online trh hazardních her | Práce na příbuzné téma

16.
Doležalová, Ivana
Fakulta: Právnická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Postup před zahájením trestního stíhání se zaměřením na policejní orgán | Práce na příbuzné téma

17.
Drápal, Michal
Fakulta: Fakulta sportovních studií
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Hry jako motivační prvek ve fotbalovém tréninku mladších žáků | Práce na příbuzné téma

18.
Dudys, Janusz
Fakulta: Filozofická fakulta
Rok: 2017, studium neúspěšně ukončeno
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Serious Games - hra, simulace nebo jen školení? | Práce na příbuzné téma

19.
Ďuriš, Matúš
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Teorie interaktivních médií / Teorie interaktivních médií
Obhajoba bakalářské práce: Hry ktoré sa nehrajú | Práce na příbuzné téma

20.
Dvořáková, Dana
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství německého jazyka a literatury pro základní školy, Učitelství speciální pedagogiky pro základní školy
Obhajoba diplomové práce: Spiele im Deutschunterricht | Práce na příbuzné téma

21.
Fialová, Nicole roz. Ioanidu
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Proměny objektů na post-socialistických sídlištích aneb hledání nových hodnot | Práce na příbuzné téma

22.
Fišer, Radim
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství fyziky pro základní školy, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Využití počítače při práci s dětmi předškolního věku. | Práce na příbuzné téma

23.
Flösslerová, Kateřina
Fakulta: Fakulta sportovních studií
Rok: 2018, studium neúspěšně ukončeno
Program/obor Tělesná výchova a sport / Animátor sportovních aktivit, Pedagogické asistentství matematiky pro základní školy
Obhajoba bakalářské práce: Rozvoj lokomočních dovedností u dětí předškolního věku | Práce na příbuzné téma

24.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Decidability and complexity of finite-state stochastic games | Práce na příbuzné téma

25.
Franěk, Jan
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatic documentation generation from SystemVerilog source files | Práce na příbuzné téma

26.
Fritzová, Denisa
Fakulta: Lékařská fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Zdravotní laborant
Obhajoba bakalářské práce: Verifikace nově instalovaných POCT analyzátorů acidobazické rovnováhy na pracovištích intenzivní medicíny | Práce na příbuzné téma

27.
Ha Trinh, Hung Son
Fakulta: Lékařská fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Optika a optometrie
Obhajoba bakalářské práce: Oko jako biometrický identifikátor | Práce na příbuzné téma

28.
Havlíček, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Untimed LTL Model Checking of Timed Automata | Práce na příbuzné téma

29.
Havlíčková, Andrea
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství anglického jazyka a literatury pro střední školy
Obhajoba diplomové práce: Movement in ELT | Práce na příbuzné téma

30.
Havlová, Martina
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Vizuální tvorba se zaměřením na vzdělávání, Výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Zahrada - Vzpomínky na dětství | Práce na příbuzné téma

31.
Hoza, Jiří
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba diplomové práce: Propojení a vzájemné působení filmu a videoher | Práce na příbuzné téma

32.
Hrozníčková, Hana
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - německý jazyk
Obhajoba bakalářské práce: Strategien der Stressbewältigung im Fremdsprachenunterricht. | Práce na příbuzné téma

33.
Hrozníčková, Hana
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství německého jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Motivation der Schüler im Fremdsprachenunterricht | Práce na příbuzné téma

34.
Chalupa, Marek
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Teoretická informatika
Obhajoba rigorózní práce: Symbolic Execution for Verification | Práce na příbuzné téma

35.
Chodil, Miroslav
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Problém splnitelnosti pro pravděpodobnostní temporální logiky | Práce na příbuzné téma

36.
Chodil, Miroslav
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: The satisfiability problem for Probabilistic CTL | Práce na příbuzné téma

37.
Chrapanová, Dana
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství francouzského jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Le jeu en classe de FLE | Práce na příbuzné téma

38.
Chutný, Jan
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství dějepisu pro základní školy, Pedagogické asistentství hudební výchovy pro základní školy
Obhajoba bakalářské práce: Folklorní soubor Doubraváček | Práce na příbuzné téma

39.
Jakubíková, Ludmila
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy
Obhajoba diplomové práce: Jazykové dovednosti a jazykové prostředky; jejich rozvoj ve výuce NJ na 1. stupni ZŠ | Práce na příbuzné téma

40.
Jančíková, Kateřina
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika - komunikační techniky
Obhajoba bakalářské práce: Hry a činnosti pro rozvoj komunikační schopnosti dětí mladšího školního věku | Práce na příbuzné téma

41.
Jasenčáková, Soňa
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Pravda v súčasnom intuicionizme a anti-realizme | Práce na příbuzné téma

42.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Memory Safety with Predator and Symbiotic | Práce na příbuzné téma

43.
Ježek, Pavel
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Vystavování videoher v galeriích a muzeích v celosvětovém kontextu | Práce na příbuzné téma

44.
Ježová, Danica
Fakulta: Filozofická fakulta
Rok: 2022, studium neúspěšně ukončeno
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: Obligationes | Práce na příbuzné téma

45.
Kaloud, Tomáš
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Analýza prvků metafory a simulace ve sportovních hokejových hrách | Práce na příbuzné téma

46.
Kamenská, Tereza Violet
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Problematika organizování kulturně-společenských událostí se zaměřením na festivaly hráčské subkultury | Práce na příbuzné téma

47.
Kanarchuk, Olha
Fakulta: Ekonomicko-správní fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance (angl.)
Obhajoba diplomové práce: Fundamental analysis of an online-based technology company | Práce na příbuzné téma

48.
Káňová, Lea
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství německého jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Nutzung der aktivierenden Methoden im Deutschunterricht als Mittel zur interkulturellen Erziehung | Práce na příbuzné téma

49.
Karásková, Veronika
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství ruského jazyka pro základní školy
Obhajoba diplomové práce: Situacionnye igry na urokach russkogo jazyka v osnovnoj škole | Práce na příbuzné téma

50.
Kašpařík, Daniel
Fakulta: Fakulta sportovních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Rozhodčí fotbalu)
Obhajoba bakalářské práce: E-sports review | Práce na příbuzné téma