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

parameter synthesis, sybila, hybrid systems, implementation, high performance computing, formal methods, systems' biology, model checking, logic

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

51.
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 Zobrazit popisek

52.
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

53.
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

54.
Březina, Miloš
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 / Sociální práce (kombinace/zaměření: Sociální práce "mikro" - případové poradenství)
Obhajoba diplomové práce: Posouzení potřeb klientů v mobilním nízkoprahovém zařízení | Práce na příbuzné téma

55.
Bříza, Michal
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Odhad geometrických vlastností digitálních objektů | Práce na příbuzné téma

56.
Burget, Rostislav
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: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma

57.
Culková, Anna
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Učitelství praktického vyučování (kombinace/zaměření: Obory obchodu a služeb)
Obhajoba bakalářské práce: Hospitace a její funkce | Práce na příbuzné téma

58.
Čechová, Petra
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Tvorba a realizace právních předpisů samosprávy | Práce na příbuzné téma

59.
Čermák, Jiří
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Porovnání modelovacích schopností verifikačních nástrojů | Práce na příbuzné téma

60.
Čermáková, Monika
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Společenská odpovědnost v bankovním sektoru | Práce na příbuzné téma

61.
Deák, Katalin
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Vnitrostátní implementace směrnice EU, která je v rozporu s ústavním pořádkem | Práce na příbuzné téma

62.
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

63.
Di Liberti, Ivan
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Matematika a statistika / Algebra, teorie čísel a matematická logika
Obhajoba disertační práce: The Scott adjunction | Práce na příbuzné téma

64.
Dolejšová, Helena roz. Lúčová
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Finanční podnikání (kombinace/zaměření: Finanční podnikání)
Obhajoba bakalářské práce: Analýza implementace účetního softwaru ve vybrané firmě | Práce na příbuzné téma

65.
Drahovská, Adriana
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Management (kombinace/zaměření: Management)
Obhajoba bakalářské práce: Podnikatelský plán a strategie malého a středního podniku v oblasti e-businessu | Práce na příbuzné téma

66.
Dražanová, Jana roz. Fabriková
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Fundamenty informatiky
Obhajoba disertační práce: Abstraction-Based Analysis of Continuous-Time Models in System Biology | Práce na příbuzné téma

67.
Ďurigová, Karolína
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika se zaměřením na vzdělávání / Matematika se zaměřením na vzdělávání, Německý jazyk se zaměřením na vzdělávání
Obhajoba bakalářské práce: Úlohy z matematické logiky v TSP a Scio testech | Práce na příbuzné téma

68.
Dvořáková, Jana
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, 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: Vybrané otázky aplikace výkonového rozpočtování na místní úrovni | Práce na příbuzné téma

69.
Dvořáková, Martina
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství hudební výchovy pro základní školy, Pedagogické asistentství matematiky pro základní školy
Obhajoba bakalářské práce: Logické a kombinatorické problémy v matematice na ZŠ | Práce na příbuzné téma

70.
Džavík, Pavel
Fakulta: Fakulta sociálních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Mezinárodní vztahy a energetická bezpečnost
Obhajoba diplomové práce: Implementace energeticko - klimatického balíčku v České republice | Práce na příbuzné téma

71.
Džmura, Martin
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: Knihovna pro animace v logice | Práce na příbuzné téma

72.
Fialová, Hana
Fakulta: Ekonomicko-správní fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Regionální rozvoj a správa
Obhajoba bakalářské práce: Programové dokumenty regionální politiky ČR a jejich implementace

73.
Fiantová, Monika
Fakulta: Právnická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Vstup ČR do EU: začátky uplatňování práva ES v českém prostředí | Práce na příbuzné téma

74.
Flajšingerová, Veronika
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Tvorba a realizace právních předpisů samosprávy | Práce na příbuzné téma

75.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Práce na příbuzné téma

76.
Frnoch, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Grafické rozhraní pro simulátor C++ programů | Práce na příbuzné téma

77.
Govind, Prashanth Reddy
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Design and detection of Hardware Trojans | Práce na příbuzné téma

78.
Grossmann, Lukáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Podniková informatika / Podniková informatika
Obhajoba bakalářské práce: Výzvy spojené s výměnou ERP | Práce na příbuzné téma
Obhajoba bakalářské práce: Výzvy spojené s výměnou ERP | Práce na příbuzné téma

79.
Hančin, Jakub
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: A Mobile Android Application for Music Recommendation | Práce na příbuzné téma

80.
Hanousková, Renata
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Veřejná a sociální politika a lidské zdroje / Sociální antropologie, Veřejná a sociální politika a lidské zdroje
Obhajoba bakalářské práce: Implementace a dopady podpůrných opatření na vybrané základní škole | Práce na příbuzné téma

81.
Hanusová, Hana
Fakulta: Pedagogická fakulta
Rok: 2012, 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: Adaptace žáků v pracovním prostředí | Práce na příbuzné téma

82.
Haran, Himanshu Kumar
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma

83.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Relaxed Memory Models in DiVinE | Práce na příbuzné téma

84.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Generic Platform for Explicit-Symbolic Verification | Práce na příbuzné téma

85.
Havlíček, Jan
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: Untimed LTL Model Checking of Timed Automata | Práce na příbuzné téma

86.
Hejlek, Petr
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Softwarové nástroje a jejich aplikace pro řízení firem | Práce na příbuzné téma

87.
Herkeľ, Radovan
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, 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: Porovnání implementace strukturálních fondů ve vybraných zemích | Práce na příbuzné téma

88.
Herzánová, Leona
Fakulta: Právnická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná správa / Veřejná správa
Obhajoba diplomové práce: Hodnotící model CAF v české veřejné správě | Práce na příbuzné téma

89.
Hladová, Lucie
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Management (kombinace/zaměření: Management)
Obhajoba bakalářské práce: Zavedení lean managementu v podniku | Práce na příbuzné téma

90.
Hlaváč, Igor
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Kaizen a jeho možná implementace do vysokoškolských knihoven | Práce na příbuzné téma

91.
Holeček, Jan
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarového plánovače paměti

92.
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

93.
Homolová, Zuzana
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství hudební výchovy pro základní a střední školy / Učitelství hudební výchovy pro základní a střední školy, Učitelství matematiky pro základní školy
Obhajoba diplomové práce: Hudba 20. století v kontextu matematiky a logiky | Práce na příbuzné téma

94.
Honzů, Kristýna
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, 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: EVROPA 2020 a reflexe ve strategických dokumentech členských států | Práce na příbuzné téma

95.
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

96.
Horáčková, Petra
Fakulta: Lékařská fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ošetřovatelství / Všeobecná sestra
Obhajoba bakalářské práce: Implementace nových poznatků do praxe sester v nemocničních zařízeních | Práce na příbuzné téma

97.
Horký, Miroslav
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Předimplementační analýza ERP systému Oracle NetSuite pro provoz knihovny | Práce na příbuzné téma

98.
Hořáková, Lenka
Fakulta: Fakulta sociálních studií
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociální politika a sociální práce / Psychologie, Sociální politika a sociální práce
Obhajoba bakalářské práce: Možnosti a limity zavádění terapeutických programů pro pachatele domácího násilí v ČR: případová studie z brněnského regionu | Práce na příbuzné téma

99.
Hosnedlová, Pavla
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba diplomové práce: Pozdní a včasná transpozice směrnic EU v ČR pohledem exekutivní a legislativní moci | Práce na příbuzné téma

100.
Hrabovská, Terezie
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika / Hospodářská politika
Obhajoba bakalářské práce: Makroobezřetnostní politika – Teorie a realita | Práce na příbuzné téma