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

transformace programu, divine, implementation, software verification, c++, parallelism, program transformation, llvm, relaxovane pametove modely, memory models, relaxed memory, verifikace software

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

101.
Horáček, Jan
Fakulta: Fakulta informatiky
Rok: 2004, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Editor pro komplexní úpravu rastrového obrazu

102.
Horáček, Jan
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: Systém automatické kalibrace modelového železničního vozidla | Práce na příbuzné téma

103.
Horáčková, Petra
Fakulta: Lékařská fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ošetřovatelství / Všeobecná sestra
Obhajoba bakalářské práce: Implementace nových poznatků do praxe sester v nemocničních zařízeních | Práce na příbuzné téma

104.
Horký, Miroslav
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Předimplementační analýza ERP systému Oracle NetSuite pro provoz knihovny | Práce na příbuzné téma

105.
Hornáčková, Katarína
Fakulta: Fakulta informatiky
Rok: 2016, 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: Bezpečnost USB připojení v OS Android | Práce na příbuzné téma

106.
Horov, Dávid
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Analýza běžných chyb studentů programujících v C/C++ | Práce na příbuzné téma

107.
Horský, Vladimír
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba bakalářské práce: Annotation of saccharide molecules | Práce na příbuzné téma

108.
Horský, Vladimír
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Anotace a validace molekul ligandů | Práce na příbuzné téma

109.
Hořáková, Lenka
Fakulta: Fakulta sociálních studií
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociální politika a sociální práce / Psychologie, Sociální politika a sociální práce
Obhajoba bakalářské práce: Možnosti a limity zavádění terapeutických programů pro pachatele domácího násilí v ČR: případová studie z brněnského regionu | Práce na příbuzné téma

110.
Hosnedlová, Pavla
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba diplomové práce: Pozdní a včasná transpozice směrnic EU v ČR pohledem exekutivní a legislativní moci | Práce na příbuzné téma

111.
Hrabovská, Terezie
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika / Hospodářská politika
Obhajoba bakalářské práce: Makroobezřetnostní politika – Teorie a realita | Práce na příbuzné téma

112.
Hrazděrová, Markéta
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance
Obhajoba bakalářské práce: Analýza implementace účetního softwaru ve vybrané firmě | Práce na příbuzné téma

113.
Hubálková, Zuzana
Fakulta: Fakulta sociálních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Sociologie, Veřejná politika a lidské zdroje
Obhajoba bakalářské práce: Faktory, které brání nebo podporují zvýšení zaměstnatelnosti absolventů ve vybraném programu z hlediska jeho realizátorů | Práce na příbuzné téma

114.
Hudcovicová, Katarína
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Detection of Propagandistic Techniques in Text using Pretrained Language Models | Práce na příbuzné téma

115.
Humlíčková, Jana roz. Valičová
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství odborných předmětů pro střední školy
Obhajoba diplomové práce: Vzdělávací kurz pro mládež se zaměřením na práci instruktora | Práce na příbuzné téma

116.
Hybner, Tomáš
Fakulta: Fakulta informatiky
Rok: 2013, 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: Knihovna geometrických algoritmů CGAL | Práce na příbuzné téma
Obhajoba bakalářské práce: Knihovna geometrických algoritmů CGAL | Práce na příbuzné téma

117.
Chalupa, Marek
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Slicing of LLVM Bitcode | Práce na příbuzné téma

118.
Charbulák, Ondřej
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: Modul pro generování VoIP datového toku end-to-end šifrovaných messengerů | Práce na příbuzné téma

119.
Chvalinová, Markéta
Fakulta: Fakulta sociálních studií
Rok: 2013, studium neúspěšně ukončeno
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: Optimalizace vzdělávacího systému | Práce na příbuzné téma

120.
Ihnatová, Ivana
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biologie / Matematická biologie
Obhajoba diplomové práce: Implementácia metód pre meta-analýzu dát z microarray experimentov. | Práce na příbuzné téma

121.
Ihnatová, Ivana
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Biologie / Matematická biologie
Obhajoba rigorózní práce: MAMA: R-balík pro meta-analýzu microarray | Práce na příbuzné téma

122.
Illík, Viktor
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biochemie / Chemoinformatika a bioinformatika
Obhajoba bakalářské práce: Nástroje pro analýzu trajektorií molekulárně dynamických simulací | Práce na příbuzné téma

123.
Jakobová, Martina
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy (kombinace/zaměření: Anglický jazyk a literatura)
Obhajoba diplomové práce: Tradiční lidová kultura a folklor ve výuce na primárním stupni ZŠ | Práce na příbuzné téma

124.
Janča, Radim
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Efektivní implementace algoritmů pro Bűchiho automaty | Práce na příbuzné téma

125.
Jankeová, Ivana
Fakulta: Ekonomicko-správní fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance
Obhajoba bakalářské práce: Výběr účetního softwaru a postup jeho implementace ve vybrané firmě | Práce na příbuzné téma

126.
Jankovič, Michal
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Augmented Reality Deformable Tracking | Práce na příbuzné téma
Obhajoba bakalářské práce: Augmented Reality Deformable Tracking | Práce na příbuzné téma

127.
Janoušek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Návrh modelovacího jazyka nástroje DiVinE | Práce na příbuzné téma

128.
Janoušek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Vizuální informatika / Vývoj počítačových her
Obhajoba diplomové práce: Low-level Game Networking in C++ | Práce na příbuzné téma

129.
Jedlička, Roman
Fakulta: Právnická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Judikatura Soudního dvora ohledně uplatňování daně z přidané hodnoty | Práce na příbuzné téma

130.
Jenčková, Martina roz. Jetmarová
Fakulta: Fakulta sociálních studií
Rok: 2012, 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í: Sociální politika)
Obhajoba diplomové práce: The Welfare State and Services for Elderly Immigrants | Práce na příbuzné téma

131.
Juhásová, Eva
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Education and Training of Employees in a Multinational Corporation as an Integral Part of the Human Resources Management | Práce na příbuzné téma

132.
Kabláš, Kristián
Fakulta: Fakulta informatiky
Rok: 2019, 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: Serializace a C++ | Práce na příbuzné téma

133.
Kadlic, Pavel
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Informační systém vedení agendy cestovní kanceláře | Práce na příbuzné téma

134.
Kafka, Petr
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Hospodářská politika
Obhajoba diplomové práce: Liberalizace a regulace železničního trhu v ČR | Práce na příbuzné téma

135.
Kalčok, Lukáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Generování úrovní detailů pro 3D modely | Práce na příbuzné téma

136.
Karas, Ondrej
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Analýza využití účetních informačních systémů | Práce na příbuzné téma

137.
Karásek, Adam
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Authorship Identification | Práce na příbuzné téma

138.
Kárná, Aneta
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Sociální pedagogika a poradenství
Obhajoba bakalářské práce: Podnikové vzdělávání v malých firmách | Práce na příbuzné téma
Obhajoba bakalářské práce: Podnikové vzdělávání v malých firmách | Práce na příbuzné téma

139.
Kaya, Dávid
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Linux client for YSoft SafeQ | Práce na příbuzné téma

140.
Klíč, Karel
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: Ukázkové příklady grafických aplikací | Práce na příbuzné téma

141.
Klimeš, Jiří
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Výpočet obsahu a objemu molekulárního povrchu | Práce na příbuzné téma

142.
Klimeš, Zdeněk
Fakulta: Ekonomicko-správní fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Podniková informatika / Podniková informatika
Obhajoba bakalářské práce: Analýza využití cloud computingu | Práce na příbuzné téma

143.
Kokinda, Patrik
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Fyzika se zaměřením na vzdělávání / Fyzika se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Sekundové kyvadlo | Práce na příbuzné téma

144.
Koller, Alexandr
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: Implementace historických kryptosystémů | Práce na příbuzné téma

145.
Konečná, Tereza roz. Lerchová
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Matematika se zaměřením na vzdělávání, Výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Sbírka úloh ze stereometrie pro SŠ | Práce na příbuzné téma

146.
Konečný, Tomáš
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Analýza a implementace procesů na úrovni krizového štábu | Práce na příbuzné téma

147.
Konvalinka, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Má člověče nezlob se výherní strategii? | Práce na příbuzné téma

148.
Kopecký, Jakub
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Open source ERP pro malé a střední firmy | Práce na příbuzné téma

149.
Korenčik, Lukáš
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Decompiling Binaries into LLVM IR Using McSema and Dyninst | Práce na příbuzné téma

150.
Kormaňák, Tomáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Podniková informatika
Obhajoba bakalářské práce: Analýza projektu inovace informačního systému a jeho vyhodnocení | Práce na příbuzné téma