Práce na příbuzné téma (mají shodná klíčová slova):
divine, model based development, simulink, stateflow, formal verification, model checking, transformationKlíčová slova abecedně | Klíčová slova dle četnosti
251.
Řibřidová, Lucie
Fakulta: Ekonomicko-správní fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomické teorie / Ekonomie
Obhajoba diplomové práce: Instituce a transformující se ekonomika České republiky | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomické teorie / Ekonomie
Obhajoba diplomové práce: Instituce a transformující se ekonomika České republiky | Práce na příbuzné téma
252.
Secký, Michal
Fakulta: Právnická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo a právní věda
Obhajoba diplomové práce: Přeměna pracovního poměru z doby určité na dobu neurčitou | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo a právní věda
Obhajoba diplomové práce: Přeměna pracovního poměru z doby určité na dobu neurčitou | Práce na příbuzné téma
253.
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
254.
Siegel, Viktor
Fakulta: Ekonomicko-správní fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Regionální rozvoj / Projektový management
Obhajoba diplomové práce: Transformace na SMART city – případová studie Bratislavy | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Regionální rozvoj / Projektový management
Obhajoba diplomové práce: Transformace na SMART city – případová studie Bratislavy | Práce na příbuzné téma
255.
Skácel, Petr
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Učitelství geografie a kartografie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Regionálně geografické aspekty zemědělství ČR po vstupu do EU | 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 / Učitelství geografie a kartografie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Regionálně geografické aspekty zemědělství ČR po vstupu do EU | Práce na příbuzné téma
256.
Skočíková, Adéla
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance / Finance
Obhajoba diplomové práce: Daňové a účetní aspekty přeměny podnikání z OSVČ na s.r.o. | 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 Finance / Finance
Obhajoba diplomové práce: Daňové a účetní aspekty přeměny podnikání z OSVČ na s.r.o. | Práce na příbuzné téma
257.
Slouková, Martina
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Pedagogika, Sociální politika a sociální práce
Obhajoba bakalářské práce: Chráněné bydlení jako nová možnost pobytových služeb pro mentálně postižené. Případová studie chráněného bydlení v organizaci Fidentia | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Pedagogika, Sociální politika a sociální práce
Obhajoba bakalářské práce: Chráněné bydlení jako nová možnost pobytových služeb pro mentálně postižené. Případová studie chráněného bydlení v organizaci Fidentia | Práce na příbuzné téma
258.
Sommerová, Katarína
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální andragogika
Obhajoba diplomové práce: Faktory ovplyvňujúce proces transformácie sociálnych služieb vo vybranom zariadení v Jihomoravskom kraji | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální andragogika
Obhajoba diplomové práce: Faktory ovplyvňujúce proces transformácie sociálnych služieb vo vybranom zariadení v Jihomoravskom kraji | Práce na příbuzné téma
259.
Sopuch, Petr
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Ekonomické aspekty transformace družstva na akciovou společnost | 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 Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Ekonomické aspekty transformace družstva na akciovou společnost | Práce na příbuzné téma
260.
Staňa, Tomáš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Runtime Verification of Linear Temporal Specifications with Degradation | 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: Runtime Verification of Linear Temporal Specifications with Degradation | Práce na příbuzné téma
261.
Staňková, Vendula
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Geografie a kartografie se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Transformace a současný stav zemědělství modelového regionu SO ORP Litomyšl | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Geografie a kartografie se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Transformace a současný stav zemědělství modelového regionu SO ORP Litomyšl | Práce na příbuzné téma
262.
Staňková, Vendula
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Učitelství geografie a kartografie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Dopady SZP EU na rozvoj zemědělství a venkova v modelovém regionu SO ORP Litomyšl | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Učitelství geografie a kartografie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Dopady SZP EU na rozvoj zemědělství a venkova v modelovém regionu SO ORP Litomyšl | Práce na příbuzné téma
263.
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
264.
Strejček, Jan
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Expressiveness and Model Checking of Temporal Logics | 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: Expressiveness and Model Checking of Temporal Logics | Práce na příbuzné téma
265.
Strojil, Marek
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Historické vědy / Historie
Obhajoba bakalářské práce: Zlín na počátku 20. století. Vznik moderního města | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Historické vědy / Historie
Obhajoba bakalářské práce: Zlín na počátku 20. století. Vznik moderního města | Práce na příbuzné téma
266.
Studená, Eliška
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Galerijní pedagogika a zprostředkování umění, Učitelství výtvarné výchovy pro základní a střední školy
Obhajoba diplomové práce: Všechno, co chci | 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 / Galerijní pedagogika a zprostředkování umění, Učitelství výtvarné výchovy pro základní a střední školy
Obhajoba diplomové práce: Všechno, co chci | Práce na příbuzné téma
267.
Suchomel, Vít
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Automatické testování nástroje DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Automatické testování nástroje DiVinE | Práce na příbuzné téma
268.
Svinka, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Biotechnologie / Biotechnologie
Obhajoba diplomové práce: Konstrukce podvojného vektoru pro genetickou manipulaci a molekulární analýzu bioloužících bakterií | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Biotechnologie / Biotechnologie
Obhajoba diplomové práce: Konstrukce podvojného vektoru pro genetickou manipulaci a molekulární analýzu bioloužících bakterií | Práce na příbuzné téma
269.
Svobodová, Alena
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství výtvarné výchovy a vizuální tvorby pro základní a střední školy / Učitelství českého jazyka a literatury pro základní školy, Učitelství výtvarné výchovy a vizuální tvorby pro základní a střední školy
Obhajoba diplomové práce: Identita | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství výtvarné výchovy a vizuální tvorby pro základní a střední školy / Učitelství českého jazyka a literatury pro základní školy, Učitelství výtvarné výchovy a vizuální tvorby pro základní a střední školy
Obhajoba diplomové práce: Identita | Práce na příbuzné téma
270.
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
271.
Šá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
272.
Šavolt, Miroslav
Fakulta: Fakulta sociálních studií
Rok: 2012, studium neúspěšně ukončeno
Program/obor Politologie / Bezpečnostní a strategická studia, Politologie
Obhajoba bakalářské práce: Volební geografie USA: změna volebního chování v "jižních státech" v kontextu prezidentských voleb | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2012, studium neúspěšně ukončeno
Program/obor Politologie / Bezpečnostní a strategická studia, Politologie
Obhajoba bakalářské práce: Volební geografie USA: změna volebního chování v "jižních státech" v kontextu prezidentských voleb | Práce na příbuzné téma
273.
Šerý, Ondřej
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Geografie a kartografie / Sociální geografie a regionální rozvoj
Obhajoba rigorózní práce: Zaměstnanost v České republice: hocenocení změn odvětvové a vzdělanostní struktury (s využitím předběžných výsledků sčítání lidu 2011) | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Geografie a kartografie / Sociální geografie a regionální rozvoj
Obhajoba rigorózní práce: Zaměstnanost v České republice: hocenocení změn odvětvové a vzdělanostní struktury (s využitím předběžných výsledků sčítání lidu 2011) | Práce na příbuzné téma
274.
Š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
275.
Š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
276.
Šimša, Jiří
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Monitorování chování systémů | 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: Monitorování chování systémů | Práce na příbuzné téma
277.
Šindelková, Veronika
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie a kartografie / Geografie (kombinace/zaměření: Humánní geografie)
Obhajoba bakalářské práce: Transformace regionu po roce 1989 na příkladu SO ORP Jihlava se zaměřením na zpracovatelský průmysl | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie a kartografie / Geografie (kombinace/zaměření: Humánní geografie)
Obhajoba bakalářské práce: Transformace regionu po roce 1989 na příkladu SO ORP Jihlava se zaměřením na zpracovatelský průmysl | Práce na příbuzné téma
278.
Šindler, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie a kartografie / Geografie (kombinace/zaměření: Humánní geografie)
Obhajoba bakalářské práce: Průmysl v okrese Svitavy (vývoj po roce 1989 - regionálně geografická analýza) | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie a kartografie / Geografie (kombinace/zaměření: Humánní geografie)
Obhajoba bakalářské práce: Průmysl v okrese Svitavy (vývoj po roce 1989 - regionálně geografická analýza) | Práce na příbuzné téma
279.
Šinka, Ondřej
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba bakalářské práce: Chráněné bydlení, začátek nového života. | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba bakalářské práce: Chráněné bydlení, začátek nového života. | Práce na příbuzné téma
280.
Šípošová, Pavlína roz. Vodáková
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Geografie a kartografie / Regionální geografie a regionální rozvoj
Obhajoba rigorózní práce: Transformace hospodářství se zaměřením na průmysl po roce 1989 a jeho vliv na trh práce v devadesátých letech 20. století v Libereckém kraji | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Geografie a kartografie / Regionální geografie a regionální rozvoj
Obhajoba rigorózní práce: Transformace hospodářství se zaměřením na průmysl po roce 1989 a jeho vliv na trh práce v devadesátých letech 20. století v Libereckém kraji | Práce na příbuzné téma
281.
Širilla, Jiří
Fakulta: Ekonomicko-správní fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Hospodářská politika
Obhajoba diplomové práce: Ekonomické reformy v Gruzii po rozpadu SSSR | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Hospodářská politika
Obhajoba diplomové práce: Ekonomické reformy v Gruzii po rozpadu SSSR | Práce na příbuzné téma
282.
Š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
283.
Šmijáková, Eva
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Parallel Parameter Synthesis for Hybrid Systems | 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 / Aplikovaná informatika
Obhajoba diplomové práce: Parallel Parameter Synthesis for Hybrid Systems | Práce na příbuzné téma
284.
Šoustalová, Eva
Fakulta: Přírodovědecká fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Učitelství geografie a kartografie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Regionálně geografická analýza zemědělství okresu Šumperk
Fakulta: Přírodovědecká fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Učitelství geografie a kartografie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Regionálně geografická analýza zemědělství okresu Šumperk
285.
Špinarová, Leona
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná geografie / Aplikovaná geografie a geoinformatika (kombinace/zaměření: Geoinformatika a regionální rozvoj)
Obhajoba bakalářské práce: Regionálně geografické aspekty zemědělství na území SO ORP Velké Meziříčí | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná geografie / Aplikovaná geografie a geoinformatika (kombinace/zaměření: Geoinformatika a regionální rozvoj)
Obhajoba bakalářské práce: Regionálně geografické aspekty zemědělství na území SO ORP Velké Meziříčí | Práce na příbuzné téma
286.
Štaffová, Klára
Fakulta: Pedagogická fakulta
Rok: 2016, 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: Analýza BBC online zpráv ze světa | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2016, 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: Analýza BBC online zpráv ze světa | Práce na příbuzné téma
287.
Š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
288.
Štěpánková, Jana
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba diplomové práce: Náhradní výchovná péče o dítě (z pohledu dětského domova jako formy ústavní péče, zejména o romské děti) | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba diplomové práce: Náhradní výchovná péče o dítě (z pohledu dětského domova jako formy ústavní péče, zejména o romské děti) | Práce na příbuzné téma
289.
Š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
290.
Š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
291.
Tejkl, Jakub
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba diplomové práce: The Influence of the Russian Invasion of Ukraine on German Security Policy | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba diplomové práce: The Influence of the Russian Invasion of Ukraine on German Security Policy | Práce na příbuzné téma
292.
Tesařová, Kateřina
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Vizuální tvorba, Výtvarná výchova
Obhajoba diplomové práce: Metamorfózy | 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 střední školy / Vizuální tvorba, Výtvarná výchova
Obhajoba diplomové práce: Metamorfózy | Práce na příbuzné téma
293.
Tichá, Petra
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance / Finance
Obhajoba bakalářské práce: Transformace právní formy podnikání z fyzické osoby na právnickou osobu | 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 / Finance
Obhajoba bakalářské práce: Transformace právní formy podnikání z fyzické osoby na právnickou osobu | Práce na příbuzné téma
294.
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
295.
Trubačíková, Lenka
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Hospodářská politika
Obhajoba diplomové práce: Obchodní politika EU | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Hospodářská politika
Obhajoba diplomové práce: Obchodní politika EU | Práce na příbuzné téma
296.
Tuček, Adam
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: Grafická reprezentace specifikačních vzorů pro temporální logiky | 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: Grafická reprezentace specifikačních vzorů pro temporální logiky | Práce na příbuzné téma
297.
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
298.
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
299.
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
300.
Turek, Dušan
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Biofyzika (kombinace/zaměření: Molekulární biofyzika)
Obhajoba diplomové práce: Konstrukce molekulárních nástrojů pro objevování a modulaci rostlinných hormonálních systémů | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Biofyzika (kombinace/zaměření: Molekulární biofyzika)
Obhajoba diplomové práce: Konstrukce molekulárních nástrojů pro objevování a modulaci rostlinných hormonálních systémů | Práce na příbuzné téma