Theses on a related topic (having the same keywords):
metric interval temporal logic, monitoring, verification, testing, model checking, linear temporal logic, partial observability, formula rewriting, measurement inaccuraciesKeywords ordered alphabetically | Keywords ordered by occurrence rate
51.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis for Systems with Real Time | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis for Systems with Real Time | Theses on a related topic
52.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroje pro automatickou analýzu dynamicky alokované paměti | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroje pro automatickou analýzu dynamicky alokované paměti | Theses on a related topic
53.
Blahútová, Andrea
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / English Language and Literature, Geography and Cartography with a view to Education
Bachelor's thesis defence: Analýza výsledků přijímacího testu ze zeměpisu | Theses on a related topic
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / English Language and Literature, Geography and Cartography with a view to Education
Bachelor's thesis defence: Analýza výsledků přijímacího testu ze zeměpisu | Theses on a related topic
54.
Blašková, Veronika
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics
Master's thesis defence: Ověřování projektů auditorem | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics
Master's thesis defence: Ověřování projektů auditorem | Theses on a related topic
55.
Blažek, Ján
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Ecological and Evolutionary Biology / Ecological and Evolutionary Biology (combination/specialization: Zoology)
Bachelor's thesis defence: Termální profil netopýrů na zimovištích s výskytem WNS | Theses on a related topic
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Ecological and Evolutionary Biology / Ecological and Evolutionary Biology (combination/specialization: Zoology)
Bachelor's thesis defence: Termální profil netopýrů na zimovištích s výskytem WNS | Theses on a related topic
56.
Blažek, Ján
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Ecological and Evolutionary Biology / Zoology
Master's thesis defence: Chování netopýrů na zimovištích s výskytem WNS | Theses on a related topic
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Ecological and Evolutionary Biology / Zoology
Master's thesis defence: Chování netopýrů na zimovištích s výskytem WNS | Theses on a related topic
57.
Blažek, Michal
Faculty: Faculty of Sports Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Fitness and Personal Trainer / Fitness and Personal Trainer
Bachelor's thesis defence: Analýza kondičních parametrů (GPS) při zápasech reprezentace U21 na EURU 2023 (Gruzie, Rumunsko). | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Fitness and Personal Trainer / Fitness and Personal Trainer
Bachelor's thesis defence: Analýza kondičních parametrů (GPS) při zápasech reprezentace U21 na EURU 2023 (Gruzie, Rumunsko). | Theses on a related topic
58.
Borčin, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Monitorování aktivity služeb v platformě SilverWare | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Monitorování aktivity služeb v platformě SilverWare | Theses on a related topic
59.
Borýsek, Ondřej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Web Certificate monitoring system | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Web Certificate monitoring system | Theses on a related topic
60.
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
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
61.
Brázda, Jan
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Collection and Evaluation of Monitoring Data from the Kubernetes Environment | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Collection and Evaluation of Monitoring Data from the Kubernetes Environment | Theses on a related topic
62.
Brázda, Štěpán
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Biology / Mathematical Biology
Bachelor's thesis defence: Návrh informačního systému pro zpracování dat environmentálního monitoringu | Theses on a related topic
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Biology / Mathematical Biology
Bachelor's thesis defence: Návrh informačního systému pro zpracování dat environmentálního monitoringu | Theses on a related topic
63.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
64.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
65.
Brlej, Šimon
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes | Theses on a related topic
66.
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
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
67.
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
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
68.
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
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
69.
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
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
70.
Brtníčková, Libuše
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Upper Secondary School Teacher Training in Biology / Teaching of Mathematics for Secondary Schools, Upper Secondary School Teacher Training in Biology
Master's thesis defence: Ochrana a obnova rašelinišť a středoškolská výuka | Theses on a related topic
Master's thesis defence: Ochrana a obnova rašelinišť a středoškolská výuka | Theses on a related topic
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Upper Secondary School Teacher Training in Biology / Teaching of Mathematics for Secondary Schools, Upper Secondary School Teacher Training in Biology
Master's thesis defence: Ochrana a obnova rašelinišť a středoškolská výuka | Theses on a related topic
Master's thesis defence: Ochrana a obnova rašelinišť a středoškolská výuka | Theses on a related topic
71.
Budáč, Jozef
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace monitorovacího nástroje | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace monitorovacího nástroje | Theses on a related topic
72.
Buchtová, Barbora
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Mapování internetových memů v prostředí blogosféry a sociálních sítí | Theses on a related topic
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Mapování internetových memů v prostředí blogosféry a sociálních sítí | Theses on a related topic
73.
Buchtová, Júlia
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Ecological and Evolutionary Biology / Ecological and Evolutionary Biology
Bachelor's thesis defence: Prostupnost silničních staveb pro letouny | Theses on a related topic
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Ecological and Evolutionary Biology / Ecological and Evolutionary Biology
Bachelor's thesis defence: Prostupnost silničních staveb pro letouny | Theses on a related topic
74.
Bureš, Jiří
Faculty: Faculty of Sports Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Regeneration and Nutrition in Sport
Bachelor's thesis defence: Monitoring badmintonových hráčů během soutěžního období v rámci prevence přetrénování | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Regeneration and Nutrition in Sport
Bachelor's thesis defence: Monitoring badmintonových hráčů během soutěžního období v rámci prevence přetrénování | Theses on a related topic
75.
Bureš, Lukáš
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Biology / Systematic Biology and Ecology (combination/specialization: Systematic Zoology and Ecology)
Bachelor's thesis defence: Společenstvo saproxylických brouků Národní přírodní památky Rendezvous zjištěné odchytem do nárazových pastí | Theses on a related topic
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Biology / Systematic Biology and Ecology (combination/specialization: Systematic Zoology and Ecology)
Bachelor's thesis defence: Společenstvo saproxylických brouků Národní přírodní památky Rendezvous zjištěné odchytem do nárazových pastí | Theses on a related topic
76.
Burget, Rostislav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
77.
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
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
78.
Cambelová, Adriana maiden name: Husárová
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Skríning prioritních znečišťujících látek v povodích řek na Slovensku metodou pasivního vzorkováni | Theses on a related topic
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Skríning prioritních znečišťujících látek v povodích řek na Slovensku metodou pasivního vzorkováni | Theses on a related topic
79.
Čecháčková, Jana
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Návrh a implementace rozhraní pro monitorování komponenty Engine systému Perun | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Návrh a implementace rozhraní pro monitorování komponenty Engine systému Perun | Theses on a related topic
80.
Čejková, Hana maiden name: Sloupenská
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Služby mobilního monitoringu se zaměřením na Českou republiku | Theses on a related topic
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Služby mobilního monitoringu se zaměřením na Českou republiku | Theses on a related topic
81.
Čekovský, Filip
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Automated Testing of Anasoft's EMANS Product Lines | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Automated Testing of Anasoft's EMANS Product Lines | Theses on a related topic
82.
Čermák, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Porovnání modelovacích schopností verifikačních nástrojů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Porovnání modelovacích schopností verifikačních nástrojů | Theses on a related topic
83.
Čermáková, Kristýna
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Media Studies and Journalism / Environmental Studies, Media Studies and Journalism
Bachelor's thesis defence: Série reportážních fotografií z monitoringu vlků v České republice | Theses on a related topic
Bachelor's thesis defence: Série reportážních fotografií z monitoringu vlků v České republice | Theses on a related topic
Bachelor's thesis defence: Fotoreportáže monitoringu vlků v České republice pro Deník N | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Media Studies and Journalism / Environmental Studies, Media Studies and Journalism
Bachelor's thesis defence: Série reportážních fotografií z monitoringu vlků v České republice | Theses on a related topic
Bachelor's thesis defence: Série reportážních fotografií z monitoringu vlků v České republice | Theses on a related topic
Bachelor's thesis defence: Fotoreportáže monitoringu vlků v České republice pro Deník N | Theses on a related topic
84.
Č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
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
85.
Červíková, Kateřina
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Animator of Sport Activities, Media Studies and Journalism
Bachelor's thesis defence: Vliv mobilní aplikace Pokémon Go na úroveň pohybové aktivity hráčů ve věku 11–15 let | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Animator of Sport Activities, Media Studies and Journalism
Bachelor's thesis defence: Vliv mobilní aplikace Pokémon Go na úroveň pohybové aktivity hráčů ve věku 11–15 let | Theses on a related topic
86.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Parallel Quantitative Analysis of Probabilistic Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Parallel Quantitative Analysis of Probabilistic Systems | Theses on a related topic
87.
Čuchran, Martin
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Centrální řízení počítačových stanic | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Centrální řízení počítačových stanic | Theses on a related topic
88.
Danišová, Andrea
Faculty: Faculty of Education
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Foreign Languages - English
Bachelor's thesis defence: Case study: Motivation, evaluation preferences and personality of adult learners | Theses on a related topic
Faculty: Faculty of Education
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Foreign Languages - English
Bachelor's thesis defence: Case study: Motivation, evaluation preferences and personality of adult learners | Theses on a related topic
89.
Danišová, Andrea
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School and Language School Teacher Training in English Language
Master's thesis defence: Motivation, evaluation preference and personality of adult learners and language teachers role- case study | Theses on a related topic
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School and Language School Teacher Training in English Language
Master's thesis defence: Motivation, evaluation preference and personality of adult learners and language teachers role- case study | Theses on a related topic
90.
Daubner, Lukáš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Effective computer infrastructure monitoring | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Effective computer infrastructure monitoring | Theses on a related topic
91.
Daubner, Lukáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Computer systems, communication and security
Master's thesis defence: Assurance of Forensic-Ready Software Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Computer systems, communication and security
Master's thesis defence: Assurance of Forensic-Ready Software Systems | Theses on a related topic
92.
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
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
93.
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
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
94.
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
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
95.
Dluhoš, Petr
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Specification and monitoring of oscillation properties in dynamical systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Specification and monitoring of oscillation properties in dynamical systems | Theses on a related topic
96.
Doleček, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Komplexní systém pro správu a evidenci zákazníků a síťových zařízení poskytovatelů síťových připojení | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Komplexní systém pro správu a evidenci zákazníků a síťových zařízení poskytovatelů síťových připojení | Theses on a related topic
97.
Doležalová, Ivana
Faculty: Faculty of Law
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Postup před zahájením trestního stíhání se zaměřením na policejní orgán | Theses on a related topic
Faculty: Faculty of Law
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Postup před zahájením trestního stíhání se zaměřením na policejní orgán | Theses on a related topic
98.
Doubrava, Pavel
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Vztah mezi obezitou a ukazateli zdravotně orientované zdatnosti žáků na 1. stupni ZŠ | Theses on a related topic
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Vztah mezi obezitou a ukazateli zdravotně orientované zdatnosti žáků na 1. stupni ZŠ | Theses on a related topic
99.
Draštíková, Pavla
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Hodnocení kvality ovzduší v Evropě pomocí sítě pasivního vzorkování MONET Europe. | Theses on a related topic
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Hodnocení kvality ovzduší v Evropě pomocí sítě pasivního vzorkování MONET Europe. | Theses on a related topic
100.
Draštíková, Pavla
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Environmental Chemistry
Master's thesis defence: Globální distribuce atmosférických organických polutantů | Theses on a related topic
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Environmental Chemistry
Master's thesis defence: Globální distribuce atmosférických organických polutantů | Theses on a related topic