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

hctl, property specification patterns, model checking, java, java swing, hybrid computation tree logic, gui editor

Keywords ordered alphabetically | Keywords ordered by occurrence rate

751.
Zubčák, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webový framework s modulem pro správu uživatelů | Theses on a related topic Display description

752.
Zubnárová, Katarína
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšíření informačního systému pro organizaci speciálních misí v leteckém simulátoru | Theses on a related topic
Bachelor's thesis defence: Zavedení nástroje OnlineKitchen do testovacích procesů QA týmu | Theses on a related topic

753.
Žák, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Coloured Nested DFS | Theses on a related topic

754.
Žárská, Kateřina
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Interaktivní manipulace s lidskými obličeji a jejich významnými body v 3D | Theses on a related topic
Bachelor's thesis defence: Interaktivní manipulace s lidskými obličeji a jejich významnými body v 3D | Theses on a related topic

755.
Železný, Vojtěch
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Statistics and Data Analysis
Bachelor's thesis defence: Vytvoření elektronické studijní opory pro distanční studium | Theses on a related topic

756.
Žežulka, Miloslav
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Graphical Debugger of GPIO Pins | Theses on a related topic

757.
Župka, Ondřej
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Informační systém pro ubytovací zařízení

758.
Župka, Ondřej
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Intranetový informační systém pro řízení dokumentace v SME | Theses on a related topic