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, logicKlíčová slova abecedně | Klíčová slova dle četnosti
1.
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
2.
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
3.
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
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
4.
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
5.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma
6.
Kučera, Tadeáš
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematika s informatikou
Obhajoba diplomové práce: API pro monitorování chování programů v kontextu nástroje DIVINE | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematika s informatikou
Obhajoba diplomové práce: API pro monitorování chování programů v kontextu nástroje DIVINE | Práce na příbuzné téma
7.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma
8.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma
9.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma
10.
Mačák, Jan
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Práce na příbuzné téma
11.
Pastva, Samuel
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Práce na příbuzné téma
12.
Pejznoch, Aleš
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma
13.
Pilař, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Zrychlení syntézy parametrů pro stochastické modely | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Zrychlení syntézy parametrů pro stochastické modely | Práce na příbuzné téma
14.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Partial Order Reduction in Parallel Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Partial Order Reduction in Parallel Model Checking | Práce na příbuzné téma
15.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2015, 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 Software | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, 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 Software | Práce na příbuzné téma
16.
Ročkai, Petr
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: Model Checking Software | 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: Model Checking Software | Práce na příbuzné téma
17.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: State space compression for the DiVinE model checker | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: State space compression for the DiVinE model checker | Práce na příbuzné téma
18.
Štill, Vladimír
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: LLVM Transformations for Model Checking | 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: LLVM Transformations for Model Checking | Práce na příbuzné téma
19.
Troják, Matej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma
20.
Tuček, Adam
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
21.
Andersová, Kamila
Fakulta: Právnická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Ústavněprávní souvislosti úpravy držení střelných zbraní | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Ústavněprávní souvislosti úpravy držení střelných zbraní | Práce na příbuzné téma
22.
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
23.
Arnerová, Zuzana
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: Implementace OPŽP | 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: Implementace OPŽP | Práce na příbuzné téma
24.
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
25.
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
26.
Bachratý, Adam
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: Pravdivost informace | Práce na příbuzné téma
Obhajoba bakalářské práce: Způsoby zaznamenávání a uchovávání poznání v předlatinkovém období | Práce na příbuzné téma
Obhajoba bakalářské práce: Způsoby zaznamenávání a uchovávání poznání v Mezopotámii a starověkém Egyptě | 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: Pravdivost informace | Práce na příbuzné téma
Obhajoba bakalářské práce: Způsoby zaznamenávání a uchovávání poznání v předlatinkovém období | Práce na příbuzné téma
Obhajoba bakalářské práce: Způsoby zaznamenávání a uchovávání poznání v Mezopotámii a starověkém Egyptě | Práce na příbuzné téma
27.
Bali, Salvika
Fakulta: Ekonomicko-správní fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management (angl.)
Obhajoba diplomové práce: Project Management | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management (angl.)
Obhajoba diplomové práce: Project Management | Práce na příbuzné téma
28.
Bálková, Šárka
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Evropská studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Implementace a evaluace strukturální politiky EU v ČR | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Evropská studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Implementace a evaluace strukturální politiky EU v ČR | Práce na příbuzné téma
29.
Baranová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Compiling Applications for Analysis with DIVINE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Compiling Applications for Analysis with DIVINE | Práce na příbuzné téma
30.
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
31.
Bednárek, Přemysl
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Web Application for Competitive Rubik's Cube Solving | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Web Application for Competitive Rubik's Cube Solving | Práce na příbuzné téma
32.
Behrami, Patrik
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Implementation of a web application | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Implementation of a web application | Práce na příbuzné téma
33.
Běhůnková, Dagmar
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: Marketingové řízení pojišťovacího podniku | 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 / Finanční podnikání
Obhajoba diplomové práce: Marketingové řízení pojišťovacího podniku | Práce na příbuzné téma
34.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE
35.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Ověřování interaktivních vlastností komponentových systémů | 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: Ověřování interaktivních vlastností komponentových systémů | Práce na příbuzné téma
36.
Beneš, Nikola
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: Disjunctive Modal Transition Systems | 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: Disjunctive Modal Transition Systems | Práce na příbuzné téma
37.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Verification of Component Interaction in Component-Based Systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Verification of Component Interaction in Component-Based Systems | Práce na příbuzné téma
38.
Beránková, Kristýna
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociální práce / Sociální práce, Veřejná a sociální politika a lidské zdroje
Obhajoba bakalářské práce: Postoj pedagogických pracovníků k zavedení sociální práce 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 Sociální práce / Sociální práce, Veřejná a sociální politika a lidské zdroje
Obhajoba bakalářské práce: Postoj pedagogických pracovníků k zavedení sociální práce na vybrané základní škole | Práce na příbuzné téma
39.
Besperátová, Petra
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: Příprava implementace technologie RFID v Univerzitní knihovně Univerzity Pardubice | 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: Příprava implementace technologie RFID v Univerzitní knihovně Univerzity Pardubice | Práce na příbuzné téma
40.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE
41.
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
42.
Bezděk, Peter
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: Parameter Synthesis for Systems with Real Time | 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: Parameter Synthesis for Systems with Real Time | Práce na příbuzné téma
43.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Parameter Synthesis for Systems with Real Time | 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: Parameter Synthesis for Systems with Real Time | Práce na příbuzné téma
44.
Bezek, Matúš
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: FO interpretations in restricted graph classes | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: FO interpretations in restricted graph classes | Práce na příbuzné téma
45.
Bezuchová, Monika
Fakulta: Fakulta sociálních studií
Rok: 2014, 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: Specifiky vývoje tématu na přikladu vlastního dokumentárního díla | Práce na příbuzné téma
Obhajoba diplomové práce: Specifika vývoje tématu na příkladu vlastního dokumentárního díla | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2014, 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: Specifiky vývoje tématu na přikladu vlastního dokumentárního díla | Práce na příbuzné téma
Obhajoba diplomové práce: Specifika vývoje tématu na příkladu vlastního dokumentárního díla | Práce na příbuzné téma
46.
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
47.
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
48.
Blahová, Jaroslava
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství českého jazyka a literatury pro základní školy, Učitelství občanské výchovy pro základní školy
Obhajoba diplomové práce: Místo logu v Hérakleitově a stoické filosofii | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství českého jazyka a literatury pro základní školy, Učitelství občanské výchovy pro základní školy
Obhajoba diplomové práce: Místo logu v Hérakleitově a stoické filosofii | Práce na příbuzné téma
49.
Bočánek, Marek
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: Implementace marketingu do malého nebo středního podniku | Práce na příbuzné téma
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: Implementace marketingu do malého nebo středního podniku | Práce na příbuzné téma
50.
Bouda, Ondřej
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: Refactoring of Sequence Chart Studio | Práce na příbuzné téma
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: Refactoring of Sequence Chart Studio | Práce na příbuzné téma