Práce na příbuzné téma (mají shodná klíčová slova):

divine, gui, qt, editor, simulator, model checking, model checker, dve, ltl

Klíčová slova abecedně | Klíčová slova dle četnosti

101.
Dražan, Sven
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Výpočetní analýza nelineárních dynamických systémů | Práce na příbuzné téma Zobrazit popisek

102.
Drobný, Adam
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Graphical client application of the CoPAS platform | Práce na příbuzné téma

103.
Ďurica, Matej
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Uživatelské rozhraní pro inteligentní dům | Práce na příbuzné téma
Obhajoba diplomové práce: Uživatelské rozhraní pro inteligentní dům | Práce na příbuzné téma

104.
Dušek, Radim
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Univerzální klient pro informační systémy | Práce na příbuzné téma

105.
Ecksteinová, Iveta
Fakulta: Fakulta informatiky
Rok: 2012, studium neúspěšně ukončeno
Program/obor Informatika / Informatika, Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Podpora pohybovatelných pozicovatelných sekcí s HTML obsahem | Práce na příbuzné téma

106.
Fargaš, Oto
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: GUI pro zadávání hypotéz v hybridní logice | Práce na příbuzné téma

107.
Fecko, Daniel
Fakulta: Fakulta informatiky
Rok: 2021, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro spojování identit v systému Perun | Práce na příbuzné téma

108.
Fialová, Michaela
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Hudební výchova se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Patetická sonáta Ludwiga van Beethovena. Odlišnosti jednotlivých vydání | Práce na příbuzné téma

109.
Florián, Jan
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Transformace simulátorů z analogové do digitální podoby s důrazem na rozvoj digitální formy a využití virtuální reality pro aplikace simulací v odvětví bezpečnostních složek. | Práce na příbuzné téma

110.
Fryblík, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Programovatelné technické struktury
Obhajoba bakalářské práce: Programové vybavení monitorovacího systému mikroprocesorového systému | Práce na příbuzné téma

111.
Furmanová, Katarína
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Software pro sestavení 3D portrétu z databáze somatoskopických znaků | Práce na příbuzné téma

112.
Gábela, Ján
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Online editor pro terminologické databáze | Práce na příbuzné téma

113.
Gajdoš, Andrej
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Testování grafických uživatelských rozhraní | Práce na příbuzné téma

114.
Gajdoš, Daniel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: PVM rozhraní pro DiVinE | Práce na příbuzné téma

115.
Gargulák, Juraj
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Vytvoření uživatelského rozhraní pro Heritrix 3 | Práce na příbuzné téma

116.
Goljerová, Alena
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Grafická reprezentace formulí logiky CTL | Práce na příbuzné téma

117.
Gomola, Radek
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Rozšíření nástroje JGAF | Práce na příbuzné téma

118.
Hajnal, Matej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba rigorózní práce: Formal Methods for Model Selection in Systems Biology | Práce na příbuzné téma

119.
Hampl, Vít
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Grafické rozhraní pro UltraGrid | Práce na příbuzné téma

120.
Haran, Himanshu Kumar
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma

121.
Hečko, Michal
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Editor obrazů pro e-learning | Práce na příbuzné téma
Obhajoba bakalářské práce: Editor obrazů pro e-learning | Práce na příbuzné téma

122.
Herich, Andrej
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Univerzálny editor gramatík | Práce na příbuzné téma

123.
Hertl, Josef
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Verifying and improving cryptographic key security in PKCS#11 implementations | Práce na příbuzné téma

124.
Hirner, Erik
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Simulátor prehliadania webu pre potreby bezpečnostného cvičenia | Práce na příbuzné téma

125.
Hlaváček, Miroslav
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba diplomové práce: Multilayer feedforward neural networks based on multi-valued neurons | Práce na příbuzné téma

126.
Holčík, Lukáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Spektrální analýza hudební skladby | Práce na příbuzné téma

127.
Holeček, Jan
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarového plánovače paměti

128.
Holík, Lukáš
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Rozhodnutelnost v temporálních logikách | Práce na příbuzné téma

129.
Homola, Ondřej
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Generování fantomů pro simulátor biomedicínských obrazových dat | Práce na příbuzné téma

130.
Hopp, Radim
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kiosk Framework | Práce na příbuzné téma

131.
Horáček, Jan
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Systém automatické kalibrace modelového železničního vozidla | Práce na příbuzné téma

132.
Horáček, Jan
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Programovatelné technické struktury
Obhajoba diplomové práce: Návrh a implementace nového protokolu sběrnice MTBbus | Práce na příbuzné téma

133.
Horáček, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Práce na příbuzné téma

134.
Horká, Ivana
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Sdružená uměnovědná studia
Obhajoba bakalářské práce: Velkomeziříčsko - noviny žijící se čtenáři v regionu již 95 let | Práce na příbuzné téma
Obhajoba bakalářské práce: Velkomeziříčsko - noviny žijící se čtenáři v regionu již 95 let | Práce na příbuzné téma

135.
Horský, Vladimír
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba bakalářské práce: Annotation of saccharide molecules | Práce na příbuzné téma

136.
Horský, Vladimír
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Anotace a validace molekul ligandů | Práce na příbuzné téma

137.
Hricišák, Erik
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Grafické prostredie pre správu výpočtových workflow analytickej platformy | Práce na příbuzné téma

138.
Hůlek, Richard
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Webdesign portálů pro Filozofickou fakultu Masarykovy univerzity | Práce na příbuzné téma

139.
Hušková, Lucie
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Mediální studia a žurnalistika (kombinace/zaměření: Žurnalistika), Německý jazyk a literatura
Obhajoba bakalářské práce: Komparace činnosti editorů v brněnské regionální mutaci deníku Mladá fronta DNES a na internetovém zpravodajském serveru Brno.idnes.cz | Práce na příbuzné téma

140.
Hutyra, Ivan
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Grafické uživatelské rozhraní pro autorizační službu | Práce na příbuzné téma

141.
Huvar, Ondřej
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbolic Model Checking of Hybrid CTL | Práce na příbuzné téma

142.
Hvizdák, Radim
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Multiplatformní aplikace pro tvorbu poznámek s podporou synchronizace | Práce na příbuzné téma

143.
Chládek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Úložiště výsledků pro výkonnostní testování | Práce na příbuzné téma

144.
Chlup, Dominik
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Interaktivní filmová projekce | Práce na příbuzné téma

145.
Jakubíková, Lucia
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Zpracování a analýza rozsáhlých dat
Obhajoba diplomové práce: Porovnanie knižníc pre tvorbu GUI v Jave | Práce na příbuzné téma

146.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Transformation of Nondeterministic Büchi Automata to Tight Automata | Práce na příbuzné téma

147.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Tight Omega-Automata | Práce na příbuzné téma

148.
Jedináková, Jana
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Italský jazyk a literatura
Obhajoba bakalářské práce: Per uno studio su Gianni Rodari traduttore e curatore: il caso di testi originali cecoslovacchi per l'infanzia | Práce na příbuzné téma

149.
Ježek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Vizuální informatika / Vývoj počítačových her
Obhajoba diplomové práce: Interconnection of Unity Game Engine and Newgrounds Online Service | Práce na příbuzné téma

150.
Ježík, Matúš
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Online simulátor logické úlohy Peg solitaire | Práce na příbuzné téma