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
151.
Soukal, Jan
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Automatická tvorba modelů budov | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Automatická tvorba modelů budov | Theses on a related topic
152.
Soukupová, Miroslava
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: Využití simulačních metod při řízení 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: Využití simulačních metod při řízení podniku | Theses on a related topic
153.
Staňková, Nicol
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism, Sociology
Bachelor's thesis defence: Modelování a simulace v sociologii města | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism, Sociology
Bachelor's thesis defence: Modelování a simulace v sociologii města | Theses on a related topic
154.
Starý, Jiří
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh a tvorba 3D modelu stylizované postavy | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh a tvorba 3D modelu stylizované postavy | Theses on a related topic
155.
Starý, Jiří
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Interaktivní kniha pro mobilní zařízení v herním enginu Unity | 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: Interaktivní kniha pro mobilní zařízení v herním enginu Unity | Theses on a related topic
156.
Straus, David
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Simulace reprodukce vzdělanosti v ČR | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Simulace reprodukce vzdělanosti v ČR | Theses on a related topic
157.
Střelák, David
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Z reálné fotografie do 3D vizualizace | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Z reálné fotografie do 3D vizualizace | Theses on a related topic
158.
Suchomel, Vít
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Automatické testování nástroje DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Automatické testování nástroje DiVinE | Theses on a related topic
159.
Svoboda, Vojtěch
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology
Bachelor's thesis defence: Hledání dostupné metody moderní analýzy reakčních časů v měření analytického/holistického kognitivního stylu | Theses on a related topic
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology
Bachelor's thesis defence: Hledání dostupné metody moderní analýzy reakčních časů v měření analytického/holistického kognitivního stylu | Theses on a related topic
160.
Svoreňová, Mária
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Theses on a related topic
161.
Šárník, Jakub
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická analýza neúplných programů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická analýza neúplných programů | Theses on a related topic
162.
Šavelka, Petr
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Technology and IT Education
Bachelor's thesis defence: Srovnání softwaru pro tvorbu 3D grafiky s ohledem na jeho výuku v prostředí ZŠ | Theses on a related topic
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Technology and IT Education
Bachelor's thesis defence: Srovnání softwaru pro tvorbu 3D grafiky s ohledem na jeho výuku v prostředí ZŠ | Theses on a related topic
163.
Šavelka, Petr
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Technology and IT Education
Master's thesis defence: Výuka 3D grafiky na základní škole | Theses on a related topic
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Technology and IT Education
Master's thesis defence: Výuka 3D grafiky na základní škole | Theses on a related topic
164.
Šebela, Ondrej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nasvícení 3D modelu antické sochy v různých časových a klimatických podmínkách | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nasvícení 3D modelu antické sochy v různých časových a klimatických podmínkách | Theses on a related topic
165.
Šeděnka, Jaroslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Huffmanovo kódování stavů v DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Huffmanovo kódování stavů v DiVinE | Theses on a related topic
166.
Ševčík, Jan
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Deformace polygonální sítě ve VR | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Deformace polygonální sítě ve VR | Theses on a related topic
167.
Šilhánek, Jiří
Faculty: Faculty of Economics and Administration
Year: 2007, studies terminated for failure to fulfill study requirements
Programme/field: Economy and Management / Business Management
Master's thesis defence: Simulační metody jako nástroj rozhodování - modelování pomocí programu Witness | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2007, studies terminated for failure to fulfill study requirements
Programme/field: Economy and Management / Business Management
Master's thesis defence: Simulační metody jako nástroj rozhodování - modelování pomocí programu Witness | Theses on a related topic
168.
Šišková, Zuzana
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Geology / Applied and Environmental Geology
Master's thesis defence: Vliv hluboce založené stavby na podzemní vodu na příkladu LOB centra v Brně | Theses on a related topic
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Geology / Applied and Environmental Geology
Master's thesis defence: Vliv hluboce založené stavby na podzemní vodu na příkladu LOB centra v Brně | Theses on a related topic
169.
Šmérek, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Theses on a related topic
170.
Špániková, Šárka
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Ecological and Evolutionary Biology / Biology with a view to Education, Geography and Cartography with a view to Education
Bachelor's thesis defence: Využití GIS nástrojů při modelování rozšíření vybraných druhů suchozemských plžů v CHKO Bílé Karpaty | Theses on a related topic
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Ecological and Evolutionary Biology / Biology with a view to Education, Geography and Cartography with a view to Education
Bachelor's thesis defence: Využití GIS nástrojů při modelování rozšíření vybraných druhů suchozemských plžů v CHKO Bílé Karpaty | Theses on a related topic
171.
Špániková, Šárka
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Ecological and Evolutionary Biology / Upper Secondary School Teacher Training in Biology, Upper Secondary School Teacher Training in Geography and Cartography
Master's thesis defence: Modelování rozšíření vybraných suchozemských plžů v CHKO Bílé Karpaty | Theses on a related topic
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Ecological and Evolutionary Biology / Upper Secondary School Teacher Training in Biology, Upper Secondary School Teacher Training in Geography and Cartography
Master's thesis defence: Modelování rozšíření vybraných suchozemských plžů v CHKO Bílé Karpaty | Theses on a related topic
172.
Šťastný, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Symetrické 3D modelování ovládané haptickým zařízením. | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Symetrické 3D modelování ovládané haptickým zařízením. | Theses on a related topic
173.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: State space compression for the DiVinE model checker | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: State space compression for the DiVinE model checker | Theses on a related topic
174.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | 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: LLVM Transformations for Model Checking | Theses on a related topic
175.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Analysis of Parallel C++ Programs | 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: Analysis of Parallel C++ Programs | Theses on a related topic
176.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Memory-Model-Aware Analysis of Parallel Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Memory-Model-Aware Analysis of Parallel Programs | Theses on a related topic
177.
Tesařová, Eva
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování systémů s reálným časem a pravděpodobností | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování systémů s reálným časem a pravděpodobností | Theses on a related topic
178.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Porovnání nástrojů pro paralelní LTL model checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Porovnání nástrojů pro paralelní LTL model checking | Theses on a related topic
179.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikace MPI programů pomocí DIVINE | 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: Verifikace MPI programů pomocí DIVINE | Theses on a related topic
180.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace specifikačních vzorů pro temporální logiky | 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: Grafická reprezentace specifikačních vzorů pro temporální logiky | Theses on a related topic
181.
Večeřa, Martin
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Theses on a related topic
182.
Veselá, Hana
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Mathematics - Economics
Master's thesis defence: Dynamický model změny vztahu soupeření na vztah spolupráce | Theses on a related topic
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Mathematics - Economics
Master's thesis defence: Dynamický model změny vztahu soupeření na vztah spolupráce | Theses on a related topic
183.
Voženílková, Ludmila
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: Světelné objekty – 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: Světelné objekty – Keramická plastika | Theses on a related topic
184.
Weiser, Jiří
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dynamicky rostoucí sdílená hašovací tabulka pro 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: Dynamicky rostoucí sdílená hašovací tabulka pro DiVinE | Theses on a related topic
185.
Zavadil, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroje pro práci s message sequence charts | 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: Nástroje pro práci s message sequence charts | Theses on a related topic
186.
Ženatý, Erik
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Mathematics for Education, Technology and IT for Education
Bachelor's thesis defence: Návrh modelu lega s využitím SolidWorks | Theses on a related topic
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Mathematics for Education, Technology and IT for Education
Bachelor's thesis defence: Návrh modelu lega s využitím SolidWorks | Theses on a related topic
187.
Žilka, Filip
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Theses on a related topic