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
51.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Verification of Component Interaction in Component-Based Systems | Theses on a related topic![Display description Display description](/pics/design/14/z/ico/navodek-plus.png)
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Verification of Component Interaction in Component-Based Systems | Theses on a related topic
![Display description Display description](/pics/design/14/z/ico/navodek-plus.png)
52.
Beránková, Kristýna
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Social Work / Public and Social Policy and Human Resources, Social Work
Bachelor's thesis defence: Postoj pedagogických pracovníků k zavedení sociální práce na vybrané základní škole | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Social Work / Public and Social Policy and Human Resources, Social Work
Bachelor's thesis defence: Postoj pedagogických pracovníků k zavedení sociální práce na vybrané základní škole | Theses on a related topic
53.
Besperátová, Petra
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: Příprava implementace technologie RFID v Univerzitní knihovně Univerzity Pardubice | 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: Příprava implementace technologie RFID v Univerzitní knihovně Univerzity Pardubice | Theses on a related topic
54.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování pro verifikační nástroj DiVinE
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování pro verifikační nástroj DiVinE
55.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: LTL atraktory | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: LTL atraktory | Theses on a related topic
56.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis for Systems with Real Time | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis for Systems with Real Time | Theses on a related topic
57.
Bezuchová, Monika
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Specifiky vývoje tématu na přikladu vlastního dokumentárního díla | Theses on a related topic
Master's thesis defence: Specifika vývoje tématu na příkladu vlastního dokumentárního díla | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Specifiky vývoje tématu na přikladu vlastního dokumentárního díla | Theses on a related topic
Master's thesis defence: Specifika vývoje tématu na příkladu vlastního dokumentárního díla | Theses on a related topic
58.
Bočánek, Marek
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management (combination/specialization: Management)
Bachelor's thesis defence: Implementace marketingu do malého nebo středního podniku | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management (combination/specialization: Management)
Bachelor's thesis defence: Implementace marketingu do malého nebo středního podniku | Theses on a related topic
59.
Boumová, Viera
Faculty: Faculty of Arts
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Special Features of Simultaneous Interpreting
Faculty: Faculty of Arts
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Special Features of Simultaneous Interpreting
60.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Decidability and complexity of infinite-state stochastic games | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Decidability and complexity of infinite-state stochastic games | Theses on a related topic
61.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Basic Model Checking Problems for Stochastic Games | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Basic Model Checking Problems for Stochastic Games | Theses on a related topic
62.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Basic model-checking problems for stochastic games | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Basic model-checking problems for stochastic games | Theses on a related topic
63.
Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Integer abstract domains | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Integer abstract domains | Theses on a related topic
64.
Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: A Common Framework for Inquiries about Program Properties | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: A Common Framework for Inquiries about Program Properties | Theses on a related topic
65.
Březina, Miloš
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Work (combination/specialization: Case Social Work)
Master's thesis defence: Posouzení potřeb klientů v mobilním nízkoprahovém zařízení | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Work (combination/specialization: Case Social Work)
Master's thesis defence: Posouzení potřeb klientů v mobilním nízkoprahovém zařízení | Theses on a related topic
66.
Bříza, Michal
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Odhad geometrických vlastností digitálních objektů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Odhad geometrických vlastností digitálních objektů | Theses on a related topic
67.
Burget, Rostislav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
68.
Culková, Anna
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training (combination/specialization: Obory obchodu a služeb)
Bachelor's thesis defence: Hospitace a její funkce | Theses on a related topic
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training (combination/specialization: Obory obchodu a služeb)
Bachelor's thesis defence: Hospitace a její funkce | Theses on a related topic
69.
Čechová, Petra
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Tvorba a realizace právních předpisů samosprávy | 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: Tvorba a realizace právních předpisů samosprávy | Theses on a related topic
70.
Čermák, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Porovnání modelovacích schopností verifikačních nástrojů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Porovnání modelovacích schopností verifikačních nástrojů | Theses on a related topic
71.
Č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
72.
Černá, Martina
Faculty: Faculty of Arts
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Translation and Interpreting / French-language Translation
Master's thesis defence: Les Agences de traduction et le métier du traducteur en République tchèque | Theses on a related topic
Faculty: Faculty of Arts
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Translation and Interpreting / French-language Translation
Master's thesis defence: Les Agences de traduction et le métier du traducteur en République tchèque | Theses on a related topic
73.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Parallel Quantitative Analysis of Probabilistic Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Parallel Quantitative Analysis of Probabilistic Systems | Theses on a related topic
74.
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
75.
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
76.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Theses on a related topic
77.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Computer Systems
Advanced Master's thesis defence: Parameter Synthesis of Dynamical Systems via Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Computer Systems
Advanced Master's thesis defence: Parameter Synthesis of Dynamical Systems via Model Checking | Theses on a related topic
78.
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
79.
Drahovská, Adriana
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management (combination/specialization: Management)
Bachelor's thesis defence: Podnikatelský plán a strategie malého a středního podniku v oblasti e-businessu | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management (combination/specialization: Management)
Bachelor's thesis defence: Podnikatelský plán a strategie malého a středního podniku v oblasti e-businessu | Theses on a related topic
80.
Dupal, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Reduced product of abstract domains | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Reduced product of abstract domains | Theses on a related topic
81.
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
82.
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
83.
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
84.
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
85.
Flajšingerová, Veronika
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Tvorba a realizace právních předpisů samosprávy | 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: Tvorba a realizace právních předpisů samosprávy | Theses on a related topic
86.
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
87.
Frnoch, Vojtěch
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Grafické rozhraní pro simulátor C++ programů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Grafické rozhraní pro simulátor C++ programů | Theses on a related topic
88.
Fryblík, Vojtěch
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Embedded Systems
Master's thesis defence: Interactive Forth Interpreter For ESP32 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Embedded Systems
Master's thesis defence: Interactive Forth Interpreter For ESP32 | Theses on a related topic
89.
Frydrych, Karol
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Musicology
Bachelor's thesis defence: Výzkumná zpráva o stavu varhan v regionu Ždánsko | Theses on a related topic
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Musicology
Bachelor's thesis defence: Výzkumná zpráva o stavu varhan v regionu Ždánsko | Theses on a related topic
90.
Glozar, Tomáš
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Enhancing DiffKemp to Support Generic Projects | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Enhancing DiffKemp to Support Generic Projects | Theses on a related topic
91.
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
92.
Hajnal, Matej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Bioinformatics
Advanced Master's thesis defence: Formal Methods for Model Selection in Systems Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Bioinformatics
Advanced Master's thesis defence: Formal Methods for Model Selection in Systems Biology | Theses on a related topic
93.
Hančin, Jakub
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: A Mobile Android Application for Music Recommendation | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: A Mobile Android Application for Music Recommendation | Theses on a related topic
94.
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
95.
Hanusová, Hana
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Special Education for Upper Secondary School Teachers, Teacher Training of Specialized Subjects for Secondary Schools – Specialisation in Services
Master's thesis defence: Adaptace žáků v pracovním prostředí | Theses on a related topic
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Special Education for Upper Secondary School Teachers, Teacher Training of Specialized Subjects for Secondary Schools – Specialisation in Services
Master's thesis defence: Adaptace žáků v pracovním prostředí | Theses on a related topic
96.
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
97.
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
98.
Havlíček, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Untimed LTL Model Checking of Timed Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Untimed LTL Model Checking of Timed Automata | Theses on a related topic
99.
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
100.
Herkeľ, Radovan
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: Porovnání implementace strukturálních fondů ve vybraných zemích | 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: Porovnání implementace strukturálních fondů ve vybraných zemích | Theses on a related topic