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

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

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

101.
Šmerdová, Eva
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Účetní informační systémy | Práce na příbuzné téma Zobrazit popisek

102.
Šmídová, Lenka
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Veřejná ekonomika
Obhajoba bakalářské práce: Zdravotní politika a plány krajů ČR | Práce na příbuzné téma

103.
Šťastný, Jan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Aplikace pro správu virtuálních webových serverů na FSS MU | Práce na příbuzné téma

104.
Štěpánek, Marek
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství dějepisu pro základní školy, Pedagogické asistentství zeměpisu pro základní školy
Obhajoba bakalářské práce: Volně dostupný software pro implementaci geografických informačních systémů do škol | Práce na příbuzné téma

105.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: State space compression for the DiVinE model checker | Práce na příbuzné téma

106.
Švajdová, Petra
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná a sociální politika a lidské zdroje / Personální management a organizační rozvoj
Obhajoba diplomové práce: Vnímání společenské odpovědnosti firmy ze strany jejích zaměstnanců | Práce na příbuzné téma

107.
Táborský, Adam
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Monitoring trhu práce a jeho implementace ve Švédsku | Práce na příbuzné téma

108.
Tvrdoň, Čeněk
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná a sociální politika a lidské zdroje / Personální management a organizační rozvoj
Obhajoba diplomové práce: Posouzení účinnosti a efektivity vzdělávacího programu | Práce na příbuzné téma

109.
Urbánková, Vlasta roz. Pelajová
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Učitelství anglického jazyka a literatury pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Interaktivní materiály k středoškolské matematické analýze | Práce na příbuzné téma

110.
Vaculík, Milan
Fakulta: Právnická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Směrnice 93/13/EHS a její implementace do soukromého práva ČR (ochrana spotřebitele) | Práce na příbuzné téma

111.
Veselá, Karolína
Fakulta: Ekonomicko-správní fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Podniková informatika / Podniková informatika
Obhajoba bakalářské práce: Zhodnocení implementace online čárových kódů v podniku | Práce na příbuzné téma

112.
Vítková, Natália
Fakulta: Fakulta sociálních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba diplomové práce: Implementace Strategie Evropské unie pro boj proti terorismu národními státy | Práce na příbuzné téma

113.
Vitovský, Petr
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: Převod LLVM bitkódu do C | Práce na příbuzné téma

114.
Vlčková, Dagmar
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Sociální politika a sociální práce (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Poskytování IAP a jeho význam v procesu aktivace klienta | Práce na příbuzné téma
Obhajoba diplomové práce: Poskytování IAP a jeho význam v procesu aktivace klienta | Práce na příbuzné téma

115.
Vomelová, Jana
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Europeizace trestního práva hmotného | Práce na příbuzné téma

116.
Vrba, Jiří
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Podniková ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Návrh akčního plánu CSR | Práce na příbuzné téma

117.
Werl, Pavel
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Arbitrážní příležitosti na vybraných finančních trzích Východní Asie | Práce na příbuzné téma

118.
Zárubová, Kristýna
Fakulta: Ekonomicko-správní fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa
Obhajoba diplomové práce: Od sociálních inovací k advokacii: úsilí o změny ve společnosti | Práce na příbuzné téma

119.
Zezulčíková, Markéta
Fakulta: Právnická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Implementace směrnice o službách na vnitřním trhu v ČR | Práce na příbuzné téma

120.
Žaludová, Veronika
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Zavedení controllingu v konkrétním podniku | Práce na příbuzné téma
Obhajoba diplomové práce: Zavedení controllingu v konkrétním podniku | Práce na příbuzné téma

121.
Andersová, Kamila
Fakulta: Právnická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Ústavněprávní souvislosti úpravy držení střelných zbraní | Práce na příbuzné téma

122.
Babič, Petr
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: Shader graph module for Age | Práce na příbuzné téma

123.
Bača, Vladimír
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Počítačová podpora pro specifikaci požadavků v LTL | Práce na příbuzné téma

124.
Balek, Jan
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Nanášení textur přes pomocné povrchy

125.
Bali, Salvika
Fakulta: Ekonomicko-správní fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management (angl.)
Obhajoba diplomové práce: Project Management | Práce na příbuzné téma

126.
Balík, Daniel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: 3D rekonstrukce a vizualizace zubních lišt | Práce na příbuzné téma

127.
Baran, Dušan
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Flow exporter for cloud environment | Práce na příbuzné téma

128.
Bártek, Filip
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Realizace Rabinovy hry na konečných grafech | Práce na příbuzné téma

129.
Bartošek, Jan
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Porovnání knihoven pro tvorbu GUI v C/C++ | Práce na příbuzné téma

130.
Bayer, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro automatickou tvorbu elektronické dokumentace pro programy v C++ | Práce na příbuzné téma

131.
Bednárek, Přemysl
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Web Application for Competitive Rubik's Cube Solving | Práce na příbuzné téma

132.
Bednářová, Hana
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika (kombinace/zaměření: Žurnalistika), Politologie
Obhajoba bakalářské práce: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Práce na příbuzné téma

133.
Beľa, Martin
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Vulkan displej pre UltraGrid | Práce na příbuzné téma

134.
Bém, Petr
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Firmware for RoFICoM | Práce na příbuzné téma

135.
Benčo, Filip
Fakulta: Fakulta informatiky
Rok: 2012, 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: Sestavování a vizualizace nábytkových souprav | Práce na příbuzné téma

136.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE

137.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Ověřování interaktivních vlastností komponentových systémů | Práce na příbuzné téma

138.
Beneš, Petr
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Voroného diagramy v molekulární chemii | Práce na příbuzné téma

139.
Beránková, Kristýna
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociální práce / Sociální práce, Veřejná a sociální politika a lidské zdroje
Obhajoba bakalářské práce: Postoj pedagogických pracovníků k zavedení sociální práce na vybrané základní škole | Práce na příbuzné téma

140.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE

141.
Bezuchová, Monika
Fakulta: Fakulta sociálních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika
Obhajoba diplomové práce: Specifiky vývoje tématu na přikladu vlastního dokumentárního díla | Práce na příbuzné téma
Obhajoba diplomové práce: Specifika vývoje tématu na příkladu vlastního dokumentárního díla | Práce na příbuzné téma

142.
Bláhová, Olga
Fakulta: Ekonomicko-správní fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná správa (L'Administration publique)
Obhajoba diplomové práce: Implementace programu LEADER+ v regionu Posázaví

143.
Bočánek, Marek
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Management (kombinace/zaměření: Management)
Obhajoba bakalářské práce: Implementace marketingu do malého nebo středního podniku | Práce na příbuzné téma

144.
Bráblík, František
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: Knihovna pro animaci grafu měnícího se v čase | Práce na příbuzné téma

145.
Brandtnerová, Lenka
Fakulta: Ekonomicko-správní fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Evropská hospodářská, správní a kulturní studia
Obhajoba bakalářské práce: Vliv dopravní politiky EU na národní železniční dopravu | Práce na příbuzné téma

146.
Brukner, Tomáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Integer abstract domains | Práce na příbuzné téma

147.
Brukner, Tomáš
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: A Common Framework for Inquiries about Program Properties | Práce na příbuzné téma

148.
Bulánek, Michal
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Poradenský portál pro zpracování biomasy | Práce na příbuzné téma

149.
Burget, Rostislav
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: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma

150.
Cisko, František
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: 3d interaktivní počítačová hra pro děti předškolního věku | Práce na příbuzné téma
Obhajoba diplomové práce: 3d interaktivní počítačová hra pro děti předškolního věku | Práce na příbuzné téma