Theses on a related topic (having the same keywords):

divine, model based development, simulink, stateflow, formal verification, model checking, transformation

Keywords ordered alphabetically | Keywords ordered by occurrence rate

151.
Kolesa, Michal
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geography (combination/specialization: Human Geography)
Bachelor's thesis defence: Současný stav a perspektiva rozvoje zemědělství v SO ORP Tišnov. | Theses on a related topic Display description

152.
Koňaříková, Tereza
Faculty: Faculty of Economics and Administration
Year: 2006, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics
Master's thesis defence: Privatizace krajských nemocnic - příležitost či ohrožení? | Theses on a related topic

153.
Konečná, Veronika
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Economic Policy, French Language for Commerce and Administration
Bachelor's thesis defence: Srovnání restitučních procesů v transformačních ekonomikách | Theses on a related topic

154.
Konečný, Ondřej
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geography (combination/specialization: Human Geography)
Bachelor's thesis defence: Výsledky transformace zemědělství v okrese Vsetín | Theses on a related topic

155.
Koránová, Petra
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Úspěšnost přeměny obchodní společnosti | Theses on a related topic

156.
Košatka, David
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Education / Social and Free Time Education
Bachelor's thesis defence: Crossing Boundaries: How are student identities shaped by abroad experience? | Theses on a related topic

157.
Košťálová, Renata maiden name: Košíčková
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Zakládání a přeměny obchodních společností (účetní a daňové hledisko) | Theses on a related topic

158.
Kotašková, Eva
Faculty: Faculty of Social Studies
Year: 2023, studies completed, degree conferred: Ph.D.
Programme/field: Sociology / Sociology
Doctoral thesis defence: From Coal Mining Settlement to Tourism Destination: Socio-Material Transformation of Svalbard Archipelago | Theses on a related topic

159.
Koutský, Jaroslav
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Ph.D.
Programme/field: Geography (4-years) / Regional Geography and Regional Planning
Doctoral thesis defence: Staré průmyslové regiony - vývojové tendence, možnost rozvoje | Theses on a related topic

160.
Kozdera, Aleš
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Právní aspekty fúze společnosti s ručením omezeným | Theses on a related topic

161.
Král, Michael
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geography (combination/specialization: Human Geography)
Bachelor's thesis defence: Výsledky transformace a současný stav zemědělství ve východní části Drahanské vrchoviny | Theses on a related topic

162.
Králová, Gabriela
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Education / Social and Free Time Education
Bachelor's thesis defence: Sousedy si nevybíráme: Chráněné bydlení pohledem jejich sousedů | Theses on a related topic

163.
Krátký, Jaromír
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Public Policy / Public Administration
Master's thesis defence: Zpravodajské služby České republiky z pohledu de lege lata a de lege ferenda | Theses on a related topic

164.
Krčál, Jan
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Motifs in State Spaces | Theses on a related topic

165.
Krejčí, Ondřej
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geography (combination/specialization: Human Geography)
Bachelor's thesis defence: Produkce potravin a jejich zpracování na území SO ORP Kuřim | Theses on a related topic

166.
Krejčová, Soňa
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Political Science
Master's thesis defence: Debata o reformě českého školství v letech 1989 - 2004 | Theses on a related topic

167.
Kročková, Hana
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Regional Development and Tourism / Regional Development and Tourism
Bachelor's thesis defence: Staré průmyslové regiony Evropy: transformace a perspektivy | Theses on a related topic

168.
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

169.
Kříž, Šimon
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Proměny paměti | Theses on a related topic

170.
Kubcová, Veronika
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Geology / Geology
Bachelor's thesis defence: Transformace bentonitu při interakci s vodou | Theses on a related topic

171.
Kubešová, Blanka
Faculty: Faculty of Medicine
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Oncology and Hematology / Experimental Oncology and Tumor Biology
Doctoral thesis defence: Analýza genetických změn u myeloproliferativních onemocnění | Theses on a related topic

172.
Kučerová, Štěpánka
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Social Geography
Master's thesis defence: Koncept post-socialistického města - geografická analýza | Theses on a related topic

173.
Kudrnáčová, Jitka
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelní verifikace LTL(F,G) vlastností | Theses on a related topic

174.
Kudrová, Lucie
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Study of Religions
Bachelor's thesis defence: Náboženský život v „době covidové“: transformace povahy individuálního duchovního prožitku a podoby angažovanosti účastníků na kolektivních aktivitách uvnitř církve vlivem pandemických omezení | Theses on a related topic

175.
Kumor, Kristián
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Compact Symbolic Execution in Slowbeast | Theses on a related topic

176.
Kundera, Zdeněk
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Geography / Geoinformatics and Sustainable Development
Bachelor's thesis defence: Srovnávací studie vybraných příměstských zahradních osad ve Znojmě a jižní části Brna | Theses on a related topic

177.
Kundera, Zdeněk
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Applied Geography
Master's thesis defence: Příměstské zahrádky ve Znojmě | Theses on a related topic

178.
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

179.
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

180.
Langer, Miroslav
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / National Economy
Bachelor's thesis defence: Vývoj struktury bankovního odvětví v ČR | Theses on a related topic

181.
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ě

182.
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

183.
Legerská, Simona
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Economic Policy and International Relations
Master's thesis defence: Srovnání forem kuponové privatizace v zemích střední a východní Evropy | Theses on a related topic

184.
Lekičová, Daniela
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Education / Education
Bachelor's thesis defence: Vývoj a proměny podnikového vzdělávání ve sklárnách v 80. a 90. letech 20. století | Theses on a related topic

185.
Lerchová, Jitka
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics
Master's thesis defence: Bytové družstevnictví z pohledu jeho vývoje a transformace | Theses on a related topic

186.
Lindbloom, Jana
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Sociology (4-years) / Sociology
Doctoral thesis defence: Neistý majetok a sporné rozhodovanie: návrh, interpretácia a zapájanie transformačného zákona v postsocialistických poľnohospodárskych družstvách | Theses on a related topic

187.
Lovritš, Veronika
Faculty: Faculty of Law
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Korupce - východiska a řešení problému v ČR

188.
Mácková, Tereza
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / History of Arts
Master's thesis defence: Proměny přístupů památkové péče na vybraných sochařských cyklech | Theses on a related topic

189.
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

190.
Macháček, Matěj
Faculty: Faculty of Social Studies
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Security and Strategic Studies / Security and Strategic Studies
Master's thesis defence: Analýza transformace Haját Tahrír aš-Šám ze saláfisticko džihádistické teroristické organizace na konstruktivního politického aktéra | Theses on a related topic

191.
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

192.
Machek, Ondřej
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geography (combination/specialization: Human Geography)
Bachelor's thesis defence: Elektrotechnický průmysl v Jihomoravském kraji: historie a současnost | Theses on a related topic

193.
Malá, Hana
Faculty: Faculty of Education
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Physics
Master's thesis defence: Lineární programování | Theses on a related topic

194.
Mannová, Tereza maiden name: Mrázková
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in English Language and Literature
Master's thesis defence: The Proposition and Dead Man: Two Revisionist Westerns from Two Continents | Theses on a related topic

195.
Maschlanka, Luisa
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Governance
Master's thesis defence: Just transition towards a climate neutral society: An analysis of trade union strategies in four European countries | Theses on a related topic

196.
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

197.
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

198.
Mazalová, Markéta
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Culture Management / Culture Management
Master's thesis defence: Paradigmatická a diskurzivní transformace živého umění v postdigitální, covidové společnosti | Theses on a related topic

199.
Meliš, Marek
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Historical Sciences / History
Bachelor's thesis defence: Považské strojárne a Považská Bystrica: príspevok k dejinám transformácií | Theses on a related topic

200.
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