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
151.
Kováčik, Milan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Simulation-based analysis of large-scale dynamical systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Simulation-based analysis of large-scale dynamical systems | Theses on a related topic
152.
Kováčová, Linda
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Theory of Interactive Media / Theory of Interactive Media
Bachelor's thesis defence: Vplyv umelej inteligencie na filmové festivaly | Theses on a related topic
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Theory of Interactive Media / Theory of Interactive Media
Bachelor's thesis defence: Vplyv umelej inteligencie na filmové festivaly | Theses on a related topic
153.
Kovaříková, Radmila
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: Programové prohlášení zastupitelstva vybraného města - sliby versus výsledek | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: Programové prohlášení zastupitelstva vybraného města - sliby versus výsledek | Theses on a related topic
154.
Kovářová, 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 role personalisty | 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 role personalisty | Theses on a related topic
155.
Kovářová, Petra
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Work (combination/specialization: Case Social Work)
Master's thesis defence: Postoje pracovníků k implementaci standardů kvality sociálně právní ochrany v zařízení pro děti vyžadující okamžitou pomoc | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Work (combination/specialization: Case Social Work)
Master's thesis defence: Postoje pracovníků k implementaci standardů kvality sociálně právní ochrany v zařízení pro děti vyžadující okamžitou pomoc | Theses on a related topic
156.
Kratina, Jaroslav
Faculty: Faculty of Sports Studies
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Management in Sport (combination/specialization: Management in Sport)
Bachelor's thesis defence: Potenciál trhu so športovou výživou v Českej republike a na Slovensku pre vstup novéj firmy | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Management in Sport (combination/specialization: Management in Sport)
Bachelor's thesis defence: Potenciál trhu so športovou výživou v Českej republike a na Slovensku pre vstup novéj firmy | Theses on a related topic
157.
Kratochvíla, Tomáš
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarových systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarových systémů | Theses on a related topic
158.
Kratochvílová, Pavla
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
159.
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
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
160.
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
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
161.
Krmíčková, Michaela maiden name: Pospíšilová
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Veřejná politika vůči neziskovému sektoru ve Francii | Theses on a related topic
Master's thesis defence: Veřejná politika vůči neziskovému sektoru ve Francii | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Veřejná politika vůči neziskovému sektoru ve Francii | Theses on a related topic
Master's thesis defence: Veřejná politika vůči neziskovému sektoru ve Francii | Theses on a related topic
162.
Křenek, Jan
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics, Social Informatics
Bachelor's thesis defence: Automatizace vývoje a údržby rezervačního systému LEMMA | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics, Social Informatics
Bachelor's thesis defence: Automatizace vývoje a údržby rezervačního systému LEMMA | Theses on a related topic
163.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Probabilistic Timed Systems with Non-Determinism | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Probabilistic Timed Systems with Non-Determinism | Theses on a related topic
164.
Kudrnáčová, Jitka
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Kešování stavů pod DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Kešování stavů pod DiVinE | Theses on a related topic
165.
Kurková, Michaela
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Evidence skutečných majitelů právnických osob | Theses on a related topic
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Evidence skutečných majitelů právnických osob | Theses on a related topic
166.
Kuzmin, Dmytro
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: IS pro servisní centrum fotografické techniky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: IS pro servisní centrum fotografické techniky | Theses on a related topic
167.
Kuzník, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Model Checking of promt-LTL 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: Model Checking of promt-LTL properties | Theses on a related topic
168.
Kyselica, Filip
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Nasazení ERP systému | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Nasazení ERP systému | Theses on a related topic
169.
Lacinová, Lenka
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Společenská odpovědnost firem v Moravskoslezském kraji | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Společenská odpovědnost firem v Moravskoslezském kraji | Theses on a related topic
170.
Láska, Ľuboš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování parametrizovaných systémů v jazyce DiVinE | Theses on a related topic
Bachelor's thesis defence: Analýza a hodnocení webových stránek veřejné správy | Theses on a related topic
Bachelor's thesis defence: Analýza a hodnocení webových stránek veřejné správy | 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: Modelování parametrizovaných systémů v jazyce DiVinE | Theses on a related topic
Bachelor's thesis defence: Analýza a hodnocení webových stránek veřejné správy | Theses on a related topic
Bachelor's thesis defence: Analýza a hodnocení webových stránek veřejné správy | Theses on a related topic
171.
Leskovská, Andrea
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: eGovernment a implementace inovace - vybraný subjekt veřejné správy | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: eGovernment a implementace inovace - vybraný subjekt veřejné správy | Theses on a related topic
172.
Linhart, Lukáš
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Automatické hledání chyb ve zdrojových kódech pomocí symbolické exekuce | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Automatické hledání chyb ve zdrojových kódech pomocí symbolické exekuce | Theses on a related topic
173.
Lipplová, Anna
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Implementace fondů EU v Jihočeském kraji
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Implementace fondů EU v Jihočeském kraji
174.
Liška, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Multiplatformní abstrakce OpenGL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Multiplatformní abstrakce OpenGL | Theses on a related topic
175.
Loskot, Jaroslav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Počítačová analýza a simulace hry poker | 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: Počítačová analýza a simulace hry poker | Theses on a related topic
176.
Ľupták, Martin
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Algoritmy pro rozpoznávání dotykových gest | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Algoritmy pro rozpoznávání dotykových gest | Theses on a related topic
177.
Mačák, Jan
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Theses on a related topic
178.
Maděryčová, Dita
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Economic Information Systems
Bachelor's thesis defence: Analýza trhu informačních systémů | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Economic Information Systems
Bachelor's thesis defence: Analýza trhu informačních systémů | Theses on a related topic
179.
Macháček, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Mapping the Omega-Automata Jungle | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Mapping the Omega-Automata Jungle | Theses on a related topic
180.
Malá, Karolína
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraický přístup k lineární temporální logice | Theses on a related topic
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraický přístup k lineární temporální logice | Theses on a related topic
181.
Maliha, Tomáš
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Dopad zavedení GDPR na procesy v podniku | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Dopad zavedení GDPR na procesy v podniku | Theses on a related topic
182.
Martoš, Lukáš
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Analýza podpory vedy a výskumu na európskej úrovni v dobe vytvárania Európskej výskumnej oblasti | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Analýza podpory vedy a výskumu na európskej úrovni v dobe vytvárania Európskej výskumnej oblasti | Theses on a related topic
183.
Matoušek, Adam
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Hledání podobností v domácích úlohách | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Hledání podobností v domácích úlohách | Theses on a related topic
184.
Mazáková, Kristína
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations, Russian Studies
Bachelor's thesis defence: Environmentálne problémy v Ruskej federácii a uplatňovanie medzinárodných dohôd v praxi | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations, Russian Studies
Bachelor's thesis defence: Environmentálne problémy v Ruskej federácii a uplatňovanie medzinárodných dohôd v praxi | Theses on a related topic
185.
Maze, Dea
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering (eng.)
Master's thesis defence: Applying LEAN methodology in large IT company | Theses on a related topic
Master's thesis defence: Applying LEAN methodology in an IT company | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering (eng.)
Master's thesis defence: Applying LEAN methodology in large IT company | Theses on a related topic
Master's thesis defence: Applying LEAN methodology in an IT company | Theses on a related topic
186.
Mészaroš, Tomáš
Faculty: Faculty of Informatics
Year: 2020, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Extracting Parts of Programs into Separate Binaries | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Extracting Parts of Programs into Separate Binaries | Theses on a related topic
187.
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
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
188.
Mihalkovič, Vincent
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dekompilační nástroje založené na LLVM | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dekompilační nástroje založené na LLVM | Theses on a related topic
189.
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
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
190.
Michlová Štěrbová, Veronika
Faculty: Faculty of Social Studies
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Vliv Regionální rozvojové agentury jižní Moravy na implementaci Phare CBC | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Vliv Regionální rozvojové agentury jižní Moravy na implementaci Phare CBC | Theses on a related topic
191.
Minaříková, Martina
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Education / Education
Bachelor's thesis defence: Realizace daltonské výuky na prvním stupni českých základních škol | Theses on a related topic
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Education / Education
Bachelor's thesis defence: Realizace daltonské výuky na prvním stupni českých základních škol | Theses on a related topic
192.
Mokrá, Kateřina
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Master's thesis defence: Změna cílů standardů kvality sociálních služeb v průběhu jejich implementace v pečovatelské službě | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Master's thesis defence: Změna cílů standardů kvality sociálních služeb v průběhu jejich implementace v pečovatelské službě | Theses on a related topic
193.
Mokráček, David
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Analýza trhu účetního (ekonomického) softwaru pro malé a střední podniky | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Analýza trhu účetního (ekonomického) softwaru pro malé a střední podniky | Theses on a related topic
194.
Moráček, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simulátor pro modelovací jazyk nástroje DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simulátor pro modelovací jazyk nástroje DiVinE | Theses on a related topic
195.
Moravčíková, Aneta
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webová platforma pre Svobodné slovníky.cz | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webová platforma pre Svobodné slovníky.cz | Theses on a related topic
196.
Myslivec, David
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Právní aspekty interoperability software | Theses on a related topic
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Právní aspekty interoperability software | Theses on a related topic
197.
Němec, Lukáš
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies
Bachelor's thesis defence: Fiskální decentralizace v Itálii a rozdělení strukturálních fondů v období 2007-2013 | Theses on a related topic
Bachelor's thesis defence: Problematika implementace strukturálních fondů v členských zemích Evropské unie | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies
Bachelor's thesis defence: Fiskální decentralizace v Itálii a rozdělení strukturálních fondů v období 2007-2013 | Theses on a related topic
Bachelor's thesis defence: Problematika implementace strukturálních fondů v členských zemích Evropské unie | Theses on a related topic
198.
Nováková, Kateřina
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Regional Development and Administration (combination/specialization: Reg. Develop. & Admin.)
Bachelor's thesis defence: Využívání nástrojů finančního řízení ve městě Hranice (okres Přerov) | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Regional Development and Administration (combination/specialization: Reg. Develop. & Admin.)
Bachelor's thesis defence: Využívání nástrojů finančního řízení ve městě Hranice (okres Přerov) | Theses on a related topic
199.
Novosad, Jiří
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Predicate Abstraction of DiVinE Models | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Predicate Abstraction of DiVinE Models | Theses on a related topic
200.
Novotná, Kateřina
Faculty: Faculty of Sports Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education, Lower Secondary School Teacher Training in Special Education
Master's thesis defence: Hra jako elementární motivační prvek při výuce gymnastiky na 1. stupni ZŠ | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education, Lower Secondary School Teacher Training in Special Education
Master's thesis defence: Hra jako elementární motivační prvek při výuce gymnastiky na 1. stupni ZŠ | Theses on a related topic