Theses on a related topic (having the same keywords):
divine, gui, qt, editor, simulator, model checking, model checker, dve, ltlKeywords ordered alphabetically | Keywords ordered by occurrence rate
101.
Dražan, Sven
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Výpočetní analýza nelineárních dynamických systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Výpočetní analýza nelineárních dynamických systémů | Theses on a related topic
102.
Drobný, Adam
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Graphical client application of the CoPAS platform | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Graphical client application of the CoPAS platform | Theses on a related topic
103.
Ďurica, Matej
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Uživatelské rozhraní pro inteligentní dům | Theses on a related topic
Master's thesis defence: Uživatelské rozhraní pro inteligentní dům | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Uživatelské rozhraní pro inteligentní dům | Theses on a related topic
Master's thesis defence: Uživatelské rozhraní pro inteligentní dům | Theses on a related topic
104.
Dušek, Radim
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Univerzální klient pro informační systémy | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Univerzální klient pro informační systémy | Theses on a related topic
105.
Ecksteinová, Iveta
Faculty: Faculty of Informatics
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems and Data Processing, Informatics
Bachelor's thesis defence: Podpora pohybovatelných pozicovatelných sekcí s HTML obsahem | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems and Data Processing, Informatics
Bachelor's thesis defence: Podpora pohybovatelných pozicovatelných sekcí s HTML obsahem | Theses on a related topic
106.
Fargaš, Oto
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: GUI pro zadávání hypotéz v hybridní logice | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: GUI pro zadávání hypotéz v hybridní logice | Theses on a related topic
107.
Fecko, Daniel
Faculty: Faculty of Informatics
Year: 2021, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro spojování identit v systému Perun | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro spojování identit v systému Perun | Theses on a related topic
108.
Fialová, Michaela
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Music for Education
Bachelor's thesis defence: Patetická sonáta Ludwiga van Beethovena. Odlišnosti jednotlivých vydání | Theses on a related topic
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Music for Education
Bachelor's thesis defence: Patetická sonáta Ludwiga van Beethovena. Odlišnosti jednotlivých vydání | Theses on a related topic
109.
Florián, Jan
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: 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. | Theses on a related topic
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: 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. | Theses on a related topic
110.
Fryblík, Vojtěch
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Programové vybavení monitorovacího systému mikroprocesorového systému | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Programové vybavení monitorovacího systému mikroprocesorového systému | Theses on a related topic
111.
Furmanová, Katarína
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Software pro sestavení 3D portrétu z databáze somatoskopických znaků | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Software pro sestavení 3D portrétu z databáze somatoskopických znaků | Theses on a related topic
112.
Gábela, Ján
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Online editor pro terminologické databáze | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Online editor pro terminologické databáze | Theses on a related topic
113.
Gajdoš, Andrej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Testování grafických uživatelských rozhraní | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Testování grafických uživatelských rozhraní | Theses on a related topic
114.
Gajdoš, Daniel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: PVM rozhraní pro DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: PVM rozhraní pro DiVinE | Theses on a related topic
115.
Gargulák, Juraj
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Vytvoření uživatelského rozhraní pro Heritrix 3 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Vytvoření uživatelského rozhraní pro Heritrix 3 | Theses on a related topic
116.
Goljerová, Alena
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafická reprezentace formulí logiky CTL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafická reprezentace formulí logiky CTL | Theses on a related topic
117.
Gomola, Radek
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Rozšíření nástroje JGAF | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Rozšíření nástroje JGAF | Theses on a related topic
118.
Hajnal, Matej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Bioinformatics
Advanced Master's thesis defence: Formal Methods for Model Selection in Systems Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Bioinformatics
Advanced Master's thesis defence: Formal Methods for Model Selection in Systems Biology | Theses on a related topic
119.
Hampl, Vít
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafické rozhraní pro UltraGrid | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafické rozhraní pro UltraGrid | Theses on a related topic
120.
Haran, Himanshu Kumar
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
121.
Hečko, Michal
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Editor obrazů pro e-learning | Theses on a related topic
Bachelor's thesis defence: Editor obrazů pro e-learning | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Editor obrazů pro e-learning | Theses on a related topic
Bachelor's thesis defence: Editor obrazů pro e-learning | Theses on a related topic
122.
Herich, Andrej
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Univerzálny editor gramatík | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Univerzálny editor gramatík | Theses on a related topic
123.
Hertl, Josef
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Verifying and improving cryptographic key security in PKCS#11 implementations | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Verifying and improving cryptographic key security in PKCS#11 implementations | Theses on a related topic
124.
Hirner, Erik
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Simulátor prehliadania webu pre potreby bezpečnostného cvičenia | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Simulátor prehliadania webu pre potreby bezpečnostného cvičenia | Theses on a related topic
125.
Hlaváček, Miroslav
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Multilayer feedforward neural networks based on multi-valued neurons | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Multilayer feedforward neural networks based on multi-valued neurons | Theses on a related topic
126.
Holčík, Lukáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Spektrální analýza hudební skladby | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Spektrální analýza hudební skladby | Theses on a related topic
127.
Holeček, Jan
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarového plánovače paměti
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarového plánovače paměti
128.
Holík, Lukáš
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Rozhodnutelnost v temporálních logikách | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Rozhodnutelnost v temporálních logikách | Theses on a related topic
129.
Homola, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Generování fantomů pro simulátor biomedicínských obrazových dat | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Generování fantomů pro simulátor biomedicínských obrazových dat | Theses on a related topic
130.
Hopp, Radim
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Kiosk Framework | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Kiosk Framework | Theses on a related topic
131.
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
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
132.
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
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
133.
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
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
134.
Horká, Ivana
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Velkomeziříčsko - noviny žijící se čtenáři v regionu již 95 let | Theses on a related topic
Bachelor's thesis defence: Velkomeziříčsko - noviny žijící se čtenáři v regionu již 95 let | Theses on a related topic
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Velkomeziříčsko - noviny žijící se čtenáři v regionu již 95 let | Theses on a related topic
Bachelor's thesis defence: Velkomeziříčsko - noviny žijící se čtenáři v regionu již 95 let | Theses on a related topic
135.
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
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
136.
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
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
137.
Hricišák, Erik
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafické prostredie pre správu výpočtových workflow analytickej platformy | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafické prostredie pre správu výpočtových workflow analytickej platformy | Theses on a related topic
138.
Hůlek, Richard
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webdesign portálů pro Filozofickou fakultu Masarykovy univerzity | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webdesign portálů pro Filozofickou fakultu Masarykovy univerzity | Theses on a related topic
139.
Hušková, Lucie
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Humanities / German Language and Literature, Media Studies and Journalism (combination/specialization: Journalism)
Bachelor's thesis defence: Komparace činnosti editorů v brněnské regionální mutaci deníku Mladá fronta DNES a na internetovém zpravodajském serveru Brno.idnes.cz | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Humanities / German Language and Literature, Media Studies and Journalism (combination/specialization: Journalism)
Bachelor's thesis defence: Komparace činnosti editorů v brněnské regionální mutaci deníku Mladá fronta DNES a na internetovém zpravodajském serveru Brno.idnes.cz | Theses on a related topic
140.
Hutyra, Ivan
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafické uživatelské rozhraní pro autorizační službu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafické uživatelské rozhraní pro autorizační službu | Theses on a related topic
141.
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
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
142.
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
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
143.
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
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
144.
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
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
145.
Jakubíková, Lucia
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Big data
Master's thesis defence: Porovnanie knižníc pre tvorbu GUI v Jave | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Big data
Master's thesis defence: Porovnanie knižníc pre tvorbu GUI v Jave | Theses on a related topic
146.
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
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
147.
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
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
148.
Jedináková, Jana
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Philology / Italian Language and Literature
Bachelor's thesis defence: Per uno studio su Gianni Rodari traduttore e curatore: il caso di testi originali cecoslovacchi per l'infanzia | Theses on a related topic
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Philology / Italian Language and Literature
Bachelor's thesis defence: Per uno studio su Gianni Rodari traduttore e curatore: il caso di testi originali cecoslovacchi per l'infanzia | Theses on a related topic
149.
Ježek, Tomáš
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer Games Development
Master's thesis defence: Interconnection of Unity Game Engine and Newgrounds Online Service | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer Games Development
Master's thesis defence: Interconnection of Unity Game Engine and Newgrounds Online Service | Theses on a related topic
150.
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
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