Theses on a related topic (having the same keywords):
divine, buchi automata, implementation, c++, formalni verifikace, formal verification, model checking, ltl, overovani modelu, buchiho automaty, implementaceKeywords ordered alphabetically | Keywords ordered by occurrence rate
51.
Čermáková, Monika
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Společenská odpovědnost v bankovním sektoru | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Společenská odpovědnost v bankovním sektoru | Theses on a related topic
52.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Designing Data-Parallel Graph Algorithms for Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Designing Data-Parallel Graph Algorithms for Model Checking | Theses on a related topic
53.
Deák, Katalin
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Vnitrostátní implementace směrnice EU, která je v rozporu s ústavním pořádkem | Theses on a related topic
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Vnitrostátní implementace směrnice EU, která je v rozporu s ústavním pořádkem | Theses on a related topic
54.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Rozšíření a refaktorizace nástroje BioDiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Rozšíření a refaktorizace nástroje BioDiVinE | Theses on a related topic
55.
Dolejšová, Helena maiden name: Lúčová
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Financial Management (combination/specialization: Financial Management)
Bachelor's thesis defence: Analýza implementace účetního softwaru ve vybrané firmě | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Financial Management (combination/specialization: Financial Management)
Bachelor's thesis defence: Analýza implementace účetního softwaru ve vybrané firmě | Theses on a related topic
56.
Dvořáková, Jana
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Vybrané otázky aplikace výkonového rozpočtování na místní úrovni | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Vybrané otázky aplikace výkonového rozpočtování na místní úrovni | Theses on a related topic
57.
Džavík, Pavel
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations and Energy Security
Master's thesis defence: Implementace energeticko - klimatického balíčku v České republice | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations and Energy Security
Master's thesis defence: Implementace energeticko - klimatického balíčku v České republice | Theses on a related topic
58.
Fialová, Hana
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Bachelor's thesis defence: Programové dokumenty regionální politiky ČR a jejich implementace
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Bachelor's thesis defence: Programové dokumenty regionální politiky ČR a jejich implementace
59.
Fiantová, Monika
Faculty: Faculty of Law
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Vstup ČR do EU: začátky uplatňování práva ES v českém prostředí | Theses on a related topic
Faculty: Faculty of Law
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Vstup ČR do EU: začátky uplatňování práva ES v českém prostředí | Theses on a related topic
60.
Forejt, Vojtěch
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Graficke rozhraní pro komunikaci s nástrojem 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: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Theses on a related topic
61.
Grossmann, Lukáš
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Business Informatics / Business Informatics
Bachelor's thesis defence: Výzvy spojené s výměnou ERP | Theses on a related topic
Bachelor's thesis defence: Výzvy spojené s výměnou ERP | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Business Informatics / Business Informatics
Bachelor's thesis defence: Výzvy spojené s výměnou ERP | Theses on a related topic
Bachelor's thesis defence: Výzvy spojené s výměnou ERP | Theses on a related topic
62.
Hanousková, Renata
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Public and Social Policy and Human Resources / Public and Social Policy and Human Resources, Social Anthropology
Bachelor's thesis defence: Implementace a dopady podpůrných opatření na vybrané základní škole | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Public and Social Policy and Human Resources / Public and Social Policy and Human Resources, Social Anthropology
Bachelor's thesis defence: Implementace a dopady podpůrných opatření na vybrané základní škole | Theses on a related topic
63.
Haran, Himanshu Kumar
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
64.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Relaxed Memory Models in DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Relaxed Memory Models in DiVinE | Theses on a related topic
65.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic
66.
Hejlek, Petr
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Softwarové nástroje a jejich aplikace pro řízení firem | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Softwarové nástroje a jejich aplikace pro řízení firem | Theses on a related topic
67.
Herzánová, Leona
Faculty: Faculty of Law
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Public Policy / Public Administration
Master's thesis defence: Hodnotící model CAF v české veřejné správě | Theses on a related topic
Faculty: Faculty of Law
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Public Policy / Public Administration
Master's thesis defence: Hodnotící model CAF v české veřejné správě | Theses on a related topic
68.
Hlaváč, Igor
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Kaizen a jeho možná implementace do vysokoškolských knihoven | Theses on a related topic
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Kaizen a jeho možná implementace do vysokoškolských knihoven | Theses on a related topic
69.
Holeček, Jan
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarového plánovače paměti
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarového plánovače paměti
70.
Honzů, Kristýna
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: EVROPA 2020 a reflexe ve strategických dokumentech členských států | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: EVROPA 2020 a reflexe ve strategických dokumentech členských států | Theses on a related topic
71.
Horáčková, Petra
Faculty: Faculty of Medicine
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Nursing / General Nurse
Bachelor's thesis defence: Implementace nových poznatků do praxe sester v nemocničních zařízeních | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Nursing / General Nurse
Bachelor's thesis defence: Implementace nových poznatků do praxe sester v nemocničních zařízeních | Theses on a related topic
72.
Horký, Miroslav
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Předimplementační analýza ERP systému Oracle NetSuite pro provoz knihovny | Theses on a related topic
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Předimplementační analýza ERP systému Oracle NetSuite pro provoz knihovny | Theses on a related topic
73.
Hosnedlová, Pavla
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Pozdní a včasná transpozice směrnic EU v ČR pohledem exekutivní a legislativní moci | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Pozdní a včasná transpozice směrnic EU v ČR pohledem exekutivní a legislativní moci | Theses on a related topic
74.
Hrabovská, Terezie
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Economic Policy / Economic Policy
Bachelor's thesis defence: Makroobezřetnostní politika – Teorie a realita | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Economic Policy / Economic Policy
Bachelor's thesis defence: Makroobezřetnostní politika – Teorie a realita | Theses on a related topic
75.
Hrazděrová, Markéta
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Analýza implementace účetního softwaru ve vybrané firmě | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Analýza implementace účetního softwaru ve vybrané firmě | Theses on a related topic
76.
Hubálková, Zuzana
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Sociology / Public Policy and Human Resources, Sociology
Bachelor's thesis defence: Faktory, které brání nebo podporují zvýšení zaměstnatelnosti absolventů ve vybraném programu z hlediska jeho realizátorů | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Sociology / Public Policy and Human Resources, Sociology
Bachelor's thesis defence: Faktory, které brání nebo podporují zvýšení zaměstnatelnosti absolventů ve vybraném programu z hlediska jeho realizátorů | Theses on a related topic
77.
Jakobová, Martina
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training (combination/specialization: Anglický jazyk a literatura)
Master's thesis defence: Tradiční lidová kultura a folklor ve výuce na primárním stupni ZŠ | Theses on a related topic
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training (combination/specialization: Anglický jazyk a literatura)
Master's thesis defence: Tradiční lidová kultura a folklor ve výuce na primárním stupni ZŠ | Theses on a related topic
78.
Jankola, Marek
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Transformation of Nondeterministic Büchi Automata to Tight Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Transformation of Nondeterministic Büchi Automata to Tight Automata | Theses on a related topic
79.
Jankola, Marek
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Tight Omega-Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Tight Omega-Automata | Theses on a related topic
80.
Janoušek, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh modelovacího jazyka nástroje DiVinE | 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: Návrh modelovacího jazyka nástroje DiVinE | Theses on a related topic
81.
Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Improvements of reaching definitions analysis in Symbiotic | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Improvements of reaching definitions analysis in Symbiotic | Theses on a related topic
82.
Jedlička, Roman
Faculty: Faculty of Law
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Judikatura Soudního dvora ohledně uplatňování daně z přidané hodnoty | Theses on a related topic
Faculty: Faculty of Law
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Judikatura Soudního dvora ohledně uplatňování daně z přidané hodnoty | Theses on a related topic
83.
Kafka, Petr
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Economic Policy
Master's thesis defence: Liberalizace a regulace železničního trhu v ČR | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Economic Policy
Master's thesis defence: Liberalizace a regulace železničního trhu v ČR | Theses on a related topic
84.
Keda, Michal
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace formulí logiky LTL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace formulí logiky LTL | Theses on a related topic
85.
Konečný, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Analýza a implementace procesů na úrovni krizového štábu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Analýza a implementace procesů na úrovni krizového štábu | Theses on a related topic
86.
Kormaňák, Tomáš
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Business Informatics
Bachelor's thesis defence: Analýza projektu inovace informačního systému a jeho vyhodnocení | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Business Informatics
Bachelor's thesis defence: Analýza projektu inovace informačního systému a jeho vyhodnocení | Theses on a related topic
87.
Koukolová, Pavlína
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Financial Management
Master's thesis defence: Výběr účetního software pro firmu | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Financial Management
Master's thesis defence: Výběr účetního software pro firmu | Theses on a related topic
88.
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
89.
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
90.
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
91.
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
92.
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
93.
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
94.
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
95.
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
96.
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
97.
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ě
98.
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
99.
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
100.
Lenčo, Milan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Name Service Cache Daemon with DIVINE Model Checker | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Name Service Cache Daemon with DIVINE Model Checker | Theses on a related topic