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

divine, distribuovane vypocty, model checking, vykonnost, testovani

Keywords ordered alphabetically | Keywords ordered by occurrence rate

51.
Bača, Vladimír
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Počítačová podpora pro specifikaci požadavků v LTL | Theses on a related topic Display description

52.
Balek, Jan
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in English Language and Literature
Master's thesis defence: English Dialect Preferences of High School Students | Theses on a related topic

53.
Balunová, Eliška
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Ekonomická analýza podniku | Theses on a related topic

54.
Baranová, Zuzana
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Compiling Applications for Analysis with DIVINE | Theses on a related topic

55.
Barnišin, Ľubomír
Faculty: Faculty of Economics and Administration
Year: 2021, studies completed, degree conferred: Ing.
Programme/field: Finance / Finance
Master's thesis defence: Investování do pákových ETFs a analýza jejich výkonnosti | Theses on a related topic

56.
Bárta, Petr
Faculty: Faculty of Sports Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Regeneration and Nutrition in Sport
Bachelor's thesis defence: Změny v pohybovém aparátu související s poškozením měkkých struktur kolene | Theses on a related topic

57.
Barták, Tomáš
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Ekonomické a právní aspekty corporate governance v podniku | Theses on a related topic
Master's thesis defence: Ekonomické a právní aspekty corporate governance v podniku | Theses on a related topic

58.
Bartoníček, David
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Business Management / Business Management
Bachelor's thesis defence: Identifikace omezení výkonnosti podniku | Theses on a related topic

59.
Bauch, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Automating Software Development with Explicit Model Checking | Theses on a related topic

60.
Bednář, Jan
Faculty: Faculty of Sports Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Inovace testové baterie ve volejbale | Theses on a related topic

61.
Bednářová, Hana
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism (combination/specialization: Journalism), Political Science
Bachelor's thesis defence: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Theses on a related topic

62.
Bejr, Daniel
Faculty: Faculty of Sports Studies
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Porovnání úrovně koordinačních a rychlostních schopností mladých fotbalistů na dvou rozdílných výkonnostních úrovních | Theses on a related topic

63.
Benáček, Jiří
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Měření výkonnosti podniku pomocí finančních i nefinančních ukazatelů | Theses on a related topic

64.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Verification of Component Interaction in Component-Based Systems | Theses on a related topic

65.
Beránková, Anna maiden name: Matušková
Faculty: Faculty of Law
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Testování zboží a služeb podnikatelů jako nekalosoutěžní jednání? | Theses on a related topic

66.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: LTL atraktory | Theses on a related topic

67.
Bílek, Jan
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Training of condition)
Master's thesis defence: Testování kondičních schopností a aplikace současných trendů fitness u hráčů basketbalu | Theses on a related topic
Master's thesis defence: Testování kondičních schopností a aplikace současných trendů fitness u hráčů basketbalu | Theses on a related topic

68.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automata for Formal Methods: Little Steps Towards Perfection | Theses on a related topic

69.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Linear Temporal Logic and omega-automata | Theses on a related topic

70.
Božek, Ondřej
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Údržba a modernizace webových projektů | Theses on a related topic

71.
Brabencová, Lenka
Faculty: Faculty of Medicine
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Medical Rehabilitation and Physiotherapy
Master's thesis defence: 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
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Data mining z grafů | Theses on a related topic

73.
Brosková, Beata
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Změna podnikové kultury podniku po vstupu do strategické aliance | Theses on a related topic

74.
Brózman, Ondřej
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Special Biology (combination/specialization: Ecotoxicology)
Bachelor's thesis defence: Nové metody stanovení genotoxicity v ekotoxikologii | Theses on a related topic

75.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Decidability and complexity of infinite-state stochastic games | Theses on a related topic

76.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Basic Model Checking Problems for Stochastic Games | Theses on a related topic

77.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Basic model-checking problems for stochastic games | Theses on a related topic

78.
Brychta, Tomáš
Faculty: Faculty of Sports Studies
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Fitness Trainer
Master's thesis defence: Pohár rozhlasu-vyhodnocení výkonnosti za období 2008-2017 | Theses on a related topic

79.
Brzobohatý, Patrick
Faculty: Faculty of Sports Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Fitness Trainer
Master's thesis defence: Úroveň vybraných motorických schopností klientů fitnesscentra | Theses on a related topic

80.
Bukáčková, Jitka maiden name: Šiborová
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Stáří v kontextu lidského života | Theses on a related topic

81.
Bukáčková, Jitka maiden name: Šiborová
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: PhDr.
Programme/field: Psychology / Psychology
Advanced Master's thesis defence: Životní spokojenost onkologických seniorů | Theses on a related topic
Advanced Master's thesis defence: Životní spokojenost onkologických pacientů v seniorském věku | Theses on a related topic

82.
Bulánek, Viktor
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Soudobé techniky testování bezpečnosti software

83.
Buriánek, Tomáš
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Techniky programování kvantových počítačů | Theses on a related topic

84.
Burianová, Alica
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Efektívnosť komerčných bánk na Slovensku a v Českej republike | Theses on a related topic

85.
Buryšková, Monika
Faculty: Faculty of Economics and Administration
Year: 2024, studies under way
Programme/field: Finance / Finance
Bachelor's thesis defence: Zhodnocení výkonnosti penzijního spoření v České republice | Theses on a related topic

86.
Buřt, Lukáš
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education, Lower Secondary School Teacher Training in Civics
Master's thesis defence: Optimalizace tréninkového zatížení rozehrávaček v ženském basketbalu ve výkonnostní kategorii | Theses on a related topic

87.
Cekulová, Valerie
Faculty: Faculty of Economics and Administration
Year: 2024, studies under way
Programme/field: Business Management / Business Management
Bachelor's thesis defence: Finanční analýza podniku a její vliv na výkonnost a konkurenceschopnost | Theses on a related topic

88.
Cetlová, Zuzana
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Upper Secondary School Teacher Training in Biology, Upper Secondary School Teacher Training in Chemistry
Master's thesis defence: Tvorba databáze otázek pro testování znalostí středoškolské chemie | Theses on a related topic

89.
Cikrdlová, Martina
Faculty: Faculty of Sports Studies
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Trenérství)
Master's thesis defence: Zjišťování úrovně pohybových předpokladů pro atletickou přípravu 9-10letých dětí pomocí testovacího systému " 3P" | Theses on a related topic

90.
Citovská, Vendula
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Czech Language and Literature, Lower Secondary School Teacher Training in English Language and Literature
Bachelor's thesis defence: Psychická zátěž pedagogů - syndrom vyhoření | Theses on a related topic

91.
Cívka, Dominik
Faculty: Faculty of Sports Studies
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Strength and Conditioning Training and Applied Kinesiology / Strength and Conditioning Training
Master's thesis defence: Využití laboratorních a terénních on-ice a off-ice testů mládežnických hráčů ledního hokeje | Theses on a related topic

92.
Časarová, Kateřina
Faculty: Faculty of Education
Year: 2024, studies under way
Programme/field: Lower Secondary School Teacher Training in Czech Language and Literature for Pupils with a Different Mother Tongue / Lower Secondary School Teacher Training in Czech Language and Literature for Pupils with a Different Mother Tongue
Master's thesis defence: Evaluace kurzů češtiny jako druhého jazyka v Centru pro cizince JMK | Theses on a related topic

93.
Čechová, Eliška
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Animator of Sport Activities, Basics of Social Studies for Education
Bachelor's thesis defence: Přetrvávající primární reflexy v hodině tělesné výchovy u dětí mladšího školního věku | Theses on a related topic

94.
Čepán, Filip
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Finance / Finance
Bachelor's thesis defence: Analýza výnosnosti vybraného segmentu ETFs | Theses on a related topic

95.
Černý, Jan
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance and Law
Bachelor's thesis defence: Investiční strategie fondů kolektivního investování v soudobých podmínkách České republiky | Theses on a related topic

96.
Černý, Jiří
Faculty: Faculty of Sports Studies
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Sports Education)
Master's thesis defence: Monitorování tělesného rozvoje a pohybové výkonnosti studentů 4. ročníku SOŠ | Theses on a related topic

97.
Čtvrtníková, Tereza
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Projektové řízení v podniku - současné problémy | Theses on a related topic

98.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Rozšíření a refaktorizace nástroje BioDiVinE | Theses on a related topic

99.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Theses on a related topic

100.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Computer Systems
Advanced Master's thesis defence: Parameter Synthesis of Dynamical Systems via Model Checking | Theses on a related topic