Theses on a related topic (having the same keywords):
kryptografia, overenie modelu, pi-calculus, proverif, enkrypcia, formalna verifikacia, message sequence chart, modelovanieKeywords ordered alphabetically | Keywords ordered by occurrence rate
51.
Rangelov, Andrej
Faculty: Faculty of Economics and Administration
Year: 2013, 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: 2013, 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
52.
Richnavský, Andrej
Faculty: Faculty of Economics and Administration
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Business Informatics / Business Informatics
Bachelor's thesis defence: Optimalizace podnikového procesu pomocí modelování a simulace | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Business Informatics / Business Informatics
Bachelor's thesis defence: Optimalizace podnikového procesu pomocí modelování a simulace | Theses on a related topic
53.
Sák, Daniel
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: GPU akcelerované útoky hrubou silou se zaměřením na uživatelská hesla | 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: GPU akcelerované útoky hrubou silou se zaměřením na uživatelská hesla | Theses on a related topic
54.
Schwarzová, Zuzana
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Výuka v multikontextuálním prostředí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Výuka v multikontextuálním prostředí | Theses on a related topic
55.
Smolka, Tobiáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Zvýšení bezpečnosti aplikací na čipových kartách s využitím automatické transformace | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Zvýšení bezpečnosti aplikací na čipových kartách s využitím automatické transformace | Theses on a related topic
56.
Stuhl, Miroslav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Kooperace a její simulace | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Kooperace a její simulace | Theses on a related topic
57.
Šedivcová, Nikola
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Post-kvantová kryptografie | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Post-kvantová kryptografie | Theses on a related topic
58.
Šurányi, Martin
Faculty: Faculty of Informatics
Year: 2010, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování a simulace s využitím systému Maple a MapleSim | Theses on a related topic
Bachelor's thesis defence: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti regulárních jazyků | Theses on a related topic
Bachelor's thesis defence: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti regulárních jazyků | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování a simulace s využitím systému Maple a MapleSim | Theses on a related topic
Bachelor's thesis defence: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti regulárních jazyků | Theses on a related topic
Bachelor's thesis defence: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti regulárních jazyků | Theses on a related topic
59.
Tvrdý, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Modelování a analýza kryptografických primitiv | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Modelování a analýza kryptografických primitiv | Theses on a related topic
60.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
61.
Vlk, Jozef
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Porovnání animačních technik pomocí kosterního systému | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Porovnání animačních technik pomocí kosterního systému | Theses on a related topic
62.
Záhora, Peter
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
63.
Zhuk, Marharyta
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modelování a verifikace platebního systému | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modelování a verifikace platebního systému | Theses on a related topic