Theses on a related topic (having the same keywords):
implementation, state space reductions, llvm, multi-threading, shared memory, model checking, linear temporal logic, parallel algorithms, distributed memory, partial order reduction, explicit-state model checking, software model checking, interpreter, exception handlingKeywords ordered alphabetically | Keywords ordered by occurrence rate
301.
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
302.
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
303.
Zeman, Vlastimil
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Analýza cache-timing útokov | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Analýza cache-timing útokov | Theses on a related topic
304.
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
305.
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
306.
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
307.
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
308.
Žák, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Coloured Nested DFS | 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: Coloured Nested DFS | Theses on a related topic
309.
Ž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
310.
Ž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