Práce na příbuzné téma (mají shodná klíčová slova):
divine, buchi automata, implementation, c++, formalni verifikace, formal verification, model checking, ltl, overovani modelu, buchiho automaty, implementaceKlíčová slova abecedně | Klíčová slova dle četnosti
51.
Č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
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
52.
Č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
53.
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
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
54.
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
55.
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
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
56.
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
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
57.
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
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
58.
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
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
59.
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
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
60.
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
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
61.
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
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
62.
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
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
63.
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
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
64.
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
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
65.
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
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
66.
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
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
67.
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
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
68.
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
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
69.
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
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
70.
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
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
71.
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
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
72.
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
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
73.
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
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
74.
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
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
75.
Hrazděrová, Markéta
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance
Obhajoba bakalářské práce: Analýza implementace účetního softwaru ve vybrané firmě | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance
Obhajoba bakalářské práce: Analýza implementace účetního softwaru ve vybrané firmě | Práce na příbuzné téma
76.
Hubálková, Zuzana
Fakulta: Fakulta sociálních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Sociologie, Veřejná politika a lidské zdroje
Obhajoba bakalářské práce: Faktory, které brání nebo podporují zvýšení zaměstnatelnosti absolventů ve vybraném programu z hlediska jeho realizátorů | 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 Sociologie / Sociologie, Veřejná politika a lidské zdroje
Obhajoba bakalářské práce: Faktory, které brání nebo podporují zvýšení zaměstnatelnosti absolventů ve vybraném programu z hlediska jeho realizátorů | Práce na příbuzné téma
77.
Jakobová, Martina
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy (kombinace/zaměření: Anglický jazyk a literatura)
Obhajoba diplomové práce: Tradiční lidová kultura a folklor ve výuce na primárním stupni ZŠ | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy (kombinace/zaměření: Anglický jazyk a literatura)
Obhajoba diplomové práce: Tradiční lidová kultura a folklor ve výuce na primárním stupni ZŠ | Práce na příbuzné téma
78.
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
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
79.
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
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
80.
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
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
81.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Improvements of reaching definitions analysis in Symbiotic | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Improvements of reaching definitions analysis in Symbiotic | Práce na příbuzné téma
82.
Jedlička, Roman
Fakulta: Právnická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Judikatura Soudního dvora ohledně uplatňování daně z přidané hodnoty | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Judikatura Soudního dvora ohledně uplatňování daně z přidané hodnoty | Práce na příbuzné téma
83.
Kafka, Petr
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Hospodářská politika
Obhajoba diplomové práce: Liberalizace a regulace železničního trhu v ČR | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Hospodářská politika
Obhajoba diplomové práce: Liberalizace a regulace železničního trhu v ČR | Práce na příbuzné téma
84.
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
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
85.
Konečný, Tomáš
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Analýza a implementace procesů na úrovni krizového štábu | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Analýza a implementace procesů na úrovni krizového štábu | Práce na příbuzné téma
86.
Kormaňák, Tomáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Podniková informatika
Obhajoba bakalářské práce: Analýza projektu inovace informačního systému a jeho vyhodnocení | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Podniková informatika
Obhajoba bakalářské práce: Analýza projektu inovace informačního systému a jeho vyhodnocení | Práce na příbuzné téma
87.
Koukolová, Pavlína
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, 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: Výběr účetního software pro firmu | 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 / Finanční podnikání
Obhajoba diplomové práce: Výběr účetního software pro firmu | Práce na příbuzné téma
88.
Kovaříková, Radmila
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: Programové prohlášení zastupitelstva vybraného města - sliby versus výsledek | 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 / Veřejná ekonomika a správa
Obhajoba bakalářské práce: Programové prohlášení zastupitelstva vybraného města - sliby versus výsledek | Práce na příbuzné téma
89.
Kovářová, Petra
Fakulta: Fakulta sociálních studií
Rok: 2017, 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: Postoje pracovníků k implementaci standardů kvality sociálně právní ochrany v zařízení pro děti vyžadující okamžitou pomoc | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2017, 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: Postoje pracovníků k implementaci standardů kvality sociálně právní ochrany v zařízení pro děti vyžadující okamžitou pomoc | Práce na příbuzné téma
90.
Kratochvíla, Tomáš
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ých systémů | Práce na příbuzné téma
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ých systémů | Práce na příbuzné téma
91.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Post-mortem analýza stavového prostoru | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Post-mortem analýza stavového prostoru | Práce na příbuzné téma
92.
Krmíčková, Michaela roz. Pospíšilová
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, 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: Veřejná politika vůči neziskovému sektoru ve Francii | Práce na příbuzné téma
Obhajoba diplomové práce: Veřejná politika vůči neziskovému sektoru ve Francii | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, 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: Veřejná politika vůči neziskovému sektoru ve Francii | Práce na příbuzné téma
Obhajoba diplomové práce: Veřejná politika vůči neziskovému sektoru ve Francii | Práce na příbuzné téma
93.
Kudrnáčová, Jitka
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kešování stavů pod DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kešování stavů pod DiVinE | Práce na příbuzné téma
94.
Kurková, Michaela
Fakulta: Právnická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Evidence skutečných majitelů právnických osob | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Evidence skutečných majitelů právnických osob | Práce na příbuzné téma
95.
Lacinová, Lenka
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, 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: Společenská odpovědnost firem v Moravskoslezském kraji | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, 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: Společenská odpovědnost firem v Moravskoslezském kraji | Práce na příbuzné téma
96.
Lamr, Tomáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Akcelerace procesu verifikace pomocí grafické karty | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Akcelerace procesu verifikace pomocí grafické karty | Práce na příbuzné téma
97.
Lapáček, Vladimír
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - modul pro swapování stavů do sítě
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - modul pro swapování stavů do sítě
98.
Láska, Ľuboš
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: Modelování parametrizovaných systémů v jazyce DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
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: Modelování parametrizovaných systémů v jazyce DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
99.
Laurinčík, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | 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: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Práce na příbuzné téma
100.
Lenčo, Milan
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma