Práce na příbuzné téma (mají shodná klíčová slova):
implementation, state space reductions, multi-threading, shared memory, model checking, low-level virtual machine, linear temporal logic, parallel algorithms, distributed memory, partial order reduction, explicit-state model checking, software model checkingKlíčová slova abecedně | Klíčová slova dle četnosti
201.
Repa, Ondrej
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Vizualizace pro nástroj Flowmon DDoS Defender | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Vizualizace pro nástroj Flowmon DDoS Defender | Práce na příbuzné téma
202.
Richtárechová, Lucia
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance a právo
Obhajoba bakalářské práce: Regulace finančních trhů | 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 Finance a účetnictví / Finance a právo
Obhajoba bakalářské práce: Regulace finančních trhů | Práce na příbuzné téma
203.
Rondziková, Natália
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba diplomové práce: Smart Cities Concept in Slovakia. Case Study on Obstacles in Implementation of Smart City Projects in Slovak Municipalities | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba diplomové práce: Smart Cities Concept in Slovakia. Case Study on Obstacles in Implementation of Smart City Projects in Slovak Municipalities | Práce na příbuzné téma
204.
Rosecký, Václav
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Verifikační manažer pro explicitní ověřování modelu | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Verifikační manažer pro explicitní ověřování modelu | Práce na příbuzné téma
205.
Růžičková, Martina
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Učitelství praktického vyučování
Obhajoba bakalářské práce: Zirkonoxidová keramika – vědecké pozadí a implementace do výuky technologií pro obor Asistent zubního technika a Zubní technik | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Učitelství praktického vyučování
Obhajoba bakalářské práce: Zirkonoxidová keramika – vědecké pozadí a implementace do výuky technologií pro obor Asistent zubního technika a Zubní technik | Práce na příbuzné téma
206.
Řehák, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: On Extensions of Process Rewrite Systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: On Extensions of Process Rewrite Systems | Práce na příbuzné téma
207.
Řehák, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: On Extensions of Process Rewrite Systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: On Extensions of Process Rewrite Systems | Práce na příbuzné téma
208.
Sabol, Radoslav
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: Czech Question Answer Selection using Recurrent Neural Networks | 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: Czech Question Answer Selection using Recurrent Neural Networks | Práce na příbuzné téma
209.
Sabol, Radoslav
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence
Obhajoba diplomové práce: Propaganda Detection using Stylometric Text Analysis | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence
Obhajoba diplomové práce: Propaganda Detection using Stylometric Text Analysis | Práce na příbuzné téma
210.
Sedláková, Nikola
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Evropská studia / Evropská studia
Obhajoba diplomové práce: Relokace pracovních migrantů ze třetích zemí na území České republiky a vliv EU | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Evropská studia / Evropská studia
Obhajoba diplomové práce: Relokace pracovních migrantů ze třetích zemí na území České republiky a vliv EU | Práce na příbuzné téma
211.
Senko, Jakub
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Formální návrh distribuované hašovací tabulky | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Formální návrh distribuované hašovací tabulky | Práce na příbuzné téma
212.
Skovajsa, Lukáš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Zpracování obrazu
Obhajoba diplomové práce: Implementace difúzních filtrů na GPU | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Zpracování obrazu
Obhajoba diplomové práce: Implementace difúzních filtrů na GPU | Práce na příbuzné téma
213.
Slezáček, Václav
Fakulta: Pedagogická fakulta
Rok: 2020, 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: Návrh a ověření modulu vietnamské kuchyně v rámci předmětu technologie pokrmů | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2020, 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: Návrh a ověření modulu vietnamské kuchyně v rámci předmětu technologie pokrmů | Práce na příbuzné téma
214.
Smetanová, Alena
Fakulta: Fakulta sociálních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná a sociální politika a lidské zdroje / Veřejná a sociální politika
Obhajoba diplomové práce: Posouzení efektivity probačního programu pro dospělé osoby | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná a sociální politika a lidské zdroje / Veřejná a sociální politika
Obhajoba diplomové práce: Posouzení efektivity probačního programu pro dospělé osoby | Práce na příbuzné téma
215.
Smutek, Martin
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Sociální politika a sociální práce / Sociální politika a sociální práce
Obhajoba disertační práce: Vnější podmínky a jednání aktérů procesu implementace lokálního sociálního programu | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Sociální politika a sociální práce / Sociální politika a sociální práce
Obhajoba disertační práce: Vnější podmínky a jednání aktérů procesu implementace lokálního sociálního programu | Práce na příbuzné téma
216.
Smýkalová, Iveta
Fakulta: Lékařská fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Intenzivní péče
Obhajoba diplomové práce: Informovanost všeobecných sester o Evidence-Based Practice | Práce na příbuzné téma
Fakulta: Lékařská fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Intenzivní péče
Obhajoba diplomové práce: Informovanost všeobecných sester o Evidence-Based Practice | Práce na příbuzné téma
217.
Straková, Lucie
Fakulta: Fakulta sociálních studií
Rok: 2021, 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: Zhodnocení cílů a programové teorie vzdělávacího programu kariérního poradentsví | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2021, 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: Zhodnocení cílů a programové teorie vzdělávacího programu kariérního poradentsví | Práce na příbuzné téma
218.
Streck, Adam
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Estimace parametrů v diskrétních biologických modelech | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Estimace parametrů v diskrétních biologických modelech | Práce na příbuzné téma
219.
Streck, Adam
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Efektivní identifikace parametrů genových regulačních sítí | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Efektivní identifikace parametrů genových regulačních sítí | Práce na příbuzné téma
220.
Sukup, Jiří
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: Zavedení modelu EFQM řízení kvality v Policii České republiky a jeho posouzení řadovými pracovníky | 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: Zavedení modelu EFQM řízení kvality v Policii České republiky a jeho posouzení řadovými pracovníky | Práce na příbuzné téma
221.
Svoboda, Petr
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a právo / Finance a právo
Obhajoba bakalářské práce: Participativní rozpočet - trend u místních rozpočtů? | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a právo / Finance a právo
Obhajoba bakalářské práce: Participativní rozpočet - trend u místních rozpočtů? | Práce na příbuzné téma
222.
Svoreňová, Mária
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Control Strategy Synthesis for Path Planning under Temporal Constraints | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Control Strategy Synthesis for Path Planning under Temporal Constraints | Práce na příbuzné téma
223.
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
224.
Š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
225.
Šárník, Jakub
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma
226.
Š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
227.
Š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
228.
Š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
229.
Š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
230.
Š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
231.
Š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
232.
Š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
233.
Š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
234.
Š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
235.
Š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
236.
Š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
237.
Š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
238.
Šť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
239.
Š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
240.
Š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
241.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Analysis of Parallel C++ Programs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Analysis of Parallel C++ Programs | Práce na příbuzné téma
242.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma
243.
Š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
244.
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
245.
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
246.
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
247.
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
248.
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
249.
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
250.
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