Theses on a related topic (having the same keywords):
divine, abstraction, implementation, lart, symbolic model checking, llvm, program transformation, c, c++, formal verification, model checkingKeywords ordered alphabetically | Keywords ordered by occurrence rate
451.
Vlčková, Dagmar
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Poskytování IAP a jeho význam v procesu aktivace klienta | Theses on a related topic
Master's thesis defence: Poskytování IAP a jeho význam v procesu aktivace klienta | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Poskytování IAP a jeho význam v procesu aktivace klienta | Theses on a related topic
Master's thesis defence: Poskytování IAP a jeho význam v procesu aktivace klienta | Theses on a related topic
452.
Vodička, Luděk
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Životní cyklus informačního systému výrobního podniku | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Životní cyklus informačního systému výrobního podniku | Theses on a related topic
453.
Vojtková, Julie
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Combined Art Studies / Combined Art Studies
Bachelor's thesis defence: Antonín Vojtek: kresba, abstrakce, krajinomalba | Theses on a related topic
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Combined Art Studies / Combined Art Studies
Bachelor's thesis defence: Antonín Vojtek: kresba, abstrakce, krajinomalba | Theses on a related topic
454.
Vomelová, Jana
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Europeizace trestního práva hmotného | Theses on a related topic
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Europeizace trestního práva hmotného | Theses on a related topic
455.
Voříšková, Hana
Faculty: Faculty of Law
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Normotvorba obcí k ochraně zdravých životních podmínek | Theses on a related topic
Master's thesis defence: Normotvorba obcí k ochraně zdravých životních podmínek | Theses on a related topic
Faculty: Faculty of Law
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Normotvorba obcí k ochraně zdravých životních podmínek | Theses on a related topic
Master's thesis defence: Normotvorba obcí k ochraně zdravých životních podmínek | Theses on a related topic
456.
Vrba, Jiří
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Business Management / Business Management
Master's thesis defence: Návrh akčního plánu CSR | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Business Management / Business Management
Master's thesis defence: Návrh akčního plánu CSR | Theses on a related topic
457.
Vyšohlídová, Magdaléna
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Combined Art Studies / Combined Art Studies
Bachelor's thesis defence: Výtvarný svět Bronisława Liberdy | Theses on a related topic
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Combined Art Studies / Combined Art Studies
Bachelor's thesis defence: Výtvarný svět Bronisława Liberdy | Theses on a related topic
458.
Weiser, Jiří
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: TCP vrstva pro verifikační nástroj DIVINE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: TCP vrstva pro verifikační nástroj DIVINE | Theses on a related topic
459.
Werl, Pavel
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Arbitrážní příležitosti na vybraných finančních trzích Východní Asie | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Arbitrážní příležitosti na vybraných finančních trzích Východní Asie | Theses on a related topic
460.
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
461.
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
462.
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
463.
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
464.
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
465.
Zárubová, Kristýna
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Master's thesis defence: Od sociálních inovací k advokacii: úsilí o změny ve společnosti | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Master's thesis defence: Od sociálních inovací k advokacii: úsilí o změny ve společnosti | Theses on a related topic
466.
Zezulčíková, Markéta
Faculty: Faculty of Law
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Implementace směrnice o službách na vnitřním trhu v ČR | Theses on a related topic
Faculty: Faculty of Law
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Implementace směrnice o službách na vnitřním trhu v ČR | Theses on a related topic
467.
Zhuk, Marharyta
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modelování a verifikace platebního systému | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modelování a verifikace platebního systému | Theses on a related topic
468.
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
469.
Zigo, Rostislav
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Comparative and Art Studies
Master's thesis defence: Znak a obraz v artificialismu | Theses on a related topic
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Comparative and Art Studies
Master's thesis defence: Znak a obraz v artificialismu | Theses on a related topic
470.
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
471.
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
472.
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
473.
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
474.
Ž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
475.
Ž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
476.
Ž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