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

data abstraction, navrh algoritmu, implementation, divine, datova abstrakce, logika bitovych vektoru, bitvector logic, llvm, c, c++, analyza softwarovych systemu, software analysis, algorithm design, implementace

Keywords ordered alphabetically | Keywords ordered by occurrence rate

101.
Šmerdová, Eva
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Účetní informační systémy | Theses on a related topic Display description

102.
Šmídová, Lenka
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics
Bachelor's thesis defence: Zdravotní politika a plány krajů ČR | Theses on a related topic

103.
Šťastný, Jan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Aplikace pro správu virtuálních webových serverů na FSS MU | Theses on a related topic

104.
Štěpánek, Marek
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in History
Bachelor's thesis defence: Volně dostupný software pro implementaci geografických informačních systémů do škol | Theses on a related topic

105.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: State space compression for the DiVinE model checker | Theses on a related topic

106.
Švajdová, Petra
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Vnímání společenské odpovědnosti firmy ze strany jejích zaměstnanců | Theses on a related topic

107.
Táborský, Adam
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Monitoring trhu práce a jeho implementace ve Švédsku | Theses on a related topic

108.
Tvrdoň, Čeněk
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Posouzení účinnosti a efektivity vzdělávacího programu | Theses on a related topic

109.
Urbánková, Vlasta maiden name: Pelajová
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in English Language and Literature, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Interaktivní materiály k středoškolské matematické analýze | Theses on a related topic

110.
Vaculík, Milan
Faculty: Faculty of Law
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Směrnice 93/13/EHS a její implementace do soukromého práva ČR (ochrana spotřebitele) | Theses on a related topic

111.
Veselá, Karolína
Faculty: Faculty of Economics and Administration
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Business Informatics / Business Informatics
Bachelor's thesis defence: Zhodnocení implementace online čárových kódů v podniku | Theses on a related topic

112.
Vítková, Natália
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Implementace Strategie Evropské unie pro boj proti terorismu národními státy | Theses on a related topic

113.
Vitovský, Petr
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Převod LLVM bitkódu do C | Theses on a related topic

114.
Vlčková, Dagmar
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Poskytování IAP a jeho význam v procesu aktivace klienta | Theses on a related topic
Master's thesis defence: Poskytování IAP a jeho význam v procesu aktivace klienta | Theses on a related topic

115.
Vomelová, Jana
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Europeizace trestního práva hmotného | Theses on a related topic

116.
Vrba, Jiří
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Business Management / Business Management
Master's thesis defence: Návrh akčního plánu CSR | Theses on a related topic

117.
Werl, Pavel
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Arbitrážní příležitosti na vybraných finančních trzích Východní Asie | Theses on a related topic

118.
Zárubová, Kristýna
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Master's thesis defence: Od sociálních inovací k advokacii: úsilí o změny ve společnosti | Theses on a related topic

119.
Zezulčíková, Markéta
Faculty: Faculty of Law
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Implementace směrnice o službách na vnitřním trhu v ČR | Theses on a related topic

120.
Žaludová, Veronika
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Zavedení controllingu v konkrétním podniku | Theses on a related topic
Master's thesis defence: Zavedení controllingu v konkrétním podniku | Theses on a related topic

121.
Andersová, Kamila
Faculty: Faculty of Law
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Ústavněprávní souvislosti úpravy držení střelných zbraní | Theses on a related topic

122.
Babič, Petr
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Shader graph module for Age | Theses on a related topic

123.
Bača, Vladimír
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Počítačová podpora pro specifikaci požadavků v LTL | Theses on a related topic

124.
Balek, Jan
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Nanášení textur přes pomocné povrchy

125.
Bali, Salvika
Faculty: Faculty of Economics and Administration
Year: 2021, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management (Eng.)
Master's thesis defence: Project Management | Theses on a related topic

126.
Balík, Daniel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: 3D rekonstrukce a vizualizace zubních lišt | Theses on a related topic

127.
Baran, Dušan
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Flow exporter for cloud environment | Theses on a related topic

128.
Bártek, Filip
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Realizace Rabinovy hry na konečných grafech | Theses on a related topic

129.
Bartošek, Jan
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Porovnání knihoven pro tvorbu GUI v C/C++ | Theses on a related topic

130.
Bayer, Jaroslav
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro automatickou tvorbu elektronické dokumentace pro programy v C++ | Theses on a related topic

131.
Bednárek, Přemysl
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Web Application for Competitive Rubik's Cube Solving | Theses on a related topic

132.
Bednářová, Hana
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism (combination/specialization: Journalism), Political Science
Bachelor's thesis defence: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Theses on a related topic

133.
Beľa, Martin
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Vulkan displej pre UltraGrid | Theses on a related topic

134.
Bém, Petr
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Firmware for RoFICoM | Theses on a related topic

135.
Benčo, Filip
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Sestavování a vizualizace nábytkových souprav | Theses on a related topic

136.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování pro verifikační nástroj DiVinE

137.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Ověřování interaktivních vlastností komponentových systémů | Theses on a related topic

138.
Beneš, Petr
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Voroného diagramy v molekulární chemii | Theses on a related topic

139.
Beránková, Kristýna
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Social Work / Public and Social Policy and Human Resources, Social Work
Bachelor's thesis defence: Postoj pedagogických pracovníků k zavedení sociální práce na vybrané základní škole | Theses on a related topic

140.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování pro verifikační nástroj DiVinE

141.
Bezuchová, Monika
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Specifiky vývoje tématu na přikladu vlastního dokumentárního díla | Theses on a related topic
Master's thesis defence: Specifika vývoje tématu na příkladu vlastního dokumentárního díla | Theses on a related topic

142.
Bláhová, Olga
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Implementace programu LEADER+ v regionu Posázaví

143.
Bočánek, Marek
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management (combination/specialization: Management)
Bachelor's thesis defence: Implementace marketingu do malého nebo středního podniku | Theses on a related topic

144.
Bráblík, František
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna pro animaci grafu měnícího se v čase | Theses on a related topic

145.
Brandtnerová, Lenka
Faculty: Faculty of Economics and Administration
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / European Economy, Administrative and Cultural Studies
Bachelor's thesis defence: Vliv dopravní politiky EU na národní železniční dopravu | Theses on a related topic

146.
Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Integer abstract domains | Theses on a related topic

147.
Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: A Common Framework for Inquiries about Program Properties | Theses on a related topic

148.
Bulánek, Michal
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Poradenský portál pro zpracování biomasy | Theses on a related topic

149.
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

150.
Cisko, František
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: 3d interaktivní počítačová hra pro děti předškolního věku | Theses on a related topic
Master's thesis defence: 3d interaktivní počítačová hra pro děti předškolního věku | Theses on a related topic