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

parameter synthesis, sybila, hybrid systems, implementation, high performance computing, formal methods, systems' biology, model checking, logic

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

101.
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 Zobrazit popisek

102.
Hrdlička, Ondřej
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: Library for Boolean function manipulation in Rust and Python | Práce na příbuzné téma

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

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

105.
Hulín, Matej
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Optimalizace plánování výpočtů v HPC data centru | Práce na příbuzné téma

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

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

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

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

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

111.
Ivičič, Petr
Fakulta: Fakulta informatiky
Rok: 2024, 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: Frontend of the AEON Sketchbook application | Práce na příbuzné téma

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

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

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

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

116.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Memory Safety with Predator and Symbiotic | Práce na příbuzné téma

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

118.
Jelínek, Vít
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Diskrétní algoritmy a modely
Obhajoba diplomové práce: Type theory and its semantics | Práce na příbuzné téma

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

120.
Jonáš, Martin
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Práce na příbuzné téma

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

122.
Jurčo, Štefan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická kontrola rezolučních důkazů | Práce na příbuzné téma

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

124.
Kadlecaj, Jakub
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Online Lambda Calculus Evaluator | Práce na příbuzné téma

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

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

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

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

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

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

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

132.
Klementová, Soňa
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství matematiky pro základní školy / Učitelství hudební výchovy pro základní a střední školy, Učitelství matematiky pro základní školy
Obhajoba diplomové práce: Matematik muzikantem aneb jak se dva různé obory navzájem ovlivňují | Práce na příbuzné téma

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

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

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

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

137.
Korenčiak, Ľuboš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Parameter Synthesis in Continuous-Time Stochastic Systems | Práce na příbuzné téma

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

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

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

141.
Kováčová, Linda
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Teorie interaktivních médií / Teorie interaktivních médií
Obhajoba bakalářské práce: Vplyv umelej inteligencie na filmové festivaly | Práce na příbuzné téma

142.
Kovaříková, Radmila
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa
Obhajoba bakalářské práce: Programové prohlášení zastupitelstva vybraného města - sliby versus výsledek | Práce na příbuzné téma

143.
Kovářová, Pavla
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Pedagogika
Obhajoba bakalářské práce: Podnikové vzdělávání a role personalisty | Práce na příbuzné téma

144.
Kovářová, Petra
Fakulta: Fakulta sociálních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Sociální práce (kombinace/zaměření: Sociální práce "mikro" - případové poradenství)
Obhajoba diplomové práce: Postoje pracovníků k implementaci standardů kvality sociálně právní ochrany v zařízení pro děti vyžadující okamžitou pomoc | Práce na příbuzné téma

145.
Kratina, Jaroslav
Fakulta: Fakulta sportovních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Management sportu (kombinace/zaměření: Management sportu)
Obhajoba bakalářské práce: Potenciál trhu so športovou výživou v Českej republike a na Slovensku pre vstup novéj firmy | Práce na příbuzné téma

146.
Kratochvíla, Tomáš
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ých systémů | Práce na příbuzné téma

147.
Kratochvílová, Pavla
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma

148.
Krchňák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma

149.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Post-mortem analýza stavového prostoru | Práce na příbuzné téma

150.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Enhanced parser for DVE modelling language | Práce na příbuzné téma