Theses on a related topic (having the same keywords):
divine, implementation, tree compression, state-space explosion, model checkingKeywords ordered alphabetically | Keywords ordered by occurrence rate
251.
Švajdová, Petra
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Vnímání společenské odpovědnosti firmy ze strany jejích zaměstnanců | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Vnímání společenské odpovědnosti firmy ze strany jejích zaměstnanců | Theses on a related topic
252.
Táborský, Adam
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Monitoring trhu práce a jeho implementace ve Švédsku | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Monitoring trhu práce a jeho implementace ve Švédsku | Theses on a related topic
253.
Trnková, Klára
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Pohádka v hodinách výtvarné výchovy na prvním stupni základní školy | Theses on a related topic
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Pohádka v hodinách výtvarné výchovy na prvním stupni základní školy | Theses on a related topic
254.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic
255.
Trúsiková, Daniela maiden name: Kozempelová
Faculty: Faculty of Medicine
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Intensive Care / Intensive Care
Master's thesis defence: Implementácia nových vedeckých poznatkov do ošetrovateľskej praxe v prostredí intenzívnej starostlivosti | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Intensive Care / Intensive Care
Master's thesis defence: Implementácia nových vedeckých poznatkov do ošetrovateľskej praxe v prostredí intenzívnej starostlivosti | Theses on a related topic
256.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace specifikačních vzorů pro temporální logiky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace specifikačních vzorů pro temporální logiky | Theses on a related topic
257.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic
258.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Verification of probabilistic systems against quantified linear properties | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Verification of probabilistic systems against quantified linear properties | Theses on a related topic
259.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic
260.
Tvrdoň, Čeněk
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Posouzení účinnosti a efektivity vzdělávacího programu | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Posouzení účinnosti a efektivity vzdělávacího programu | Theses on a related topic
261.
Urbánková, Vlasta maiden name: Pelajová
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in English Language and Literature, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Interaktivní materiály k středoškolské matematické analýze | Theses on a related topic
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in English Language and Literature, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Interaktivní materiály k středoškolské matematické analýze | Theses on a related topic
262.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
263.
Vaculík, Milan
Faculty: Faculty of Law
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Směrnice 93/13/EHS a její implementace do soukromého práva ČR (ochrana spotřebitele) | 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 93/13/EHS a její implementace do soukromého práva ČR (ochrana spotřebitele) | Theses on a related topic
264.
Vanický, Šimon
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
265.
Vejpustek, Tomáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic
266.
Veselá, Karolína
Faculty: Faculty of Economics and Administration
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Business Informatics / Business Informatics
Bachelor's thesis defence: Zhodnocení implementace online čárových kódů v podniku | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Business Informatics / Business Informatics
Bachelor's thesis defence: Zhodnocení implementace online čárových kódů v podniku | Theses on a related topic
267.
Vítková, Natália
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Implementace Strategie Evropské unie pro boj proti terorismu národními státy | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Implementace Strategie Evropské unie pro boj proti terorismu národními státy | Theses on a related topic
268.
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
269.
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
270.
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
271.
Vozárová, Viktória
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Craig's Interpolant in Model Checking Algorithms | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Craig's Interpolant in Model Checking Algorithms | Theses on a related topic
272.
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
273.
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
274.
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
275.
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
276.
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
277.
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
278.
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
279.
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
280.
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
281.
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
282.
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
283.
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
284.
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
285.
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
286.
Ž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
287.
Ž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