Theses on a related topic (having the same keywords):
divine, msc, high-level msc, proverif, formalni verifikace, dve, modelovani, overovani modelu, scstudio, logika ltl, basic mscKeywords ordered alphabetically | Keywords ordered by occurrence rate
51.
Fillinger, Tibor
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: The Russian Outlook on Security Issues in Speeches at the Munich Security Conference between 2007 and 2018 | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: The Russian Outlook on Security Issues in Speeches at the Munich Security Conference between 2007 and 2018 | Theses on a related topic
52.
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
53.
Frantová, Vendula
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Special Education for Education
Bachelor's thesis defence: Kaktusy, konfrontace vlastního prostorového vyjádření s dětským pojetím představ kaktusů | Theses on a related topic
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Special Education for Education
Bachelor's thesis defence: Kaktusy, konfrontace vlastního prostorového vyjádření s dětským pojetím představ kaktusů | Theses on a related topic
54.
Fryštáková, Pavla
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in French Language and Literature
Master's thesis defence: Development of metacognitive strategies in English classes using Clean Language | Theses on a related topic
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in French Language and Literature
Master's thesis defence: Development of metacognitive strategies in English classes using Clean Language | Theses on a related topic
55.
Fürbacher, Tomáš
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: System Engineering and Informatics / Business Informatics
Master's thesis defence: Optimalizace podnikového procesu pomocí modelování a simulace | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: System Engineering and Informatics / Business Informatics
Master's thesis defence: Optimalizace podnikového procesu pomocí modelování a simulace | Theses on a related topic
56.
Gajdoš, Andrej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Testování grafických uživatelských rozhraní | 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: Testování grafických uživatelských rozhraní | Theses on a related topic
57.
Gajdoš, Daniel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: PVM rozhraní pro 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: PVM rozhraní pro DiVinE | Theses on a related topic
58.
Glišić, Vlasta
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Physics / Theoretical Physics and Astrophysics (combination/specialization: Astrofyzika)
Master's thesis defence: Parametry větrů horkých hmotných hvězd z ultrafialové spektrokopie | Theses on a related topic
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Physics / Theoretical Physics and Astrophysics (combination/specialization: Astrofyzika)
Master's thesis defence: Parametry větrů horkých hmotných hvězd z ultrafialové spektrokopie | Theses on a related topic
59.
Hadámek, Jakub
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování chování sociálního hmyzu | 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í chování sociálního hmyzu | Theses on a related topic
60.
Hájek, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Elektronická sbírka úloh z prostorového modelování v programu Cinema4D | 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: Elektronická sbírka úloh z prostorového modelování v programu Cinema4D | Theses on a related topic
61.
Hájková, Miroslava
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Special Education
Master's thesis defence: Využití prvků arteterapie při práci s dětmi s autismem | Theses on a related topic
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Special Education
Master's thesis defence: Využití prvků arteterapie při práci s dětmi s autismem | Theses on a related topic
62.
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
63.
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
64.
Havlíček, Martin
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Techniky modelování a vykreslování vlasů v reálném čase | Theses on a related topic
Bachelor's thesis defence: Techniky modelování a vykreslování vlasů v reálném čase | Theses on a related topic
Bachelor's thesis defence: Techniky modelování a vykreslování vlasů v reálném čase | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Techniky modelování a vykreslování vlasů v reálném čase | Theses on a related topic
Bachelor's thesis defence: Techniky modelování a vykreslování vlasů v reálném čase | Theses on a related topic
Bachelor's thesis defence: Techniky modelování a vykreslování vlasů v reálném čase | Theses on a related topic
65.
Horáček, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Theses on a related topic
66.
Horáček, Petr
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Technology and IT Education
Master's thesis defence: Využití 3D tisku v technické výchově na ZŠ | Theses on a related topic
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Technology and IT Education
Master's thesis defence: Využití 3D tisku v technické výchově na ZŠ | Theses on a related topic
67.
Hrubanová, Kamila
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Physics / Biophysics (combination/specialization: Aplikovaná biofyzika)
Master's thesis defence: Studium biofyzikálních vlastností biomembrán | Theses on a related topic
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Physics / Biophysics (combination/specialization: Aplikovaná biofyzika)
Master's thesis defence: Studium biofyzikálních vlastností biomembrán | Theses on a related topic
68.
Chmelík, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Deciding Non-local Choice in High-level Message Sequence Charts | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Deciding Non-local Choice in High-level Message Sequence Charts | Theses on a related topic
69.
Chmelík, Martin
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Realizability of Message Sequence Graphs | 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: Realizability of Message Sequence Graphs | Theses on a related topic
70.
Chriašteľ, Peter
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Verifikace kryptografických vlastností platebního protokolu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Verifikace kryptografických vlastností platebního protokolu | Theses on a related topic
71.
Jakubík, Daniel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování a simulace komunikační sběrnice | 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í a simulace komunikační sběrnice | Theses on a related topic
72.
Jankových, Nikola
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Historie a technologie keramiky | Theses on a related topic
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Historie a technologie keramiky | Theses on a related topic
73.
Janová, Veronika
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Special Education for Education
Bachelor's thesis defence: Keramická plastika | Theses on a related topic
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Special Education for Education
Bachelor's thesis defence: Keramická plastika | Theses on a related topic
74.
Jarešová, Miroslava
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Art assets creation and animation for Newron application | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Art assets creation and animation for Newron application | Theses on a related topic
75.
Ježová, Marcela
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Arts, Lower Secondary School Teacher Training in Civics
Bachelor's thesis defence: Busta stařenky | Theses on a related topic
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Arts, Lower Secondary School Teacher Training in Civics
Bachelor's thesis defence: Busta stařenky | Theses on a related topic
76.
Kadaši, Jakub
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Verifikace paralelní hashovací tabulky z knihovny Folly | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Verifikace paralelní hashovací tabulky z knihovny Folly | Theses on a related topic
77.
Kedra, Petr
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Využití simulačních metod pro optimalizaci podnikových procesů | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Využití simulačních metod pro optimalizaci podnikových procesů | Theses on a related topic
78.
Kedra, Petr
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Využití simulačních metod pro optimalizaci podnikových procesů | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Využití simulačních metod pro optimalizaci podnikových procesů | Theses on a related topic
79.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Virtual File System in DIVINE 4 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Virtual File System in DIVINE 4 | Theses on a related topic
80.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Model Checking with System Call Traces | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Model Checking with System Call Traces | Theses on a related topic
81.
Klíma, Miroslav
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Metodika návrhu ETL grafů pro projekty migrace dat | Theses on a related topic
Master's thesis defence: Metodika návrhu ETL grafů pro projekty migrace dat | Theses on a related topic
Master's thesis defence: Metodika návrhu ETL grafů pro projekty migrace dat | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Metodika návrhu ETL grafů pro projekty migrace dat | Theses on a related topic
Master's thesis defence: Metodika návrhu ETL grafů pro projekty migrace dat | Theses on a related topic
Master's thesis defence: Metodika návrhu ETL grafů pro projekty migrace dat | Theses on a related topic
82.
Kočička, Petr
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Simulační metody jako nástroj pro rozhodování podniku - modelování pomocí programu Witness | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Simulační metody jako nástroj pro rozhodování podniku - modelování pomocí programu Witness | Theses on a related topic
83.
Komárková, Petra
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Dynamic Modeling for Service Systems: Innovation-Cooperation Paradigm in Service Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Dynamic Modeling for Service Systems: Innovation-Cooperation Paradigm in Service Systems | Theses on a related topic
84.
Konečný, Jan
Faculty: Faculty of Informatics
Year: 2007, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: VRML průvodce Fakultou informatiky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: VRML průvodce Fakultou informatiky | Theses on a related topic
85.
Konicar, Robert
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: A Nondeterministic File System Model for DiOS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: A Nondeterministic File System Model for DiOS | Theses on a related topic
86.
Koníčková, Lenka
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Simulační metody jako nástroj pro rozhodování podniku - modelování pomocí programu Witness | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Simulační metody jako nástroj pro rozhodování podniku - modelování pomocí programu Witness | Theses on a related topic
87.
Korenčiak, Ľuboš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Effective Algorithms for Time Relation Checking in Message Sequence Charts | 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: Effective Algorithms for Time Relation Checking in Message Sequence Charts | Theses on a related topic
88.
Krajíček, Adam
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Modely počtu pojistných nároků a výše škod v pojišťovnictví | Theses on a related topic
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Modely počtu pojistných nároků a výše škod v pojišťovnictví | Theses on a related topic
89.
Kramárik, Ivo
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Převod záznamu chování komunikačního systému do MSC | 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: Převod záznamu chování komunikačního systému do MSC | Theses on a related topic
90.
Kratochvílová, Pavla
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
91.
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
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
92.
Krchňák, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxying, recording and replaying syscalls in DiOS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxying, recording and replaying syscalls in DiOS | Theses on a related topic
93.
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
94.
Kriho, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Enhanced parser for DVE modelling language | 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: Enhanced parser for DVE modelling language | Theses on a related topic
95.
Kroupa, Michal
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Geology / Geology
Bachelor's thesis defence: Regionálně hydrogeologické poměry při formování uranové mineralizace v oblasti Dolní Rožínky | Theses on a related topic
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Geology / Geology
Bachelor's thesis defence: Regionálně hydrogeologické poměry při formování uranové mineralizace v oblasti Dolní Rožínky | Theses on a related topic
96.
Kršková, Veronika
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Geology / Applied and Environmental Geology
Master's thesis defence: Vliv projektovaných staveb v oblasti Jižního Centra v Brně na režim podzemních vod | Theses on a related topic
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Geology / Applied and Environmental Geology
Master's thesis defence: Vliv projektovaných staveb v oblasti Jižního Centra v Brně na režim podzemních vod | Theses on a related topic
97.
Kubíček, Ondřej
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systém pro správu požadavků na software | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systém pro správu požadavků na software | Theses on a related topic
98.
Kučera, Jakub
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Prediktivní modelování multikriteriálních parametrů ovlivňující sněhové podmínky | Theses on a related topic
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Prediktivní modelování multikriteriálních parametrů ovlivňující sněhové podmínky | Theses on a related topic
99.
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
100.
Kuchař, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Technická fotografie kovových produktů - její zpracování a uplatnění v reklamě za použití informačních technologií | 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: Technická fotografie kovových produktů - její zpracování a uplatnění v reklamě za použití informačních technologií | Theses on a related topic