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
151.
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
152.
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
153.
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
154.
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
155.
Lamr, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Akcelerace procesu verifikace pomocí grafické karty | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Akcelerace procesu verifikace pomocí grafické karty | Theses on a related topic
156.
Lapáček, Vladimír
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - modul pro swapování stavů do sítě
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - modul pro swapování stavů do sítě
157.
Laurinčík, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Theses on a related topic
158.
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
159.
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
160.
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
161.
Ľ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
162.
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
163.
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
164.
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
165.
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
166.
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
167.
Matoušek, Adam
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Metadata paměti programu v nástroji DIVINE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Metadata paměti programu v nástroji DIVINE | Theses on a related topic
168.
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
169.
Matúška, Peter
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna pro komprimované ukládání stavových prostorů na disk | 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: Knihovna pro komprimované ukládání stavových prostorů na disk | Theses on a related topic
170.
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
171.
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
172.
Menšík, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování pravděpodobnostních systémů v jazyce DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování pravděpodobnostních systémů v jazyce DiVinE | Theses on a related topic
173.
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
174.
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
175.
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
176.
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
177.
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
178.
Moravec, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Distributed State Space Reductions | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Distributed State Space Reductions | Theses on a related topic
179.
Mrázek, Jan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Caching SMT Queries in SymDivine | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Caching SMT Queries in SymDivine | Theses on a related topic
180.
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
181.
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
182.
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
183.
Novosad, Jiří
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Knihovna pro časově efektivní ukládání stavových prostorů na pevný disk | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Knihovna pro časově efektivní ukládání stavových prostorů na pevný disk | Theses on a related topic
184.
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
185.
Oplová, Eva
Faculty: Faculty of Social Studies
Year: 2012, 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: Vnímání implementace konceptu Společenská odpovědnost firem v konkrétní firmě aktéry | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2012, 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: Vnímání implementace konceptu Společenská odpovědnost firem v konkrétní firmě aktéry | Theses on a related topic
186.
Otrubová, Terezie
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Současné počítačové hry a jejich možnost implementace do výuky coby novodobý prostředek rozvoje žáků | Theses on a related topic
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Současné počítačové hry a jejich možnost implementace do výuky coby novodobý prostředek rozvoje žáků | Theses on a related topic
187.
Palínková, Zdeňka
Faculty: Faculty of Social Studies
Year: 2014, 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: Rizika implementace systému managementu kvality dle normy ISO 9001 do škol a školských zařízení | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2014, 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: Rizika implementace systému managementu kvality dle normy ISO 9001 do škol a školských zařízení | Theses on a related topic
188.
Papcunová, Ivana
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Sprint Hero - Single Contact Point to Help Agile Teams Cope with Organizational Stress | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Sprint Hero - Single Contact Point to Help Agile Teams Cope with Organizational Stress | Theses on a related topic
189.
Pastva, Samuel
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Theses on a related topic
190.
Paulenková, Kristína
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Master's thesis defence: Analýza implementace programu Bolsa Familia v Brazílii | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Master's thesis defence: Analýza implementace programu Bolsa Familia v Brazílii | Theses on a related topic
191.
Pejchalová, Eva
Faculty: Faculty of Medicine
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Intensive Care / Intensive Care
Master's thesis defence: Bariéry implementace paliativní péče v intenzivní péči | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Intensive Care / Intensive Care
Master's thesis defence: Bariéry implementace paliativní péče v intenzivní péči | Theses on a related topic
192.
Pejznoch, Aleš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
193.
Pelánek, Radek
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Reduction and Abstraction Techniques for Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Reduction and Abstraction Techniques for Model Checking | Theses on a related topic
194.
Pelikán, Vít
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Economic Information Systems
Bachelor's thesis defence: Analýza využití ERP systémů na českém trhu | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Economic Information Systems
Bachelor's thesis defence: Analýza využití ERP systémů na českém trhu | Theses on a related topic
195.
Petruchová, Zuzana
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace komponentových systémů s dynamickou komunikací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace komponentových systémů s dynamickou komunikací | Theses on a related topic
196.
Pilař, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Zrychlení syntézy parametrů pro stochastické modely | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Zrychlení syntézy parametrů pro stochastické modely | Theses on a related topic
197.
Písařová, Andrea
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Men against Gods: Marlowe's Doctor Faustus | Theses on a related topic
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Men against Gods: Marlowe's Doctor Faustus | Theses on a related topic
198.
Plášil, Roman
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Vysvětlování protipříkladů v nástroji DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Vysvětlování protipříkladů v nástroji DiVinE | Theses on a related topic
199.
Plotěný, Ondřej
Faculty: Faculty of Informatics
Year: 2008, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic
200.
Plotěný, Ondřej
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | 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: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic