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

divine, buchi automata, implementation, c++, formalni verifikace, formal verification, model checking, ltl, overovani modelu, buchiho automaty, implementace

Keywords ordered alphabetically | Keywords ordered by occurrence rate

251.
Horáček, Jan
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém automatické kalibrace modelového železničního vozidla | Theses on a related topic Display description

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

253.
Hornáčková, Katarína
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Bezpečnost USB připojení v OS Android | Theses on a related topic

254.
Horov, Dávid
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza běžných chyb studentů programujících v C/C++ | Theses on a related topic

255.
Horský, Vladimír
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Annotation of saccharide molecules | Theses on a related topic

256.
Horský, Vladimír
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Anotace a validace molekul ligandů | Theses on a related topic

257.
Hořáková, Lenka
Faculty: Faculty of Social Studies
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Social Policy and Social Work / Psychology, Social Policy and Social Work
Bachelor's thesis defence: Možnosti a limity zavádění terapeutických programů pro pachatele domácího násilí v ČR: případová studie z brněnského regionu | Theses on a related topic

258.
Houšková, Hana
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Implementace SF a velikost obcí | Theses on a related topic

259.
Hubáček, Dušan
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Analýza implementace účetního softwaru ve vybrané firmě | Theses on a related topic

260.
Hudcovicová, Katarína
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Detection of Propagandistic Techniques in Text using Pretrained Language Models | Theses on a related topic

261.
Humlíčková, Jana maiden name: Valičová
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools
Master's thesis defence: Vzdělávací kurz pro mládež se zaměřením na práci instruktora | Theses on a related topic

262.
Huvar, Ondřej
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Symbolic Model Checking of Hybrid CTL | Theses on a related topic

263.
Hybner, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Knihovna geometrických algoritmů CGAL | Theses on a related topic
Bachelor's thesis defence: Knihovna geometrických algoritmů CGAL | Theses on a related topic

264.
Charbulák, Ondřej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modul pro generování VoIP datového toku end-to-end šifrovaných messengerů | Theses on a related topic

265.
Chvalinová, Markéta
Faculty: Faculty of Social Studies
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Optimalizace vzdělávacího systému | Theses on a related topic

266.
Ihnatová, Ivana
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Biology / Mathematical Biology
Master's thesis defence: Implementácia metód pre meta-analýzu dát z microarray experimentov. | Theses on a related topic

267.
Ihnatová, Ivana
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: RNDr.
Programme/field: Biology / Mathematical Biology
Advanced Master's thesis defence: MAMA: R-balík pro meta-analýzu microarray | Theses on a related topic

268.
Illík, Viktor
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Chemoinformatics and Bioinformatics
Bachelor's thesis defence: Nástroje pro analýzu trajektorií molekulárně dynamických simulací | Theses on a related topic

269.
Irber, Jakub
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systém řízení obchodů a skladů | Theses on a related topic

270.
Janča, Radim
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Efektivní implementace algoritmů pro Bűchiho automaty | Theses on a related topic

271.
Jankeová, Ivana
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Výběr účetního softwaru a postup jeho implementace ve vybrané firmě | Theses on a related topic

272.
Jankovič, Michal
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Augmented Reality Deformable Tracking | Theses on a related topic
Bachelor's thesis defence: Augmented Reality Deformable Tracking | Theses on a related topic

273.
Janoušek, Tomáš
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer Games Development
Master's thesis defence: Low-level Game Networking in C++ | Theses on a related topic

274.
Jelen, Marek
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Prototyp webové aplikace pro komunitní síť | Theses on a related topic

275.
Jenčková, Martina maiden name: Jetmarová
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work (combination/specialization: Social Policy)
Master's thesis defence: The Welfare State and Services for Elderly Immigrants | Theses on a related topic

276.
Juhásová, Eva
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Education and Training of Employees in a Multinational Corporation as an Integral Part of the Human Resources Management | Theses on a related topic

277.
Kabláš, Kristián
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Serializace a C++ | Theses on a related topic

278.
Kadlc, Tomáš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Vodoznačení medicínských obrazových dat | Theses on a related topic

279.
Kadlic, Pavel
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Informační systém vedení agendy cestovní kanceláře | Theses on a related topic

280.
Kalčok, Lukáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Generování úrovní detailů pro 3D modely | Theses on a related topic

281.
Karas, Ondrej
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Analýza využití účetních informačních systémů | Theses on a related topic

282.
Karásek, Adam
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Authorship Identification | Theses on a related topic

283.
Kárná, Aneta
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Education / Social Education and Counselling
Bachelor's thesis defence: Podnikové vzdělávání v malých firmách | Theses on a related topic
Bachelor's thesis defence: Podnikové vzdělávání v malých firmách | Theses on a related topic

284.
Kaya, Dávid
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Linux client for YSoft SafeQ | Theses on a related topic

285.
Kinská, Tereza
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Counter Automata for MTL over Untimed Words | Theses on a related topic

286.
Klíč, Karel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Ukázkové příklady grafických aplikací | Theses on a related topic

287.
Klimeš, Jiří
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Výpočet obsahu a objemu molekulárního povrchu | Theses on a related topic

288.
Klimeš, Zdeněk
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Business Informatics / Business Informatics
Bachelor's thesis defence: Analýza využití cloud computingu | Theses on a related topic

289.
Klocek, Matěj
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Základní vstupní a výstupní moduly pro VoiceXML interpreter JVoiceXML | Theses on a related topic

290.
Klokočka, Mikuláš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Semi-Determinization of Omega-Automata | Theses on a related topic

291.
Klokočka, Mikuláš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Complementation of TBA Based on Semi-Determinization | Theses on a related topic

292.
Kokinda, Patrik
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Physics for Education / Mathematics for Education, Physics for Education
Bachelor's thesis defence: Sekundové kyvadlo | Theses on a related topic

293.
Koller, Alexandr
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace historických kryptosystémů | Theses on a related topic

294.
Konečný, David
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Aplikace pro evidenci servisních zásahů na aditivních výrobních zařízeních | Theses on a related topic

295.
Konvalinka, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Má člověče nezlob se výherní strategii? | Theses on a related topic

296.
Kopecký, Jakub
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Open source ERP pro malé a střední firmy | Theses on a related topic

297.
Kořének, Jan
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 Geography, Lower Secondary School Teacher Training in German Language
Master's thesis defence: Realizace mezipředmětové výuky na ZŠ | Theses on a related topic

298.
Kováčová, Linda
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Theory of Interactive Media / Theory of Interactive Media
Bachelor's thesis defence: Vplyv umelej inteligencie na filmové festivaly | Theses on a related topic

299.
Kovářová, Pavla
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Education / Education
Bachelor's thesis defence: Podnikové vzdělávání a role personalisty | Theses on a related topic

300.
Kramec, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Java API pro dotazovací rozhraní služby EGEE LB | Theses on a related topic