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

51.
Boniš, Andrej
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Databáze gramatik pro podporu rozpoznávání řeči | Theses on a related topic Display description

52.
Bor, Václav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozsáhlý systém integrující mnoho internetových obchodů | Theses on a related topic

53.
Borkovec, Pavel
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Reklamační systém pro velkoobchodní sklad | Theses on a related topic

54.
Borkovec, Pavel
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Poskytování jmen geografických objektů ze systému Geonames | Theses on a related topic

55.
Bortsov, Vitalii
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Portál práce | Theses on a related topic

56.
Botorek, Jan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Tvorba nástroje pro zpracování textových popisů multimediálních dat | Theses on a related topic

57.
Botorek, Jan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Rozvoj nástroje MUFIN Image Annotation | Theses on a related topic

58.
Božek, Ondřej
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Údržba a modernizace webových projektů | Theses on a related topic

59.
Božek, Ondřej
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Systém pro správu webových formulářů | Theses on a related topic

60.
Božek, Tomáš
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Improving Configurability of an Authentication Component | Theses on a related topic

61.
Božková, Karolína
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém pro správu sportovních turnajů | Theses on a related topic

62.
Brchaň, Jan
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Tvorba moderních aplikací v jazyce Groovy | Theses on a related topic

63.
Brilla, Dávid
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Revize návrhu a reimplementace datového skladu pro uložení rozsáhlých heterogenních dat | Theses on a related topic

64.
Brož, Marcel
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace na sledování odpracovaného času pro mobilní platformu Android | Theses on a related topic

65.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Decidability and complexity of infinite-state stochastic games | Theses on a related topic

66.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Basic Model Checking Problems for Stochastic Games | Theses on a related topic

67.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Basic model-checking problems for stochastic games | Theses on a related topic

68.
Bryndza, Martin
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Making internal communication in a software company more efficient | Theses on a related topic

69.
Bříza, Otto
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Počítačová nanalýza a simulace hry poker | Theses on a related topic

70.
Buda, Miroslav
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Implementace platebního protokolu na čipové kartě | Theses on a related topic

71.
Bunčiak, Štefan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšírenie SQL editoru v nástroji CloverETL | Theses on a related topic

72.
Burget, Rostislav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic

73.
Cabanová, Vanda
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Výukové materiály a vzorové pokročilé aplikace pro platformu Android | Theses on a related topic

74.
Ceľuch, Jozef
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Java bytecode disassembler | Theses on a related topic

75.
Cibira, Jakub
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vizuálne logické úlohy typu čierna skrinka | Theses on a related topic

76.
Cirok, Timotej
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Automatic Recognition of Mobile Phone Screenshots Content | Theses on a related topic

77.
Coufal, Jakub
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Platební brána pro rozsáhlé infrastruktury | Theses on a related topic

78.
Cvitkovič, Peter
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Interaktivní studentský rozvrh | Theses on a related topic

79.
Čaba, Michal
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Dělení 3D modelů pro 3D tisk | Theses on a related topic

80.
Čaba, Michal
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Vizualizace časosběrných sekvencí snímků populací živých buněk | Theses on a related topic

81.
Čamák, Marián
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Přehled a srovnání pattern matching algoritmů | Theses on a related topic

82.
Čangel, Patrik
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Integrácia umelej inteligencie do informačného systému | Theses on a related topic

83.
Časar, Tomáš
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Portál pro transformaci PDF souborů | Theses on a related topic

84.
Časar, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Aktivní dotazovací systém | Theses on a related topic

85.
Čecháček, Jakub
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Integrating Apiman gateway with OpenShift | Theses on a related topic
Master's thesis defence: Integrating Apiman gateway with OpenShift | Theses on a related topic

86.
Čecháčková, Jana
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Mobilní aplikace mapování parků v Brně | Theses on a related topic

87.
Čerenský, Peter
Faculty: Faculty of Informatics
Year: 2004, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Evidence konfigurací počítačů

88.
Čerhák, Radoslav
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Concept of registration application for IAM systems | Theses on a related topic

89.
Čermák, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Porovnání modelovacích schopností verifikačních nástrojů | Theses on a related topic

90.
Čermák, Michal
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Přístup k prezentačním službám Web 2.0 | Theses on a related topic

91.
Čerňan, Miroslav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Analýza portálu veřejné správy ČR a jeho reengineering pro oblast životního prostředí | Theses on a related topic
Bachelor's thesis defence: Informační systém pro generování prohlášení o vlastnostech ve stavebnictví | Theses on a related topic
Bachelor's thesis defence: Informační systém pro generování prohlášení o vlastnostech ve stavebnictví | Theses on a related topic

92.
Červený, Martin
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Elektronická žákovská knížka pro ZŠ | Theses on a related topic

93.
Čimbora, Matej
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna jFreeChart pro vytváření grafů | Theses on a related topic

94.
Čimbora, Matej
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Usability improvements of OptaPlanner Benchmarker | Theses on a related topic

95.
Čižmár, Jan
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Interaktivní lokalizační framework pro vývoj aplikací v jazyku JavaScript | Theses on a related topic

96.
Čonga, Peter
Faculty: Faculty of Informatics
Year: 2024, studies terminated for failure to fulfill study requirements
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Analyzing 3D Scans of Human Faces Using Cutting Planes | Theses on a related topic

97.
Damek, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro automatické procházení webových stránek | Theses on a related topic

98.
Dancsok, Peter
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vývoj informačního systému na bázi Google App Engine | Theses on a related topic

99.
Daněk, Pavel
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Krajina Valašska | Theses on a related topic

100.
Debef, Martin
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Strukturované ukládání dat získaných technologií microarrays | Theses on a related topic