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 handlingKlíčová slova abecedně | Klíčová slova dle četnosti
151.
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
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
152.
Kováčová, Linda
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
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
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
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
153.
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
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
154.
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
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
155.
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
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
156.
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
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
157.
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
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
158.
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
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
159.
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
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
160.
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
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
161.
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
Obhajoba diplomové práce: Veřejná politika vůči neziskovému sektoru ve Francii | Práce na příbuzné téma
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
Obhajoba diplomové práce: Veřejná politika vůči neziskovému sektoru ve Francii | Práce na příbuzné téma
162.
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
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
163.
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
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
164.
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
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
165.
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
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
166.
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
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
167.
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
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
168.
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
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
169.
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
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
170.
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
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
171.
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
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
172.
Linhart, Lukáš
Fakulta: Fakulta informatiky
Rok: 2017, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Automatické hledání chyb ve zdrojových kódech pomocí symbolické exekuce | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Automatické hledání chyb ve zdrojových kódech pomocí symbolické exekuce | Práce na příbuzné téma
173.
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
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
174.
Liška, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Multiplatformní abstrakce OpenGL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Multiplatformní abstrakce OpenGL | Práce na příbuzné téma
175.
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
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
176.
Ľ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
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
177.
Mačák, Jan
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Práce na příbuzné téma
178.
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
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
179.
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
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
180.
Malá, Karolína
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Algebraický přístup k lineární temporální logice | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Algebraický přístup k lineární temporální logice | Práce na příbuzné téma
181.
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
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
182.
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
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
183.
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
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
184.
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
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
185.
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
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
186.
Mészaroš, Tomáš
Fakulta: Fakulta informatiky
Rok: 2020, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Extracting Parts of Programs into Separate Binaries | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Extracting Parts of Programs into Separate Binaries | Práce na příbuzné téma
187.
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
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
188.
Mihalkovič, Vincent
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: Dekompilační nástroje založené na LLVM | Práce na příbuzné téma
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: Dekompilační nástroje založené na LLVM | Práce na příbuzné téma
189.
Mihalkovič, Vincent
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Improved translation of LLVM IR code to C | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Improved translation of LLVM IR code to C | Práce na příbuzné téma
190.
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
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
191.
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
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
192.
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
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
193.
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
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
194.
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
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
195.
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
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
196.
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
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
197.
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
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
198.
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
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
199.
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
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
200.
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
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