Práce na příbuzné téma (mají shodná klíčová slova):

divine, model based development, simulink, stateflow, formal verification, model checking, transformation

Klíčová slova abecedně | Klíčová slova dle četnosti

101.
Filo, Jakub
Fakulta: Fakulta sociálních studií
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika, Sociologie
Obhajoba bakalářské práce: Tiskové agentury na Slovensku | Práce na příbuzné téma Zobrazit popisek

102.
Gajdoš, Andrej
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Testování grafických uživatelských rozhraní | Práce na příbuzné téma

103.
Gajdoš, Daniel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: PVM rozhraní pro DiVinE | Práce na příbuzné téma

104.
Gattnarová, Markéta
Fakulta: Ekonomicko-správní fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Regionální rozvoj / Projektový management
Obhajoba diplomové práce: Transformace tradičních průmyslových regionů na příkladu Moravskoslezského kraje | Práce na příbuzné téma

105.
Gregor, Radek
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: Posthuman and Death in William S. Burroughs Last Trilogy | Práce na příbuzné téma

106.
Grochol, David
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Sociální geografie a regionální rozvoj
Obhajoba diplomové práce: Transformace vinařství v ČR po roce 1989: geografické aspekty | Práce na příbuzné téma

107.
Hajnal, Matej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba rigorózní práce: Formal Methods for Model Selection in Systems Biology | Práce na příbuzné téma

108.
Halašová, Bronislava
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba bakalářské práce: Profesionální náhradní výchova v rodině aneb výhody a nedostatky profesionálního rodičovství na Slovensku | Práce na příbuzné téma

109.
Hamerníková, Eva
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Estetika
Obhajoba bakalářské práce: Manýrismus: výklad, aplikabilita pojmu | Práce na příbuzné téma

110.
Hanus, Jaroslav
Fakulta: Právnická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Právní aspekty provozu vozidel na pozemních komunikacích | Práce na příbuzné téma

111.
Hercík, Jan
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Geografie (čtyřleté) / Regionální geografie a regionální rozvoj
Obhajoba disertační práce: Demilitarizace území České republiky a její geografické aspekty | Práce na příbuzné téma

112.
Hofmeisterová, Pavla
Fakulta: Fakulta sociálních studií
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Mezinárodní vztahy, Sociální antropologie
Obhajoba bakalářské práce: Moldavsko: programová země zahraniční rozvojové spolupráce ČR | Práce na příbuzné téma

113.
Holcová, Ivana
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Český jazyk a literatura se zaměřením na vzdělávání, Základy společenských věd se zaměřením na vzdělávání
Obhajoba bakalářské práce: Proměny jazyka ženských časopisů 20. a 21. století | Práce na příbuzné téma

114.
Holík, Lukáš
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Rozhodnutelnost v temporálních logikách | Práce na příbuzné téma

115.
Horáček, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Práce na příbuzné téma

116.
Horáková, Šárka
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, 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: Analýza vývoje nezaměstnanosti v 90. letech 20. století v ČR | Práce na příbuzné téma

117.
Horná, Klára
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: Premeny slovenskej ekonomiky za tretej Mečiarovej vlády (1994-1998) | Práce na příbuzné téma

118.
Horná, Klára
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Humanitní studia / Ekonomie, Historie
Obhajoba diplomové práce: Zmeny v zbrojnom priemysle na Slovensku po roku 1989 | Práce na příbuzné téma

119.
Hrašková, Jana
Fakulta: Ekonomicko-správní fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika
Obhajoba diplomové práce: Co víme o vývoji sociálních a ekonomických nerovností v české společnosti od roku 1989? | Práce na příbuzné téma

120.
Hrubá, Tereza
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, 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: Zelená politika v Německu | Práce na příbuzné téma

121.
Hrušková, Denisa
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Anglický jazyk se zaměřením na vzdělávání / Anglický jazyk se zaměřením na vzdělávání
Obhajoba bakalářské práce: Change of Sophie’s personality in Diana Wynne Jones’s Howl’s Moving Castle | Práce na příbuzné téma

122.
Huňorová, Anna
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biochemie / Aplikovaná biochemie
Obhajoba bakalářské práce: Přenos cizorodé DNA do extrémně acidofilních druhů Acidithiobacillus | Práce na příbuzné téma

123.
Huvar, Ondřej
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbolic Model Checking of Hybrid CTL | Práce na příbuzné téma

124.
Chmielová, Malgorzata
Fakulta: Ekonomicko-správní fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance a právo
Obhajoba bakalářské práce: Právní aspekty přeměny obchodních společností | Práce na příbuzné téma

125.
Chvátal, Filip
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství německého jazyka a literatury pro základní školy, Pedagogické asistentství ruského jazyka a literatury pro základní školy
Obhajoba bakalářské práce: Einige Probleme der Umgestaltung der Wirtschaft in Ostdeutschland und in der Tschechischen Republik | Práce na příbuzné téma

126.
Chvátal, Filip
Fakulta: Přírodovědecká fakulta
Rok: 2010, 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: Transformace ekonomiky východního Německa (geografická analýza) | Práce na příbuzné téma

127.
Ides, Martina
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Dějiny umění
Obhajoba diplomové práce: Premena nájomného domu v Brne v rokoch 1900 - 1939 | Práce na příbuzné téma

128.
Jahn, Marek
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba diplomové práce: Transformace vojenských složek skandinávských zemí po roce 2010 | Práce na příbuzné téma

129.
Jakovljevič, Jan
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika, Mezinárodní vztahy
Obhajoba bakalářské práce: Proces přistupování Černé Hory do NATO | Práce na příbuzné téma

130.
Jando, Matej
Fakulta: Ekonomicko-správní fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a právo / Finance a právo
Obhajoba bakalářské práce: Vzestup a pád Harvardských fondů | Práce na příbuzné téma

131.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Transformation of Nondeterministic Büchi Automata to Tight Automata | Práce na příbuzné téma

132.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Tight Omega-Automata | Práce na příbuzné téma

133.
Janoušek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Návrh modelovacího jazyka nástroje DiVinE | Práce na příbuzné téma

134.
Jašek, Jakub
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: Srovnání teoretických východisek a praktické prováděné politiky V. Klause

135.
Javůrková, Kristina
Fakulta: Fakulta sociálních studií
Rok: 2015, 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 potřeb zaměstnanců a top managementu v procesu změny ve vybrané organizaci | Práce na příbuzné téma

136.
Ježek, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Editor fraktálů IFS | Práce na příbuzné téma

137.
Johanusová, Markéta
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Management v kultuře
Obhajoba diplomové práce: Transformace národního podniku Interier Praha | Práce na příbuzné téma

138.
Juren, Václav
Fakulta: Ekonomicko-správní fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Kvantitativní metody v ekonomice / Matematické a statistické metody v ekonomii
Obhajoba diplomové práce: Mzdová diskriminace v NHL | Práce na příbuzné téma

139.
Juříček, Lukáš
Fakulta: Právnická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Obchodněprávní studia
Obhajoba bakalářské práce: Právo na informace v kapitálových korporacích | Práce na příbuzné téma

140.
Kakulidu, Andrea
Fakulta: Fakulta sociálních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Sociologie
Obhajoba bakalářské práce: Proměny vnímání domova vlivem transnacionální migrace | Práce na příbuzné téma

141.
Kapounová, Ivana
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 a správa
Obhajoba bakalářské práce: Analýza ekonomiky a řízení středního školství | Práce na příbuzné téma

142.
Karčmař, Petr
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomie / Ekonomie
Obhajoba diplomové práce: Dezintegrace československé měnové unie | Práce na příbuzné téma

143.
Keda, Michal
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Grafická reprezentace formulí logiky LTL | Práce na příbuzné téma

144.
Kejstová, Katarína
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: Virtual File System in DIVINE 4 | Práce na příbuzné téma

145.
Klíčová, Eva roz. Svobodová
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filologie (čtyřleté) / Česká literatura
Obhajoba disertační práce: Lopaty, inženýři, inkousti a ostatní. Transformace hodnot v normalizační pracovní próze | Práce na příbuzné téma

146.
Klíma, Miroslav
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Metodika návrhu ETL grafů pro projekty migrace dat | Práce na příbuzné téma
Obhajoba diplomové práce: Metodika návrhu ETL grafů pro projekty migrace dat | Práce na příbuzné téma
Obhajoba diplomové práce: Metodika návrhu ETL grafů pro projekty migrace dat | Práce na příbuzné téma

147.
Klingenberger, Lars
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Finanzwesen / Finanzwesen
Obhajoba disertační práce: Analyse der Auswirkungen von nachhaltigen Investments auf Unternehmen unter besonderer Berücksichtigung des Finanzmanagements | Práce na příbuzné téma

148.
Knuppová, Kristína
Fakulta: Ekonomicko-správní fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Francouzský jazyk pro hospodářskou a administrativní činnost, Hospodářská politika
Obhajoba bakalářské práce: Claude Lévi-Strauss a metoda společenských věd | Práce na příbuzné téma

149.
Kocmanová, Kristýna
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance / Finanční řízení, účetnictví a daně
Obhajoba diplomové práce: Účetní a daňové aspekty transformace podnikání z OSVČ na s.r.o. | Práce na příbuzné téma

150.
Kohoutková, Zuzana
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, 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: Privatizace bankovního sektoru v České republice | Práce na příbuzné téma