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

implementation, state space reductions, llvm, multi-threading, shared memory, model checking, linear temporal logic, parallel algorithms, distributed memory, partial order reduction, explicit-state model checking, software model checking, interpreter, exception handling

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

101.
Herzánová, Leona
Fakulta: Právnická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná správa / Veřejná správa
Obhajoba diplomové práce: Hodnotící model CAF v české veřejné správě | Práce na příbuzné téma Zobrazit popisek

102.
Hladová, Lucie
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Management (kombinace/zaměření: Management)
Obhajoba bakalářské práce: Zavedení lean managementu v podniku | Práce na příbuzné téma

103.
Hlaváč, Igor
Fakulta: Filozofická fakulta
Rok: 2011, 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: Kaizen a jeho možná implementace do vysokoškolských knihoven | Práce na příbuzné téma

104.
Holeček, Jan
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarového plánovače paměti

105.
Holík, Lukáš
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Rozhodnutelnost v temporálních logikách | Práce na příbuzné téma

106.
Honzů, Kristýna
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, 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: EVROPA 2020 a reflexe ve strategických dokumentech členských států | Práce na příbuzné téma

107.
Horáček, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Práce na příbuzné téma

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

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

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

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

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

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

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

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

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

117.
Huvar, Ondřej
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbolic Model Checking of Hybrid CTL | Práce na příbuzné téma

118.
Chaloupka, Jakub
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Algorithms for Mean-Payoff and Energy Games | Práce na příbuzné téma

119.
Chaloupka, Jakub
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Distributed Algorithms for Mean-Payoff Games | Práce na příbuzné téma

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

121.
Chládková, Kateřina
Fakulta: Právnická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Teorie a praxe přípravného řízení trestního
Obhajoba bakalářské práce: Tlumočník v trestním řízení | Práce na příbuzné téma

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

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

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

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

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

127.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Transformation of Nondeterministic Büchi Automata to Tight Automata | Práce na příbuzné téma

128.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Tight Omega-Automata | Práce na příbuzné téma

129.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Improvements of reaching definitions analysis in Symbiotic | Práce na příbuzné téma

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

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

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

133.
Kadaši, Jakub
Fakulta: Fakulta informatiky
Rok: 2017, 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: Verifikace paralelní hashovací tabulky z knihovny Folly | Práce na příbuzné téma

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

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

136.
Kakaš, Richard
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Automatizovaná paralelizace zpracování vstupních dat na základě kauzality | Práce na příbuzné téma

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

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

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

140.
Keda, Michal
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Grafická reprezentace formulí logiky LTL | Práce na příbuzné téma

141.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Virtual File System in DIVINE 4 | 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.
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

144.
Konicar, Robert
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: A Nondeterministic File System Model for DiOS | Práce na příbuzné téma

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

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

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

148.
Kořének, Jan
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství německého jazyka pro základní školy, Učitelství zeměpisu pro základní školy
Obhajoba diplomové práce: Realizace mezipředmětové výuky na ZŠ | Práce na příbuzné téma

149.
Koukolová, Pavlína
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Finanční podnikání
Obhajoba diplomové práce: Výběr účetního software pro firmu | Práce na příbuzné téma

150.
Kováčik, Milan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Simulation-based analysis of large-scale dynamical systems | Práce na příbuzné téma