Práce na příbuzné téma (mají shodná klíčová slova):
craig's interpolant, formal verification, model checking, interpolation-sequence, overapproximation, reachability, algorithmKlíčová slova abecedně | Klíčová slova dle četnosti
151.
Zapletalová, Veronika
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba diplomové práce: Algoritmický obraz v českém výtvarném umění | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba diplomové práce: Algoritmický obraz v českém výtvarném umění | Práce na příbuzné téma
152.
Zich, Jakub
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Grafická reprezentace formulí logiky HCTL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Grafická reprezentace formulí logiky HCTL | Práce na příbuzné téma
153.
Zoľáková, Alena
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biologie / Matematická biologie
Obhajoba bakalářské práce: Metody pro hodnocení dodržení klinických protokolů v oblasti protinádorové chemoterapie | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biologie / Matematická biologie
Obhajoba bakalářské práce: Metody pro hodnocení dodržení klinických protokolů v oblasti protinádorové chemoterapie | Práce na příbuzné téma
154.
Zoľáková, Alena
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biologie / Matematická biologie
Obhajoba diplomové práce: Získávání znalostí v oblasti protinádorové chemoterapie z dat plátců zdravotní péče. | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biologie / Matematická biologie
Obhajoba diplomové práce: Získávání znalostí v oblasti protinádorové chemoterapie z dat plátců zdravotní péče. | Práce na příbuzné téma
155.
Žák, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Coloured Nested DFS | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Coloured Nested DFS | Práce na příbuzné téma