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

divine, qt, uzivatelske rozhrani, c++, formalni verifikace, model checking, graficke rozhrani, formal verification, overovani modelu, ui, simulator

Keywords ordered alphabetically | Keywords ordered by occurrence rate

151.
Horáček, Jan
Faculty: Faculty of Informatics
Year: 2004, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Editor pro komplexní úpravu rastrového obrazu

152.
Horáček, Jan
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Embedded Systems
Master's thesis defence: Návrh a implementace nového protokolu sběrnice MTBbus | Theses on a related topic

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

154.
Horáček, Tomáš
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Interaktivní průvodce aplikací CAVER Analyst | Theses on a related topic

155.
Horák, Jiří
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Komplexní analýza systému pro podporu obchodování | Theses on a related topic

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

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

158.
Hořelka, Martin
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Frontend portálu pro správu cloudových aplikací a virtuálních učeben | Theses on a related topic

159.
Hruban, Lubomír
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza elektronického sběru a vykazovaní dat sociálních služeb | Theses on a related topic

160.
Hrušková, Markéta
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Komparační analýza uživatelského rozhraní seznamovacích serverů | Theses on a related topic

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

162.
Hvizdák, Radim
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Multiplatformní aplikace pro tvorbu poznámek s podporou synchronizace | Theses on a related topic

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

164.
Hypš, Otakar
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Uživatelské rozhraní ERP systému | Theses on a related topic

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

166.
Chládek, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Úložiště výsledků pro výkonnostní testování | Theses on a related topic

167.
Chlup, Dominik
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Interaktivní filmová projekce | Theses on a related topic

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

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

170.
Jankola, Marek
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Transformation of Nondeterministic Büchi Automata to Tight Automata | Theses on a related topic

171.
Jankola, Marek
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Tight Omega-Automata | Theses on a related topic

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

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

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

175.
Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Improvements of reaching definitions analysis in Symbiotic | Theses on a related topic

176.
Ježík, Matúš
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Online simulátor logické úlohy Peg solitaire | Theses on a related topic

177.
Jiráková, Lucie
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Bachelor's thesis defence: Analýza textů v uživatelském rozhraní antivirových programů | Theses on a related topic

178.
Jochec, Dominik
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Webový simulátor Turingova stroje | Theses on a related topic

179.
Juračka, Jan
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Systém na podporu automatizace vyhodnocení a srovnání výsledků soutěže Cell Tracking Challenge | Theses on a related topic

180.
Juránek, Vojtěch
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Virtual reality toolkit for the Unity game engine | Theses on a related topic

181.
Jurčíková, Jana
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Informační architektura a použitelnost v návaznosti na typ systému | Theses on a related topic

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

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

184.
Keda, Michal
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace formulí logiky LTL | Theses on a related topic

185.
Klement, David
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Master's thesis defence: Vizualizace sémantické sítě | Theses on a related topic

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

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

188.
Kobzík, František
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Dotazování pomocí obrázků extrahovaných z videa | Theses on a related topic

189.
Kokešová, Nikol
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Redesign webového uživatelského rozhraní | Theses on a related topic

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

191.
Kolesár, Miroslav
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Compendium of Persuasive User Experience Design Techniques | Theses on a related topic

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

193.
Kopecký, Aleš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Uživatelské rozhraní nástroje pro diagnostiku plazmové emise | Theses on a related topic

194.
Kotúček, Patrik
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Návrh grafického používateľského rozhrania webových aplikácií verejnej správy | Theses on a related topic

195.
Koutek, Lukáš
Faculty: Faculty of Informatics
Year: 2022, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Redesign uživatelského rozhraní Kapesního skautISu | Theses on a related topic

196.
Kovács, Petr
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analyzátor jazyka XUL pro systém DIG | Theses on a related topic

197.
Kovanda, Tomáš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Výukový nástroj pro binární matematickou morfologii | Theses on a related topic

198.
Král, Adam
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Front-end webové aplikace pro výuku programování | Theses on a related topic

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

200.
Krč, Pavel
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Nástroj na úpravu programů v C++