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
51.
Antušáková, Michaela
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Regionální rozvoj a cestovní ruch
Obhajoba bakalářské práce: Historie a současnost ostravského průmyslu | 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 / Regionální rozvoj a cestovní ruch
Obhajoba bakalářské práce: Historie a současnost ostravského průmyslu | Práce na příbuzné téma
52.
Appl, Jiří
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Quantitative Probabilistic Verification in Distributed Environment | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Quantitative Probabilistic Verification in Distributed Environment | Práce na příbuzné téma
53.
Babiak, Tomáš
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Translation of Linear Temporal Logic to Omega-Automata | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Translation of Linear Temporal Logic to Omega-Automata | Práce na příbuzné téma
54.
Babiak, Tomáš
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Translation of LTL to omega-automata | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Translation of LTL to omega-automata | Práce na příbuzné téma
55.
Bača, Vladimír
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Počítačová podpora pro specifikaci požadavků v LTL | 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: Počítačová podpora pro specifikaci požadavků v LTL | Práce na příbuzné téma
56.
Baňas, Martin
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Optimization of Complex Abstract Syntax Tree Processing | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Optimization of Complex Abstract Syntax Tree Processing | Práce na příbuzné téma
57.
Barbořík, David
Fakulta: Ekonomicko-správní fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Regionální rozvoj a správa
Obhajoba diplomové práce: Sektorová specializace územních jednotek ČR v období ekonomické transformace | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Regionální rozvoj a správa
Obhajoba diplomové práce: Sektorová specializace územních jednotek ČR v období ekonomické transformace | Práce na příbuzné téma
58.
Bardynová, Svatava roz. Zajdáková
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Zvládání psychospirituální krize v kontextu odborných služeb i mimo ně v prostředí České republiky | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Zvládání psychospirituální krize v kontextu odborných služeb i mimo ně v prostředí České republiky | Práce na příbuzné téma
59.
Baron, Jan
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Experimentální a molekulární biologie / Molekulární biologie a genetika
Obhajoba bakalářské práce: Moderní metody genetického inženýrství rostlin | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Experimentální a molekulární biologie / Molekulární biologie a genetika
Obhajoba bakalářské práce: Moderní metody genetického inženýrství rostlin | Práce na příbuzné téma
60.
Bauch, Petr
Fakulta: Fakulta informatiky
Rok: 2016, 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: Automating Software Development with Explicit Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, 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: Automating Software Development with Explicit Model Checking | Práce na příbuzné téma
61.
Becková, Dita
Fakulta: Filozofická fakulta
Rok: 2019, 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 kulturních institucí s případovou studií města Znojma | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2019, 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 kulturních institucí s případovou studií města Znojma | Práce na příbuzné téma
62.
Bednářová, Hana
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika (kombinace/zaměření: Žurnalistika), Politologie
Obhajoba bakalářské práce: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika (kombinace/zaměření: Žurnalistika), Politologie
Obhajoba bakalářské práce: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Práce na příbuzné téma
63.
Bednářová, Pavlína
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Veřejná ekonomika a správa / Veřejná ekonomika a správa
Obhajoba bakalářské práce: Hospodaření zemědělského podniku: Případová studie | 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 Veřejná ekonomika a správa / Veřejná ekonomika a správa
Obhajoba bakalářské práce: Hospodaření zemědělského podniku: Případová studie | Práce na příbuzné téma
64.
Bendík, Jaroslav
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: Algoritmy pro hledání maximální splnitelné množiny omezení | 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: Algoritmy pro hledání maximální splnitelné množiny omezení | Práce na příbuzné téma
65.
Bezdedová, Vladimíra
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomické teorie / Ekonomie
Obhajoba diplomové práce: Instituce v tranzitivních ekonomikách | Práce na příbuzné téma
Obhajoba diplomové práce: Instituce v tranzitivních ekonomikách | 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 Ekonomické teorie / Ekonomie
Obhajoba diplomové práce: Instituce v tranzitivních ekonomikách | Práce na příbuzné téma
Obhajoba diplomové práce: Instituce v tranzitivních ekonomikách | Práce na příbuzné téma
66.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: LTL atraktory | 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: LTL atraktory | Práce na příbuzné téma
67.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Automata for Formal Methods: Little Steps Towards Perfection | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Automata for Formal Methods: Little Steps Towards Perfection | Práce na příbuzné téma
68.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Linear Temporal Logic and omega-automata | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Linear Temporal Logic and omega-automata | Práce na příbuzné téma
69.
Bodnárová, Adriána
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: Shrew-Taming from Shakespeare to Hollywood | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: Shrew-Taming from Shakespeare to Hollywood | Práce na příbuzné téma
70.
Borza, Viktor
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: Tvorba MSC diagramů ze síťového provozu | Práce na příbuzné téma
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: Tvorba MSC diagramů ze síťového provozu | Práce na příbuzné téma
71.
Braná, Dominika
Fakulta: Fakulta sociálních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Environmentální studia, Mediální studia a žurnalistika
Obhajoba bakalářské práce: Transformácia slovenskej žurnalistiky po rozpade Československa očami novinárov: publicistické rozhovory pre týždenník .týždeň | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Environmentální studia, Mediální studia a žurnalistika
Obhajoba bakalářské práce: Transformácia slovenskej žurnalistiky po rozpade Československa očami novinárov: publicistické rozhovory pre týždenník .týždeň | Práce na příbuzné téma
72.
Braná, Dominika
Fakulta: Fakulta sociálních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika
Obhajoba diplomové práce: Nezávislosť médií a politický vplyv v transformujúcich sa mediálnych systémoch: prípad Slovenskej republiky počas vlády Vladimíra Mečiara | 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 Mediální a komunikační studia / Mediální studia a žurnalistika
Obhajoba diplomové práce: Nezávislosť médií a politický vplyv v transformujúcich sa mediálnych systémoch: prípad Slovenskej republiky počas vlády Vladimíra Mečiara | Práce na příbuzné téma
73.
Brejchová, Soňa
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: Právo jako nástroj hospodářské politiky v kontextu ekonomické transformace | 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: Právo jako nástroj hospodářské politiky v kontextu ekonomické transformace | Práce na příbuzné téma
74.
Broža, Milan
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Speciální pedagogika pro učitele středních škol, Učitelství odborných předmětů pro střední školy - specializace služby
Obhajoba diplomové práce: Transformace klientů z Domova Kamélie Křižanov do chráněného bydlení | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Speciální pedagogika pro učitele středních škol, Učitelství odborných předmětů pro střední školy - specializace služby
Obhajoba diplomové práce: Transformace klientů z Domova Kamélie Křižanov do chráněného bydlení | Práce na příbuzné téma
75.
Brožek, Václav
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Decidability and complexity of infinite-state stochastic games | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Decidability and complexity of infinite-state stochastic games | Práce na příbuzné téma
76.
Brožek, Václav
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Basic Model Checking Problems for Stochastic Games | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Basic Model Checking Problems for Stochastic Games | Práce na příbuzné téma
77.
Brožek, Václav
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Basic model-checking problems for stochastic games | 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: Basic model-checking problems for stochastic games | Práce na příbuzné téma
78.
Bubela, Petr
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie / Historie, Učitelství geografie a kartografie pro střední školy
Obhajoba diplomové práce: Kvalitativní a kvantitativní srovnáni prostorových procesů v Praze a Brně | 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 / Historie, Učitelství geografie a kartografie pro střední školy
Obhajoba diplomové práce: Kvalitativní a kvantitativní srovnáni prostorových procesů v Praze a Brně | Práce na příbuzné téma
79.
Buchbergerová, Anna
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Speciální výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Kokony | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Speciální výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Kokony | Práce na příbuzné téma
80.
Butula, Jan
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Experimentální biologie rostlin / Experimentální biologie rostlin
Obhajoba diplomové práce: Kultury "hairy roots" řepky olejky (Brassica napus) jako nástroj pro studium funkce genů | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Experimentální biologie rostlin / Experimentální biologie rostlin
Obhajoba diplomové práce: Kultury "hairy roots" řepky olejky (Brassica napus) jako nástroj pro studium funkce genů | Práce na příbuzné téma
81.
Coufal, Marek
Fakulta: Přírodovědecká fakulta
Rok: 2015, 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: Byty a bydlení v ČR po roce 1989: regionálně geografické hodnocení | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2015, 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: Byty a bydlení v ČR po roce 1989: regionálně geografické hodnocení | Práce na příbuzné téma
82.
Čadová, Adéla
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: Instituce v hospodářské politice | 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: Instituce v hospodářské politice | Práce na příbuzné téma
83.
Češka, Milan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Designing Data-Parallel Graph Algorithms for Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Designing Data-Parallel Graph Algorithms for Model Checking | Práce na příbuzné téma
84.
Češka, Milan
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: GPU Accelerated Enumerative 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: GPU Accelerated Enumerative Model Checking | Práce na příbuzné téma
85.
Čmiel, Pavel
Fakulta: Fakulta sociálních studií
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Evropská studia, Sociologie
Obhajoba bakalářské práce: Od transformace k evropeizaci | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Evropská studia, Sociologie
Obhajoba bakalářské práce: Od transformace k evropeizaci | Práce na příbuzné téma
86.
Čurda, Aleš
Fakulta: Přírodovědecká fakulta
Rok: 2006, 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 Třebíč
Fakulta: Přírodovědecká fakulta
Rok: 2006, 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 Třebíč
87.
Darulová, Simona
Fakulta: Filozofická fakulta
Rok: 2018, 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: Tranzit ako dynamická medziodborová platforma pre súčasné umenie v strednej Európe. Vznik a inštitucionálna prax českej pobočky tranzitdisplay | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2018, 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: Tranzit ako dynamická medziodborová platforma pre súčasné umenie v strednej Európe. Vznik a inštitucionálna prax českej pobočky tranzitdisplay | Práce na příbuzné téma
88.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Rozšíření a refaktorizace nástroje BioDiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Rozšíření a refaktorizace nástroje BioDiVinE | Práce na příbuzné téma
89.
Demko, Martin
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: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | 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: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Práce na příbuzné téma
90.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Počítačové systémy
Obhajoba rigorózní práce: Parameter Synthesis of Dynamical Systems via Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Počítačové systémy
Obhajoba rigorózní práce: Parameter Synthesis of Dynamical Systems via Model Checking | Práce na příbuzné téma
91.
Dohnálková, Klára
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Transformace podniků v kontextu strategie růstu | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Transformace podniků v kontextu strategie růstu | Práce na příbuzné téma
92.
Dokoupil, Václav
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 Moravská Třebová 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 Moravská Třebová se zaměřením na zpracovatelský průmysl | Práce na příbuzné téma
93.
Drenčaková, Martina
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: Waters of Transformation: Symbol of Water in Jeffrey Eugenides’ Middlesex | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: Waters of Transformation: Symbol of Water in Jeffrey Eugenides’ Middlesex | Práce na příbuzné téma
94.
Drgoň, Šimon
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Generování pseudonáhodných čísel | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Generování pseudonáhodných čísel | Práce na příbuzné téma
95.
Dudáš, Martin
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Bezpečnostní a strategická studia, Politologie
Obhajoba bakalářské práce: Transformation of civil-military relations in Turkey since 2007 | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Bezpečnostní a strategická studia, Politologie
Obhajoba bakalářské práce: Transformation of civil-military relations in Turkey since 2007 | Práce na příbuzné téma
96.
Dupalová, Hana
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství německého jazyka a literatury pro základní školy, Učitelství výchovy ke zdraví pro základní školy
Obhajoba diplomové práce: Život transsexuálů a vývoj jejich identity | 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í německého jazyka a literatury pro základní školy, Učitelství výchovy ke zdraví pro základní školy
Obhajoba diplomové práce: Život transsexuálů a vývoj jejich identity | Práce na příbuzné téma
97.
Dvořáková, Renata
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 / Sociální práce (kombinace/zaměření: Sociální práce "mikro" - případové poradenství)
Obhajoba diplomové práce: Změny kvality života jedinců s vysokou mírou podpory v rámci procesu deinstitucionalizace | Práce na příbuzné téma
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 / Sociální práce (kombinace/zaměření: Sociální práce "mikro" - případové poradenství)
Obhajoba diplomové práce: Změny kvality života jedinců s vysokou mírou podpory v rámci procesu deinstitucionalizace | Práce na příbuzné téma
98.
Egerle, Jan
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství dějepisu pro základní školy, Pedagogické asistentství občanské výchovy pro základní školy
Obhajoba bakalářské práce: Charakteristika vládních stran v ČR období 1992 - 2017 | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství dějepisu pro základní školy, Pedagogické asistentství občanské výchovy pro základní školy
Obhajoba bakalářské práce: Charakteristika vládních stran v ČR období 1992 - 2017 | Práce na příbuzné téma
99.
Eršilová, Nela
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Příprava fúze obchodních společností | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Příprava fúze obchodních společností | Práce na příbuzné téma
100.
Filipová, Bára roz. Fialová
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Ekonomika a řízení nestátních neziskových organizací
Obhajoba bakalářské práce: Z neformální formální? Důvody formalizace NNO. | 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 Hospodářská politika a správa / Ekonomika a řízení nestátních neziskových organizací
Obhajoba bakalářské práce: Z neformální formální? Důvody formalizace NNO. | Práce na příbuzné téma