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
301.
Turzová, Helena
Fakulta: Ekonomicko-správní fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Národní hospodářství (kombinace/zaměření: Hospodářská politika)
Obhajoba diplomové práce: Komparace transformačního procesu ČR a vybrané tranzitivní země (Maďarsko) z pohledu integračního procesu
Fakulta: Ekonomicko-správní fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Národní hospodářství (kombinace/zaměření: Hospodářská politika)
Obhajoba diplomové práce: Komparace transformačního procesu ČR a vybrané tranzitivní země (Maďarsko) z pohledu integračního procesu
302.
Tušil, Jan
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Programovatelné technické struktury
Obhajoba bakalářské práce: Partial Order redukce pro LLVM | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Programovatelné technické struktury
Obhajoba bakalářské práce: Partial Order redukce pro LLVM | Práce na příbuzné téma
303.
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
304.
Valent, Miroslav
Fakulta: Ekonomicko-správní fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika / Hospodářská politika
Obhajoba bakalářské práce: Restrukturalizace hnědouhelného průmyslu v ČR po roce 1990 | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika / Hospodářská politika
Obhajoba bakalářské práce: Restrukturalizace hnědouhelného průmyslu v ČR po roce 1990 | Práce na příbuzné téma
305.
Valtr, Jan
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální studia a žurnalistika / Evropská studia, Mediální studia a žurnalistika
Obhajoba bakalářské práce: Přeměna Ostravy: soubor publicistických rozhovorů | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální studia a žurnalistika / Evropská studia, Mediální studia a žurnalistika
Obhajoba bakalářské práce: Přeměna Ostravy: soubor publicistických rozhovorů | Práce na příbuzné téma
306.
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
307.
Vašátko, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2018, 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 Vítkov se zaměřením na obyvatelstvo a sídla | 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 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 Vítkov se zaměřením na obyvatelstvo a sídla | Práce na příbuzné téma
308.
Večeřová, Aneta
Fakulta: Ekonomicko-správní fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance / Finance
Obhajoba diplomové práce: Transformace družstevních záložen na banky | 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 Finance / Finance
Obhajoba diplomové práce: Transformace družstevních záložen na banky | Práce na příbuzné téma
309.
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
310.
Veselský, Jan
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Regionální geografie a regionální rozvoj
Obhajoba diplomové práce: Regionálně geografická analýza zemědělství okresu Žďár nad Sázavou | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Regionální geografie a regionální rozvoj
Obhajoba diplomové práce: Regionálně geografická analýza zemědělství okresu Žďár nad Sázavou | Práce na příbuzné téma
311.
Vláčilová, Zora
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Vizuální tvorba se zaměřením na vzdělávání, Výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Řeč krajky | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Vizuální tvorba se zaměřením na vzdělávání, Výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Řeč krajky | Práce na příbuzné téma
312.
Vojtíšková, Ľubica
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Pedagogika
Obhajoba bakalářské práce: Reflexe procesu tvorby školního vzdělávacího programu pro základní vzdělávání | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Pedagogika
Obhajoba bakalářské práce: Reflexe procesu tvorby školního vzdělávacího programu pro základní vzdělávání | Práce na příbuzné téma
313.
Vrbík, Filip
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie / Geografie a kartografie (kombinace/zaměření: Regionální geografie a regionální rozvoj)
Obhajoba diplomové práce: Regionální geografická analýza zemědělství v jihozápadní části Jihomoravského kraje a v jižní části kraje Vysočina | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie / Geografie a kartografie (kombinace/zaměření: Regionální geografie a regionální rozvoj)
Obhajoba diplomové práce: Regionální geografická analýza zemědělství v jihozápadní části Jihomoravského kraje a v jižní části kraje Vysočina | Práce na příbuzné téma
314.
Vrtíková, Kristína
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Transformace vícerozměrných integrálů | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Transformace vícerozměrných integrálů | Práce na příbuzné téma
315.
Wagnerová, Tereza
Fakulta: Fakulta sociálních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Sociální práce
Obhajoba diplomové práce: Transformace pobytových zařízení pro osoby s mentálním handicapem | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Sociální práce
Obhajoba diplomové práce: Transformace pobytových zařízení pro osoby s mentálním handicapem | Práce na příbuzné téma
316.
Wawrzacz, Antonín
Fakulta: Přírodovědecká fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie / Geografie a kartografie (kombinace/zaměření: Regionální geografie a regionální rozvoj)
Obhajoba diplomové práce: Průmyslové zóny a přímé zahraniční investice v Jihomoravském kraji
Fakulta: Přírodovědecká fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie / Geografie a kartografie (kombinace/zaměření: Regionální geografie a regionální rozvoj)
Obhajoba diplomové práce: Průmyslové zóny a přímé zahraniční investice v Jihomoravském kraji
317.
Weiser, Jiří
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: TCP vrstva pro verifikační nástroj DIVINE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: TCP vrstva pro verifikační nástroj DIVINE | Práce na příbuzné téma
318.
Závadová, Lucie
Fakulta: Ekonomicko-správní fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Finanční podnikání
Obhajoba diplomové práce: Transformace bankovního sektoru v ČR
Fakulta: Ekonomicko-správní fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Finanční podnikání
Obhajoba diplomové práce: Transformace bankovního sektoru v ČR
319.
Zhuk, Marharyta
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Modelování a verifikace platebního systému | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Modelování a verifikace platebního systému | Práce na příbuzné téma
320.
Zich, Jakub
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Grafická reprezentace formulí logiky HCTL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Grafická reprezentace formulí logiky HCTL | Práce na příbuzné téma
321.
Zorig, Baljmaa
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Evropská hospodářská, správní a kulturní studia
Obhajoba bakalářské práce: Ekonomická transformace v Mongolsku | 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 / Evropská hospodářská, správní a kulturní studia
Obhajoba bakalářské práce: Ekonomická transformace v Mongolsku | Práce na příbuzné téma
322.
Železník, Martin
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Hospodářská politika
Obhajoba diplomové práce: Vývoj nezaměstnanosti ve Slovenské republice a jeho příčiny | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Hospodářská politika
Obhajoba diplomové práce: Vývoj nezaměstnanosti ve Slovenské republice a jeho příčiny | Práce na příbuzné téma
323.
Žofčin, Jakub
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance / Finance
Obhajoba bakalářské práce: Přeměna obchodní společnosti a její vliv na finanční výkonnost | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance / Finance
Obhajoba bakalářské práce: Přeměna obchodní společnosti a její vliv na finanční výkonnost | Práce na příbuzné téma