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

modal transition systems, specification, consistency, formal methods, generalized model checking, refinement

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

1.
Křetínský, Jan
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Modální přechodové systémy | Práce na příbuzné téma Zobrazit popisek

2.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Modal Transition Systems: Extensions and Analysis | Práce na příbuzné téma

3.
Alán, Jan
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biochemie / Biomolekulární chemie
Obhajoba diplomové práce: Řešení 3D struktury proteinů na atomární rovni se zaměřením na lektiny a glykosyltransferasy | Práce na příbuzné téma

4.
Almássy, Dávid
Fakulta: Fakulta sociálních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní vztahy a energetická bezpečnost / Mezinárodní vztahy a energetická bezpečnost
Obhajoba diplomové práce: Postoj Českej republiky k infraštruktúrnym projektom v plynovej oblasti Nord stream 1 a Nord stream 2 | Práce na příbuzné téma

5.
Báča, Ondřej
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Projekt portálu elektronického sportu | Práce na příbuzné téma

6.
Boršková, Miroslava
Fakulta: Fakulta sociálních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba diplomové práce: Komparace politických východisek Margaret Thatcher a Václava Klause | Práce na příbuzné téma

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

8.
Budáč, Jozef
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementace monitorovacího nástroje | Práce na příbuzné téma

9.
Bukvová, Alena
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Sociální politika a sociální práce
Obhajoba diplomové práce: Firemní kultura a strategie výrobního podniku | Práce na příbuzné téma

10.
Dudycha, Dominik
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: Test proporcionality v judikatuře Ústavního soudu | Práce na příbuzné téma

11.
Fiedler, Adam
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Deduction in Matching Logic | Práce na příbuzné téma

12.
Fouma, Matěj
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství anglického jazyka
Obhajoba diplomové práce: Analysing Czech redubs of Star Wars: Episode IV – A New Hope | Práce na příbuzné téma

13.
Hegyiová, Kateřina
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Anglický jazyk a literatura, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: The Position of Adverbials in Functional Sentence Perspective. A Comparative Study of English and Czech.

14.
Hlavačková, Petra
Fakulta: Právnická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právo sociálního zabezpečení
Obhajoba bakalářské práce: Práva a povinnosti účastníků pracovněprávních vztahů | Práce na příbuzné téma

15.
Holý, Tomáš
Fakulta: Fakulta sportovních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Fungování a možnosti rozvoje KRNAP | Práce na příbuzné téma

16.
Ibrahim, Rami
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura (angl.)
Obhajoba diplomové práce: Logico-Structural Integration in American Presidential Speeches | Práce na příbuzné téma

17.
Jasná, Michaela
Fakulta: Právnická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Mezinárodněprávní obchodní studia
Obhajoba bakalářské práce: Specifikace zboží v režimu Úmluvy OSN o smlouvách o mezinárodní koupi zboží | Práce na příbuzné téma

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

19.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Memory Safety with Predator and Symbiotic | Práce na příbuzné téma

20.
Králíková, Kamila
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: Basic Aspects of Terminology Management | Práce na příbuzné téma

21.
Kružíková, Agáta
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Sociální informatika
Obhajoba bakalářské práce: Uživatelské rozhraní aplikace pro šifrování disku | Práce na příbuzné téma

22.
Kulíšek, Samuel
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Formal representation of graphical models of biological systems | Práce na příbuzné téma

23.
Kvaššay, Matej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba diplomové práce: Metrické skeče pro podobnostní vyhledávání | Práce na příbuzné téma

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

25.
Marčík, Michal
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Práce na příbuzné téma

26.
Myslivec, David
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: Právní aspekty interoperability software | Práce na příbuzné téma

27.
Navrátilová, Lenka
Fakulta: Fakulta sociálních studií
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Mezinárodní vztahy a evropská studia
Obhajoba diplomové práce: Problém konzistence ve vnějších aktivitách Evropské unie | Práce na příbuzné téma

28.
Pálmášiová, Kateřina
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Voltairovy slovníky | Práce na příbuzné téma

29.
Pantůček, Tomáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Práce na příbuzné téma

30.
Pepuchová, Lucie
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství anglického jazyka / Překladatelství anglického jazyka
Obhajoba diplomové práce: Translation Consistency of Specific Terms and Vocabulary in the Assassin’s Creed Series | Práce na příbuzné téma

31.
Polášková, Ivana
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Práce na příbuzné téma

32.
Pozdílková, Hana
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství anglického jazyka
Obhajoba diplomové práce: Specification and Generalization in Student Translations | Práce na příbuzné téma

33.
Riedlová, Veronika
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství anglického jazyka
Obhajoba diplomové práce: Shifts in Translation(a study based on Czech translations of National Geographic articles) | Práce na příbuzné téma

34.
Sklenář, Jan
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Práce na příbuzné téma

35.
Sukup, Karel
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: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Práce na příbuzné téma

36.
Šafránek, Jakub
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Práce na příbuzné téma

37.
Šalata, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Konfigurovatelná konzistence pro distribuované systémy | Práce na příbuzné téma

38.
Šimková, Nikola roz. Betlachová
Fakulta: Filozofická fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura, Český jazyk a literatura
Obhajoba bakalářské práce: Linguistic Relativity and Color Terminology with Focus on English

39.
Šmijáková, Eva
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Parallel Parameter Synthesis for Hybrid Systems | Práce na příbuzné téma

40.
Šula, Martin
Fakulta: Fakulta sociálních studií
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Organizační kultura a rozpory v jejím vnímání ve vybrané organizaci soukromého sektoru | Práce na příbuzné téma

41.
Šurman, Samuel
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Automation of ETL process and data visualization | Práce na příbuzné téma

42.
Taufar, Patrik
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Politologie / Politologie
Obhajoba disertační práce: "The Vienna doctrine" of Human Rights. In a Quest for Political Theory of Human Rights. | Práce na příbuzné téma

43.
Trávníček, Zdeněk
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: Problémy dialetheismu | Práce na příbuzné téma

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

45.
Tušil, Jan
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: An Executable Formal Semantics of C++ | Práce na příbuzné téma

46.
Vašáková, Dana
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Teorie překladu | Práce na příbuzné téma

47.
Veselková, Marta roz. Kaplánková
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství chemie pro základní školy, Pedagogické asistentství výchovy ke zdraví pro základní školy
Obhajoba bakalářské práce: Výuka chemie a příbuzných předmětů na středních školách a odborných učilištích. | Práce na příbuzné téma

48.
Zatrochová, Zuzana
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: Analysis and testing of distributed NoSQL datastore Riak | Práce na příbuzné téma

49.
Zmrzlá, Petra
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filologie (čtyřleté) / Anglický jazyk
Obhajoba disertační práce: Co-referential Cohesive Chains in Research Articles | Práce na příbuzné téma