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

divine, distribuovane vypocty, model checking, vykonnost, testovani

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

51.
Bača, Vladimír
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Počítačová podpora pro specifikaci požadavků v LTL | Práce na příbuzné téma Zobrazit popisek

52.
Balek, Jan
Fakulta: Filozofická fakulta
Rok: 2018, 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: English Dialect Preferences of High School Students | Práce na příbuzné téma

53.
Balunová, Eliška
Fakulta: Ekonomicko-správní fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba bakalářské práce: Ekonomická analýza podniku | Práce na příbuzné téma

54.
Baranová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Compiling Applications for Analysis with DIVINE | Práce na příbuzné téma

55.
Barnišin, Ľubomír
Fakulta: Ekonomicko-správní fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance / Finance
Obhajoba diplomové práce: Investování do pákových ETFs a analýza jejich výkonnosti | Práce na příbuzné téma

56.
Bárta, Petr
Fakulta: Fakulta sportovních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Regenerace a výživa ve sportu
Obhajoba bakalářské práce: Změny v pohybovém aparátu související s poškozením měkkých struktur kolene | Práce na příbuzné téma

57.
Barták, Tomáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Ekonomické a právní aspekty corporate governance v podniku | Práce na příbuzné téma
Obhajoba diplomové práce: Ekonomické a právní aspekty corporate governance v podniku | Práce na příbuzné téma

58.
Bartoníček, David
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Podniková ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Identifikace omezení výkonnosti podniku | Práce na příbuzné téma

59.
Bauch, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Automating Software Development with Explicit Model Checking | Práce na příbuzné téma

60.
Bednář, Jan
Fakulta: Fakulta sportovních studií
Rok: 2018, 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: Inovace testové baterie ve volejbale | Práce na příbuzné téma

61.
Bednářová, Hana
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika (kombinace/zaměření: Žurnalistika), Politologie
Obhajoba bakalářské práce: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Práce na příbuzné téma

62.
Bejr, Daniel
Fakulta: Fakulta sportovních studií
Rok: 2016, 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: Porovnání úrovně koordinačních a rychlostních schopností mladých fotbalistů na dvou rozdílných výkonnostních úrovních | Práce na příbuzné téma

63.
Benáček, Jiří
Fakulta: Ekonomicko-správní fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Měření výkonnosti podniku pomocí finančních i nefinančních ukazatelů | Práce na příbuzné téma

64.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Verification of Component Interaction in Component-Based Systems | Práce na příbuzné téma

65.
Beránková, Anna roz. Matušková
Fakulta: Právnická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Testování zboží a služeb podnikatelů jako nekalosoutěžní jednání? | Práce na příbuzné téma

66.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: LTL atraktory | Práce na příbuzné téma

67.
Bílek, Jan
Fakulta: Fakulta sportovních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Kondiční trenér)
Obhajoba diplomové práce: Testování kondičních schopností a aplikace současných trendů fitness u hráčů basketbalu | Práce na příbuzné téma
Obhajoba diplomové práce: Testování kondičních schopností a aplikace současných trendů fitness u hráčů basketbalu | Práce na příbuzné téma

68.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Automata for Formal Methods: Little Steps Towards Perfection | Práce na příbuzné téma

69.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Linear Temporal Logic and omega-automata | Práce na příbuzné téma

70.
Božek, Ondřej
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Údržba a modernizace webových projektů | Práce na příbuzné téma

71.
Brabencová, Lenka
Fakulta: Lékařská fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Léčebná rehabilitace a fyzioterapie
Obhajoba diplomové práce: Hodnocení kardiovaskulárních parametrů (STK, DTK a SF) a nejvyššího dosaženého výkonu (WSL) pomocí klikové ergometrie u pacientů s ischemickou chorobou dolních kočetin

72.
Brauner, Bronislav
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: Data mining z grafů | Práce na příbuzné téma

73.
Brosková, Beata
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Změna podnikové kultury podniku po vstupu do strategické aliance | Práce na příbuzné téma

74.
Brózman, Ondřej
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Experimentální biologie / Speciální biologie (kombinace/zaměření: Ekotoxikologie)
Obhajoba bakalářské práce: Nové metody stanovení genotoxicity v ekotoxikologii | Práce na příbuzné téma

75.
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

76.
Brožek, Václav
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Basic Model Checking Problems for Stochastic Games | Práce na příbuzné téma

77.
Brožek, Václav
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Basic model-checking problems for stochastic games | Práce na příbuzné téma

78.
Brychta, Tomáš
Fakulta: Fakulta sportovních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Kondiční trenér
Obhajoba diplomové práce: Pohár rozhlasu-vyhodnocení výkonnosti za období 2008-2017 | Práce na příbuzné téma

79.
Brzobohatý, Patrick
Fakulta: Fakulta sportovních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Kondiční trenér
Obhajoba diplomové práce: Úroveň vybraných motorických schopností klientů fitnesscentra | Práce na příbuzné téma

80.
Bukáčková, Jitka roz. Šiborová
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Stáří v kontextu lidského života | Práce na příbuzné téma

81.
Bukáčková, Jitka roz. Šiborová
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: PhDr.
Program/obor Psychologie / Psychologie
Obhajoba rigorózní práce: Životní spokojenost onkologických seniorů | Práce na příbuzné téma
Obhajoba rigorózní práce: Životní spokojenost onkologických pacientů v seniorském věku | Práce na příbuzné téma

82.
Bulánek, Viktor
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Soudobé techniky testování bezpečnosti software

83.
Buriánek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Techniky programování kvantových počítačů | Práce na příbuzné téma

84.
Burianová, Alica
Fakulta: Ekonomicko-správní fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance
Obhajoba bakalářské práce: Efektívnosť komerčných bánk na Slovensku a v Českej republike | Práce na příbuzné téma

85.
Buřt, Lukáš
Fakulta: Fakulta sportovních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství občanské výchovy pro základní školy, Učitelství tělesné výchovy pro základní a střední školy
Obhajoba diplomové práce: Optimalizace tréninkového zatížení rozehrávaček v ženském basketbalu ve výkonnostní kategorii | Práce na příbuzné téma

86.
Cetlová, Zuzana
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Učitelství biologie pro střední školy, Učitelství chemie pro střední školy
Obhajoba diplomové práce: Tvorba databáze otázek pro testování znalostí středoškolské chemie | Práce na příbuzné téma

87.
Cikrdlová, Martina
Fakulta: Fakulta sportovních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Coaching)
Obhajoba diplomové práce: Zjišťování úrovně pohybových předpokladů pro atletickou přípravu 9-10letých dětí pomocí testovacího systému " 3P" | Práce na příbuzné téma

88.
Citovská, Vendula
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství anglického jazyka a literatury pro základní školy, Pedagogické asistentství českého jazyka a literatury pro základní školy
Obhajoba bakalářské práce: Psychická zátěž pedagogů - syndrom vyhoření | Práce na příbuzné téma

89.
Cívka, Dominik
Fakulta: Fakulta sportovních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Kondiční trénink a aplikovaná kineziologie / Kondiční trénink
Obhajoba diplomové práce: Využití laboratorních a terénních on-ice a off-ice testů mládežnických hráčů ledního hokeje | Práce na příbuzné téma

90.
Čechová, Eliška
Fakulta: Fakulta sportovních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Animátor sportovních aktivit, Základy společenských věd se zaměřením na vzdělávání
Obhajoba bakalářské práce: Přetrvávající primární reflexy v hodině tělesné výchovy u dětí mladšího školního věku | Práce na příbuzné téma

91.
Čepán, Filip
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance / Finance
Obhajoba bakalářské práce: Analýza výnosnosti vybraného segmentu ETFs | Práce na příbuzné téma

92.
Černý, Jan
Fakulta: Ekonomicko-správní fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance a právo
Obhajoba bakalářské práce: Investiční strategie fondů kolektivního investování v soudobých podmínkách České republiky | Práce na příbuzné téma

93.
Černý, Jiří
Fakulta: Fakulta sportovních studií
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Sportovní edukace)
Obhajoba diplomové práce: Monitorování tělesného rozvoje a pohybové výkonnosti studentů 4. ročníku SOŠ | Práce na příbuzné téma

94.
Čtvrtníková, Tereza
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Projektové řízení v podniku - současné problémy | Práce na příbuzné téma

95.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Rozšíření a refaktorizace nástroje BioDiVinE | Práce na příbuzné téma

96.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Práce na příbuzné téma

97.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Počítačové systémy
Obhajoba rigorózní práce: Parameter Synthesis of Dynamical Systems via Model Checking | Práce na příbuzné téma

98.
Demková, Kristýna
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatizované testování mobilních aplikací pomocí Appium Studia | Práce na příbuzné téma

99.
Demková, Kristýna
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost
Obhajoba diplomové práce: Automatické testování OAuth2 s OIDC | Práce na příbuzné téma

100.
Dočkal, Petr
Fakulta: Fakulta sportovních studií
Rok: 2021, 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: Úroveň vybraných motorických schopností u hráčů házené | Práce na příbuzné téma