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

retdec, reverzne inzinierstvo, llvm, c, dekompilacia, analyza binarnych suborov, porovnanie, mcsema

Keywords ordered alphabetically | Keywords ordered by occurrence rate

101.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Analysis of Parallel C++ Programs | Theses on a related topic Display description

102.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Memory-Model-Aware Analysis of Parallel Programs | Theses on a related topic

103.
Šugár, Peter
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / History of Arts
Bachelor's thesis defence: Nástenné malby kostola v Ludrovej (SK) | Theses on a related topic

104.
Tencer, Tomáš
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Historical Sciences (4-years) / Archaeology
Doctoral thesis defence: Integrácia, interpretácia a validácia geofyzikálnych metód v kontexte archeologie | Theses on a related topic

105.
Toma, Filip
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Analýza a použitie platformy Expo na vývoj natívnych mobilných aplikácií | Theses on a related topic

106.
Toman, Michal
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: LLVM IR service for Fedora | Theses on a related topic

107.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikace MPI programů pomocí DIVINE | Theses on a related topic

108.
Tomešková, Lucia
Faculty: Faculty of Law
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Daňové systémy ve vybraných zemích Evropské unie (Holandsko a Velká Británie) | Theses on a related topic
Master's thesis defence: Porovnanie konštrukčných prvkov dane z príjmu fyzických osôb medzi Českou republikou a vybranými zemami EÚ | Theses on a related topic

109.
Tomovič, Lukáš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Slicing of Parallel Programs | Theses on a related topic

110.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic

111.
Uhlík, Vladimír
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Compiling C to Cthulhu | Theses on a related topic

112.
Uhlířová, Radka maiden name: Koprdová
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Anglizismen im Deutschen und Tschechischen: Ein Vergleich anhand ausgewählter journalistischer Texte über EU-Ereignisse | Theses on a related topic

113.
Uhrin, Matej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Analýza a hodnocení webových stránek veřejné správy | Theses on a related topic

114.
Urban, Lukáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Adapting SBT-Fizzer for Test-Comp | Theses on a related topic

115.
Valkovič, Lukáš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Porovnání vývoje pro mobilní aplikace v Corona SDK a libGDX | Theses on a related topic

116.
Vávra, Miloslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Mapování preprocesovaného kódu | Theses on a related topic

117.
Vitovská, Martina
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafický modul systému pro řízení světelné signalizace | Theses on a related topic

118.
Vitovská, Martina
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Instrumentation of LLVM IR | Theses on a related topic