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

151.
Krmíčková, Michaela roz. Pospíšilová
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, 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: Veřejná politika vůči neziskovému sektoru ve Francii | Práce na příbuzné téma Zobrazit popisek

Obhajoba diplomové práce: Veřejná politika vůči neziskovému sektoru ve Francii | Práce na příbuzné téma Zobrazit popisek

152.
Křenek, Jan
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika, Sociální informatika
Obhajoba bakalářské práce: Automatizace vývoje a údržby rezervačního systému LEMMA | Práce na příbuzné téma

153.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Modal Transition Systems: Extensions and Analysis | Práce na příbuzné téma

154.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Probabilistic Timed Systems with Non-Determinism | Práce na příbuzné téma

155.
Křivánek, Milan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikační nástroj pro komponentové systémy | Práce na příbuzné téma

156.
Kudrnáčová, Jitka
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kešování stavů pod DiVinE | Práce na příbuzné téma

157.
Kudrnáčová, Jitka
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní verifikace LTL(F,G) vlastností | Práce na příbuzné téma

158.
Kulíšek, Samuel
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: Formal representation of graphical models of biological systems | Práce na příbuzné téma

159.
Kurková, Michaela
Fakulta: Právnická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Evidence skutečných majitelů právnických osob | Práce na příbuzné téma

160.
Kutálková, Veronika
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Aplikovaná matematika pro víceoborové studium, Ekonomie
Obhajoba bakalářské práce: Sbírka úloh z diskrétní matematiky | Práce na příbuzné téma

161.
Kuzmin, Dmytro
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: IS pro servisní centrum fotografické techniky | Práce na příbuzné téma

162.
Kuzník, Ondřej
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Model Checking of promt-LTL properties | Práce na příbuzné téma

163.
Kyselica, Filip
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Nasazení ERP systému | Práce na příbuzné téma

164.
Lacinová, Lenka
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Regionální rozvoj a správa
Obhajoba diplomové práce: Společenská odpovědnost firem v Moravskoslezském kraji | Práce na příbuzné téma

165.
Láska, Ľuboš
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: Modelování parametrizovaných systémů v jazyce DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma

166.
Lédl, Jakub
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Algebras for unranked trees | Práce na příbuzné téma

167.
Lenčo, Milan
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma

168.
Leskovská, Andrea
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, 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: eGovernment a implementace inovace - vybraný subjekt veřejné správy | Práce na příbuzné téma

169.
Lipplová, Anna
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 fondů EU v Jihočeském kraji

170.
Loskot, Jaroslav
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: Počítačová analýza a simulace hry poker | Práce na příbuzné téma

171.
Ľupták, Martin
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: Algoritmy pro rozpoznávání dotykových gest | Práce na příbuzné téma

172.
Maděryčová, Dita
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Ekonomické informační systémy
Obhajoba bakalářské práce: Analýza trhu informačních systémů | Práce na příbuzné téma

173.
Macháček, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Mapping the Omega-Automata Jungle | Práce na příbuzné téma

174.
Maliha, Tomáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Dopad zavedení GDPR na procesy v podniku | Práce na příbuzné téma

175.
Martoš, Lukáš
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Evropská studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Analýza podpory vedy a výskumu na európskej úrovni v dobe vytvárania Európskej výskumnej oblasti | Práce na příbuzné téma

176.
Matoušek, Adam
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Hledání podobností v domácích úlohách | Práce na příbuzné téma

177.
Mazáková, Kristína
Fakulta: Fakulta sociálních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy, Ruská studia
Obhajoba bakalářské práce: Environmentálne problémy v Ruskej federácii a uplatňovanie medzinárodných dohôd v praxi | Práce na příbuzné téma

178.
Maze, Dea
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace (angl.)
Obhajoba diplomové práce: Applying LEAN methodology in large IT company | Práce na příbuzné téma
Obhajoba diplomové práce: Applying LEAN methodology in an IT company | Práce na příbuzné téma

179.
Mičan, Pavel
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Trading space for time in explicit-state model checking | Práce na příbuzné téma

180.
Michálek, Marek
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Filozofie / Anglický jazyk a literatura, Filozofie
Obhajoba bakalářské práce: Intuicionistic Type Theory and its Application to Natural Language | Práce na příbuzné téma

181.
Michlová Štěrbová, Veronika
Fakulta: Fakulta sociálních studií
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Evropská studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Vliv Regionální rozvojové agentury jižní Moravy na implementaci Phare CBC | Práce na příbuzné téma

182.
Minaříková, Martina
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Pedagogika
Obhajoba bakalářské práce: Realizace daltonské výuky na prvním stupni českých základních škol | Práce na příbuzné téma

183.
Mokrá, Kateřina
Fakulta: Fakulta sociálních studií
Rok: 2011, 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
Obhajoba diplomové práce: Změna cílů standardů kvality sociálních služeb v průběhu jejich implementace v pečovatelské službě | Práce na příbuzné téma

184.
Mokráček, David
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance
Obhajoba bakalářské práce: Analýza trhu účetního (ekonomického) softwaru pro malé a střední podniky | Práce na příbuzné téma

185.
Moráček, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Simulátor pro modelovací jazyk nástroje DiVinE | Práce na příbuzné téma

186.
Moravčíková, Aneta
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: Webová platforma pre Svobodné slovníky.cz | Práce na příbuzné téma

187.
Moravec, Pavel
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Distributed State Space Reductions | Práce na příbuzné téma

188.
Mrázek, Jan
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Caching SMT Queries in SymDivine | Práce na příbuzné téma

189.
Myslivec, David
Fakulta: Právnická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Právní aspekty interoperability software | Práce na příbuzné téma

190.
Němec, Lukáš
Fakulta: Fakulta sociálních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba bakalářské práce: Fiskální decentralizace v Itálii a rozdělení strukturálních fondů v období 2007-2013 | Práce na příbuzné téma
Obhajoba bakalářské práce: Problematika implementace strukturálních fondů v členských zemích Evropské unie | Práce na příbuzné téma

191.
Nováková, Kateřina
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Regionální rozvoj a správa (kombinace/zaměření: Regionální rozvoj a správa)
Obhajoba bakalářské práce: Využívání nástrojů finančního řízení ve městě Hranice (okres Přerov) | Práce na příbuzné téma

192.
Novosad, Jiří
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Predicate Abstraction of DiVinE Models | Práce na příbuzné téma

193.
Novotná, Kateřina
Fakulta: Fakulta sportovních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství speciální pedagogiky pro základní školy, Učitelství tělesné výchovy pro základní a střední školy
Obhajoba diplomové práce: Hra jako elementární motivační prvek při výuce gymnastiky na 1. stupni ZŠ | Práce na příbuzné téma

194.
Oplová, Eva
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 / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Vnímání implementace konceptu Společenská odpovědnost firem v konkrétní firmě aktéry | Práce na příbuzné téma

195.
Otrubová, Terezie
Fakulta: Pedagogická fakulta
Rok: 2021, 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
Obhajoba diplomové práce: Současné počítačové hry a jejich možnost implementace do výuky coby novodobý prostředek rozvoje žáků | Práce na příbuzné téma

196.
Palínková, Zdeňka
Fakulta: Fakulta sociálních studií
Rok: 2014, 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: Rizika implementace systému managementu kvality dle normy ISO 9001 do škol a školských zařízení | Práce na příbuzné téma

197.
Papcunová, Ivana
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje služeb
Obhajoba diplomové práce: Sprint Hero - Single Contact Point to Help Agile Teams Cope with Organizational Stress | Práce na příbuzné téma

198.
Paulenková, Kristína
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, 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: Analýza implementace programu Bolsa Familia v Brazílii | Práce na příbuzné téma

199.
Pejchalová, Eva
Fakulta: Lékařská fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Intenzivní péče / Intenzivní péče
Obhajoba diplomové práce: Bariéry implementace paliativní péče v intenzivní péči | Práce na příbuzné téma

200.
Pelánek, Radek
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Reduction and Abstraction Techniques for Model Checking | Práce na příbuzné téma