Theses on the Same Topic

Havlíček, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Untimed LTL Model Checking of Timed Automata | Theses on a related topic

Havlina, Jaromír
Faculty: Faculty of Law
Year: 2020, studies terminated for failure to fulfill study requirements
Programme/field: Public Policy / Public Administration
Master's thesis defence: Dokazování v přestupkovém řízení | Theses on a related topic

Havlínová, Zdena
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics, Combined Art Studies
Bachelor's thesis defence: Pojem realismus v českém filmu 60. let. | Theses on a related topic
Bachelor's thesis defence: Pojem realismus v českém filmu 60. let | Theses on a related topic

Hejtmánková, Zuzana
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Pojetí vědy u Emanuela Rádla | Theses on a related topic
Master's thesis defence: Pojetí vědy u Emanuela Rádla | Theses on a related topic

Hromádková, Věra
Faculty: Faculty of Law
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Důkazní řízení jako narativ | Theses on a related topic

Hudečková, Jana
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Basics of Social Studies for Education, Music for Education
Bachelor's thesis defence: Pojetí krásna (estetična) v dějinách evropských či světových kultur | Theses on a related topic

Chalupa, Marek
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Theoretical Informatics
Advanced Master's thesis defence: Symbolic Execution for Verification | Theses on a related topic

Jarec, Samuel
Faculty: Faculty of Law
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Policejní provokace a zkouška spolehlivosti - meze jejich užití v trestním řízení | Theses on a related topic

Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Memory Safety with Predator and Symbiotic | Theses on a related topic

Kačer, Tomáš
Faculty: Faculty of Arts
Year: 2004, studies completed, degree conferred: Mgr.
Programme/field: Humanities / English Language and Literature, Philosophy
Master's thesis defence: Science on Stage: Scientific Issues in Contemporary Anglo-American Playwriting | Theses on a related topic

Kadaši, Jakub
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Verifikace paralelní hashovací tabulky z knihovny Folly | Theses on a related topic

Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Virtual File System in DIVINE 4 | Theses on a related topic

Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Model Checking with System Call Traces | Theses on a related topic

Kelnar, David
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Special Education, Lower Secondary School Teacher Training in Technical Education
Master's thesis defence: Informovanost pedagogických pracovníků základních škol o problematice poruch příjmu potravy | Theses on a related topic

Klečková, Sára
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology, Sociology
Bachelor's thesis defence: Souvislost mezi tendencí ke lhaní a schopností efektivně řešit konflikty | Theses on a related topic
Bachelor's thesis defence: Souvislost mezi tendencí ke lhaní a styly řešení konfliktů | Theses on a related topic

Klimendová, Iva
Faculty: Faculty of Law
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Výslech jako důkazní prostředek se zaměřením na jeho taktiku | Theses on a related topic

Kocián, Pavel
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Využití odborníků a znalců při kriminalistické činnosti | Theses on a related topic

Kociánová, Hana
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Ověření metody Behavioral Systems Questionnaire pro českou populaci | Theses on a related topic

Kollár, Matej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Formální manipulace s odvozovacími systémy | Theses on a related topic

Kopáček, Petr
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Humanities / Media Studies and Journalism (combination/specialization: Media Studies), Philosophy
Bachelor's thesis defence: Sémantika fikčních světů: zpátky do filosofie | Theses on a related topic

Kováč, Vladimír
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic

Kovalíková, Lenka
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Bioanalytical Laboratory Diagnostics in Medicine - Bioanalytic / Bioanalytical Laboratory Diagnostics in Medicine - Bioanalyst
Master's thesis defence: Exprese proteinu Schlafen 11 u karcinomu ovaria | Theses on a related topic

Krajáč, Petr
Faculty: Faculty of Arts
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Philosophy / Philosophy
Advanced Master's thesis defence: Pravda v lidské komunikaci | Theses on a related topic

Krajáč, Petr
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: PhDr.
Programme/field: Philosophy / Philosophy
Advanced Master's thesis defence: Aktuální problémy pravdy - Filosofická analýza | Theses on a related topic

Krchňák, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxying, recording and replaying syscalls in DiOS | Theses on a related topic

Kriho, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Post-mortem analýza stavového prostoru | Theses on a related topic

Kriho, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Enhanced parser for DVE modelling language | Theses on a related topic

Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modal Transition Systems: Extensions and Analysis | Theses on a related topic

Kucharczyk, Jakub
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Technology and IT Education
Bachelor's thesis defence: Měl Machiavelli pravdu? | Theses on a related topic
Bachelor's thesis defence: Měl Machiavelli pravdu? | Theses on a related topic

Madzia, Roman
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Pragmatistické kořeny filosofie George Herberta Meada | Theses on a related topic

Maksović, Sofija
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Model-Based Analysis of Forensic-Ready Software Systems | Theses on a related topic

Marková, Petra
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Mytológia v karikatúrach s náboženskou tematikou v dennej tlači na Slovensku | Theses on a related topic

Matuška, Jindřich
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Verification of binarised neural networks using ASP | Theses on a related topic

Mičan, Pavel
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Trading space for time in explicit-state model checking | Theses on a related topic

Mihalkovič, Vincent
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Improved translation of LLVM IR code to C | Theses on a related topic

Michálek, Marek
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Philosophy / English Language and Literature, Philosophy
Bachelor's thesis defence: Intuicionistic Type Theory and its Application to Natural Language | Theses on a related topic

Miléřová, Drahoslava
Faculty: Faculty of Law
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Postavení státního zástupce v trestním řízení | Theses on a related topic

Moravčík, Marek
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vizualizace stavových prostorů | Theses on a related topic

Murasová, Markéta
Faculty: Faculty of Medicine
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Medical Laboratory Technologist / Medical Laboratory Technologist
Bachelor's thesis defence: Zavedení nové metody pro stanovení glukózy | Theses on a related topic

Nagy, Imrich
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Information security
Master's thesis defence: Building open profiles of certified cryptographic devices | Theses on a related topic

Němec, Richard
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools – Specialisation Mechanical Engineering
Master's thesis defence: Zvýšení odborné způsobilosti žáků středních odborných škol s elektrotechnickým zaměřením | Theses on a related topic

Nevěčná, Kamila
Faculty: Faculty of Education
Year: 2009, 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: Loves from Different Points of View in I. Murdoch's Novels | Theses on a related topic

Nikl, Radek
Faculty: Faculty of Arts
Year: 2015, 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: The Concept of Memory in Selected Works by Julian Barnes | Theses on a related topic

Nohejl, Jaroslav
Faculty: Faculty of Education
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Education / Social Education
Master's thesis defence: Sekty a sektářství - nebezpečí pro mladé lidi současné společnosti | Theses on a related topic

Novák, Jakub
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Improvements of Memory Management in KLEE | Theses on a related topic

Novák, Jakub
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Lazy object initialization support in KLEE | Theses on a related topic

Opavský, Vladimír
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Bezpečnosť technológie JavaCard | Theses on a related topic

Oravec, Michal
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dokumentární film | Theses on a related topic

Oškrkaný, Pavel
Faculty: Faculty of Social Studies
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Humanities / History, Media Studies and Journalism (combination/specialization: Journalism)
Bachelor's thesis defence: Jugoslávský konflikt na stránkách českého a slovenského denního tisku v letech 1991– 1993 | Theses on a related topic
Bachelor's thesis defence: Jugoslávský konflikt na stránkách českého a slovenského denního tisku v letech 1991– 1993 | Theses on a related topic
Bachelor's thesis defence: Jugoslávský konflikt na stránkách českého a slovenského denního tisku v letech 1991–1993 | Theses on a related topic

Pánik, Matúš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Rozpoznávání obličejů s využitím technologií iFace SDK a IDKit Multimodal SDK | Theses on a related topic