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
251.
Svoreňová, Mária
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Práce na příbuzné téma
252.
Šamlotová, Michaela
Fakulta: Ekonomicko-správní fakulta
Rok: 2018, 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: Naplňování rámcových strategických dokumentů Evropské unie – případ strategie Evropa 2020 a Lisabonské strategie | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2018, 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: Naplňování rámcových strategických dokumentů Evropské unie – případ strategie Evropa 2020 a Lisabonské strategie | Práce na příbuzné téma
253.
Šeděnka, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Huffmanovo kódování stavů v DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Huffmanovo kódování stavů v DiVinE | Práce na příbuzné téma
254.
Ševčíková, Dana
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Critical thinking in ESL lessons | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Critical thinking in ESL lessons | Práce na příbuzné téma
255.
Šimeček, Pavel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - Prostředí pro distribuovanou verifikaci | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - Prostředí pro distribuovanou verifikaci | Práce na příbuzné téma
256.
Šimeček, Pavel
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: External Memory LTL Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: External Memory LTL Model Checking | Práce na příbuzné téma
257.
Šimeček, Pavel
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Efficient Computing Resources Usage in Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Efficient Computing Resources Usage in Model Checking | Práce na příbuzné téma
258.
Šiška, Adam
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Interpretace DVE modelů v Haskellu | 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: Interpretace DVE modelů v Haskellu | Práce na příbuzné téma
259.
Šlachtová, Monika
Fakulta: Fakulta informatiky
Rok: 2024, 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: Implementation of Elasticsearch into EAS Framework | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, 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: Implementation of Elasticsearch into EAS Framework | Práce na příbuzné téma
260.
Šmaterová, Petra
Fakulta: Fakulta sociálních studií
Rok: 2016, 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: Analýza využití filozofie Kaizen při řízení organizace z pohledu českých Kaizen odborníků | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2016, 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: Analýza využití filozofie Kaizen při řízení organizace z pohledu českých Kaizen odborníků | Práce na příbuzné téma
261.
Šmerdová, Eva
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Účetní informační systémy | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Účetní informační systémy | Práce na příbuzné téma
262.
Šmérek, Martin
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Práce na příbuzné téma
263.
Šmídová, Lenka
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Veřejná ekonomika
Obhajoba bakalářské práce: Zdravotní politika a plány krajů ČR | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Veřejná ekonomika
Obhajoba bakalářské práce: Zdravotní politika a plány krajů ČR | Práce na příbuzné téma
264.
Šmídová, Nikola
Fakulta: Fakulta sociálních studií
Rok: 2018, 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: Návrh systému hodnocení zaměstnanců ve vybrané organizaci XY | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2018, 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: Návrh systému hodnocení zaměstnanců ve vybrané organizaci XY | Práce na příbuzné téma
265.
Šťastný, Jan
Fakulta: Fakulta informatiky
Rok: 2012, 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: Aplikace pro správu virtuálních webových serverů na FSS MU | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, 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: Aplikace pro správu virtuálních webových serverů na FSS MU | Práce na příbuzné téma
266.
Štefaňák, Filip
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Residue Component Synthesis for Handshake Composition | 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: Residue Component Synthesis for Handshake Composition | Práce na příbuzné téma
267.
Štěpánek, Marek
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství dějepisu pro základní školy, Pedagogické asistentství zeměpisu pro základní školy
Obhajoba bakalářské práce: Volně dostupný software pro implementaci geografických informačních systémů do škol | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství dějepisu pro základní školy, Pedagogické asistentství zeměpisu pro základní školy
Obhajoba bakalářské práce: Volně dostupný software pro implementaci geografických informačních systémů do škol | Práce na příbuzné téma
268.
Švajdová, Petra
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná a sociální politika a lidské zdroje / Personální management a organizační rozvoj
Obhajoba diplomové práce: Vnímání společenské odpovědnosti firmy ze strany jejích zaměstnanců | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná a sociální politika a lidské zdroje / Personální management a organizační rozvoj
Obhajoba diplomové práce: Vnímání společenské odpovědnosti firmy ze strany jejích zaměstnanců | Práce na příbuzné téma
269.
Táborský, Adam
Fakulta: Fakulta sociálních studií
Rok: 2016, 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: Monitoring trhu práce a jeho implementace ve Švédsku | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2016, 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: Monitoring trhu práce a jeho implementace ve Švédsku | Práce na příbuzné téma
270.
Toman, Michal
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: LLVM IR service for Fedora | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: LLVM IR service for Fedora | Práce na příbuzné téma
271.
Tomáštík, Marek
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Porovnání nástrojů pro paralelní LTL model checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Porovnání nástrojů pro paralelní LTL model checking | Práce na příbuzné téma
272.
Tomáštík, Marek
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikace MPI programů pomocí DIVINE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikace MPI programů pomocí DIVINE | Práce na příbuzné téma
273.
Tomovič, 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: Slicing of Parallel Programs | Práce na příbuzné téma
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: Slicing of Parallel Programs | Práce na příbuzné téma
274.
Trnková, Klára
Fakulta: Pedagogická fakulta
Rok: 2011, 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: Pohádka v hodinách výtvarné výchovy na prvním stupni základní školy | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2011, 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: Pohádka v hodinách výtvarné výchovy na prvním stupni základní školy | Práce na příbuzné téma
275.
Troják, Matej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma
276.
Trúsiková, Daniela roz. Kozempelová
Fakulta: Lékařská fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Intenzivní péče / Intenzivní péče
Obhajoba diplomové práce: Implementácia nových vedeckých poznatkov do ošetrovateľskej praxe v prostredí intenzívnej starostlivosti | Práce na příbuzné téma
Fakulta: Lékařská fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Intenzivní péče / Intenzivní péče
Obhajoba diplomové práce: Implementácia nových vedeckých poznatkov do ošetrovateľskej praxe v prostredí intenzívnej starostlivosti | Práce na příbuzné téma
277.
Tuček, Adam
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
278.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Verification of probabilistic systems against quantified linear 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: Verification of probabilistic systems against quantified linear properties | Práce na příbuzné téma
279.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Quantitative Linear-Time Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Quantitative Linear-Time Model Checking | Práce na příbuzné téma
280.
Tvrdoň, Čeněk
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná a sociální politika a lidské zdroje / Personální management a organizační rozvoj
Obhajoba diplomové práce: Posouzení účinnosti a efektivity vzdělávacího programu | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná a sociální politika a lidské zdroje / Personální management a organizační rozvoj
Obhajoba diplomové práce: Posouzení účinnosti a efektivity vzdělávacího programu | Práce na příbuzné téma
281.
Urban, Lukáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Adapting SBT-Fizzer for Test-Comp | 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: Adapting SBT-Fizzer for Test-Comp | Práce na příbuzné téma
282.
Urbánková, Vlasta roz. Pelajová
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Učitelství anglického jazyka a literatury pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Interaktivní materiály k středoškolské matematické analýze | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Učitelství anglického jazyka a literatury pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Interaktivní materiály k středoškolské matematické analýze | Práce na příbuzné téma
283.
Vacek, Václav
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma
284.
Vaculík, Milan
Fakulta: Právnická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Směrnice 93/13/EHS a její implementace do soukromého práva ČR (ochrana spotřebitele) | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Směrnice 93/13/EHS a její implementace do soukromého práva ČR (ochrana spotřebitele) | Práce na příbuzné téma
285.
Vanický, Šimon
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
286.
Vejpustek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Visual Specification of Temporal Properties over Time Series | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Visual Specification of Temporal Properties over Time Series | Práce na příbuzné téma
287.
Veselá, Karolína
Fakulta: Ekonomicko-správní fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Podniková informatika / Podniková informatika
Obhajoba bakalářské práce: Zhodnocení implementace online čárových kódů v podniku | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Podniková informatika / Podniková informatika
Obhajoba bakalářské práce: Zhodnocení implementace online čárových kódů v podniku | Práce na příbuzné téma
288.
Vinická, Kateřina
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství moderních evropských jazyků / Překladatelství němčiny
Obhajoba diplomové práce: Psychohygienische Aspekte der translatorischen Arbeit | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství moderních evropských jazyků / Překladatelství němčiny
Obhajoba diplomové práce: Psychohygienische Aspekte der translatorischen Arbeit | Práce na příbuzné téma
289.
Vítková, Natália
Fakulta: Fakulta sociálních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba diplomové práce: Implementace Strategie Evropské unie pro boj proti terorismu národními státy | 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 Mezinárodní teritoriální studia / Evropská studia
Obhajoba diplomové práce: Implementace Strategie Evropské unie pro boj proti terorismu národními státy | Práce na příbuzné téma
290.
Vitovská, Martina
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Instrumentation of LLVM IR | 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 / Aplikovaná informatika
Obhajoba diplomové práce: Instrumentation of LLVM IR | Práce na příbuzné téma
291.
Vitovský, Petr
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: Převod LLVM bitkódu do C | 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: Převod LLVM bitkódu do C | Práce na příbuzné téma
292.
Vlčková, Dagmar
Fakulta: Fakulta sociálních studií
Rok: 2010, 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í: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Poskytování IAP a jeho význam v procesu aktivace klienta | Práce na příbuzné téma
Obhajoba diplomové práce: Poskytování IAP a jeho význam v procesu aktivace klienta | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2010, 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í: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Poskytování IAP a jeho význam v procesu aktivace klienta | Práce na příbuzné téma
Obhajoba diplomové práce: Poskytování IAP a jeho význam v procesu aktivace klienta | Práce na příbuzné téma
293.
Vomelová, Jana
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Europeizace trestního práva hmotného | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Europeizace trestního práva hmotného | Práce na příbuzné téma
294.
Voříšková, Hana
Fakulta: Právnická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Normotvorba obcí k ochraně zdravých životních podmínek | Práce na příbuzné téma
Obhajoba diplomové práce: Normotvorba obcí k ochraně zdravých životních podmínek | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Normotvorba obcí k ochraně zdravých životních podmínek | Práce na příbuzné téma
Obhajoba diplomové práce: Normotvorba obcí k ochraně zdravých životních podmínek | Práce na příbuzné téma
295.
Vozárová, Viktória
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: Craig's Interpolant in Model Checking Algorithms | Práce na příbuzné téma
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: Craig's Interpolant in Model Checking Algorithms | Práce na příbuzné téma
296.
Vrba, Jiří
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Podniková ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Návrh akčního plánu CSR | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Podniková ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Návrh akčního plánu CSR | Práce na příbuzné téma
297.
Werl, Pavel
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Arbitrážní příležitosti na vybraných finančních trzích Východní Asie | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Arbitrážní příležitosti na vybraných finančních trzích Východní Asie | Práce na příbuzné téma
298.
Wittenberg, Niels
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é vládnutí
Obhajoba diplomové práce: The Externalisation of Animal Welfare Standards by the EU through Free Trade Agreements: Cases of Ukraine, Chile and Canada’ | Práce na příbuzné téma
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é vládnutí
Obhajoba diplomové práce: The Externalisation of Animal Welfare Standards by the EU through Free Trade Agreements: Cases of Ukraine, Chile and Canada’ | Práce na příbuzné téma
299.
Wörgötter, Martin
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba diplomové práce: Domain-specific English-Czech Neural Machine Translation | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba diplomové práce: Domain-specific English-Czech Neural Machine Translation | Práce na příbuzné téma
300.
Zagorová, Pavla
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Matematika / Učitelství matematiky pro střední školy
Obhajoba rigorózní práce: Multimediální diskrétní matematika
Obhajoba rigorózní práce: Multimediální diskrétní matematika | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Matematika / Učitelství matematiky pro střední školy
Obhajoba rigorózní práce: Multimediální diskrétní matematika
Obhajoba rigorózní práce: Multimediální diskrétní matematika | Práce na příbuzné téma