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

clang, internal representation, automaton checker, c++, stanse, static analysis, bug finding, control-flow graph, staticka analyza, hledani chyb

Keywords ordered alphabetically | Keywords ordered by occurrence rate

151.
Vodička, Luděk
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Životní cyklus informačního systému výrobního podniku | Theses on a related topic Display description

152.
Zhukova, Anna
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Semi-Automatic Fusion of Multiple Cell Tracking Annotations | Theses on a related topic

153.
Ziman, Michal
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Segmentace biomedicínského obrazu pomocí otevřených aktivních kontur | Theses on a related topic

154.
Žáčik, Pavol
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Information security
Master's thesis defence: Analyzing semantic stability of cryptography libraries using Diffkemp | Theses on a related topic

155.
Živčic, Jozef
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Webové rozhraní k testování náhodnosti | Theses on a related topic