Theses on a related topic (having the same keywords):
divine, buchi automata, implementation, c++, formalni verifikace, formal verification, model checking, ltl, overovani modelu, buchiho automaty, implementaceKeywords ordered alphabetically | Keywords ordered by occurrence rate
451.
Wiesner, David
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelizace obrazového simulátoru buněčných populací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelizace obrazového simulátoru buněčných populací | Theses on a related topic
452.
Wittenberg, Niels
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Governance
Master's thesis defence: The Externalisation of Animal Welfare Standards by the EU through Free Trade Agreements: Cases of Ukraine, Chile and Canada’ | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Governance
Master's thesis defence: The Externalisation of Animal Welfare Standards by the EU through Free Trade Agreements: Cases of Ukraine, Chile and Canada’ | Theses on a related topic
453.
Wörgötter, Martin
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Domain-specific English-Czech Neural Machine Translation | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Domain-specific English-Czech Neural Machine Translation | Theses on a related topic
454.
Začal, Martin
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Dopady práva EU na územní plánování a související ochranu životního prostředí | Theses on a related topic
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Dopady práva EU na územní plánování a související ochranu životního prostředí | Theses on a related topic
455.
Zagorová, Pavla
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in Mathematics
Advanced Master's thesis defence: Multimediální diskrétní matematika
Advanced Master's thesis defence: Multimediální diskrétní matematika | Theses on a related topic
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in Mathematics
Advanced Master's thesis defence: Multimediální diskrétní matematika
Advanced Master's thesis defence: Multimediální diskrétní matematika | Theses on a related topic
456.
Zahuta, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Podpora pro výuku s použitím prvků gamifikace | 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: Podpora pro výuku s použitím prvků gamifikace | Theses on a related topic
457.
Zachar, Lev Martin
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Machine learning and artificial intelligence
Master's thesis defence: Digital Poet | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Machine learning and artificial intelligence
Master's thesis defence: Digital Poet | Theses on a related topic
458.
Zachoval, Martin
Faculty: Faculty of Law
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Směrnice o službách na vnitřním trhu | Theses on a related topic
Faculty: Faculty of Law
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Směrnice o službách na vnitřním trhu | Theses on a related topic
459.
Zbončáková, Tatiana
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Theses on a related topic
460.
Zbořil, Martin
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Postavení advokáta v právu ES | Theses on a related topic
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Postavení advokáta v právu ES | Theses on a related topic
461.
Zelenková, Laura
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modernizace hudebního serveru freemusic.cz | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modernizace hudebního serveru freemusic.cz | Theses on a related topic
462.
Zhukova, Anna
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Semi-Automatic Fusion of Multiple Cell Tracking Annotations | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Semi-Automatic Fusion of Multiple Cell Tracking Annotations | Theses on a related topic
463.
Zich, 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: Grafická reprezentace formulí logiky HCTL | Theses on a related topic
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: Grafická reprezentace formulí logiky HCTL | Theses on a related topic
464.
Zichová, Lenka
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Evropské strukturální fondy | Theses on a related topic
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Evropské strukturální fondy | Theses on a related topic
465.
Zichová, Renata
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Evropský zatýkací rozkaz | Theses on a related topic
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Evropský zatýkací rozkaz | Theses on a related topic
466.
Ziman, Michal
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Segmentace biomedicínského obrazu pomocí otevřených aktivních kontur | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Segmentace biomedicínského obrazu pomocí otevřených aktivních kontur | Theses on a related topic
467.
Zollerová, Patrícia
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Implementace konceptu EVA ve vybrané společnosti | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Implementace konceptu EVA ve vybrané společnosti | Theses on a related topic
468.
Zouharová, Lenka
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Mathematics - Economics
Bachelor's thesis defence: Matematické aspekty hold'em pokeru | Theses on a related topic
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Mathematics - Economics
Bachelor's thesis defence: Matematické aspekty hold'em pokeru | Theses on a related topic
469.
Zvoňárová, Pavla
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Education / Education
Bachelor's thesis defence: Podnikové vzdělávání a jeho úloha v řízení lidských zdrojů | Theses on a related topic
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Education / Education
Bachelor's thesis defence: Podnikové vzdělávání a jeho úloha v řízení lidských zdrojů | Theses on a related topic
470.
Žalmánek, Petr
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: Projektový manažer na úrovni obce - implementace, bariéry, přínosy | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: Projektový manažer na úrovni obce - implementace, bariéry, přínosy | Theses on a related topic
471.
Žaludová, Veronika
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Zavedení controllingu v konkrétním podniku | Theses on a related topic
Master's thesis defence: Zavedení controllingu v konkrétním podniku | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Zavedení controllingu v konkrétním podniku | Theses on a related topic
Master's thesis defence: Zavedení controllingu v konkrétním podniku | Theses on a related topic
472.
Živčic, Jozef
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Webové rozhraní k testování náhodnosti | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Webové rozhraní k testování náhodnosti | Theses on a related topic