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

umluva o zakazu biologickych zbrani, verifikace, bioterorismus, biological weapons convention, zhn, biologicke zbrane, zbrane hromadneho niceni, verification, kontrola zbrojeni, zenevsky protokol, biological weapons, arms control, weapons of mass destruction, bwc, geneva protocol, bioterrorism, wmds

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

51.
Hamerník, Jakub
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Autentizační metody používané k obnově přihlašovacího hesla | Práce na příbuzné téma Zobrazit popisek

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

53.
Chalupa, Marek
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Teoretická informatika
Obhajoba rigorózní práce: Symbolic Execution for Verification | Práce na příbuzné téma

54.
Jasenčáková, Soňa
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Pravda v súčasnom intuicionizme a anti-realizme | Práce na příbuzné téma

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

56.
Kakaščiková, Zuzana
Fakulta: Fakulta sociálních studií
Rok: 2016, 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: Postoj Ruskej federácie k jadrovému odzbrojeniu z pohľadu strategickej kultúry | Práce na příbuzné téma

57.
Kaprál, Petr
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie (kombinované) / Mezinárodní vztahy, Sociologie
Obhajoba bakalářské práce: Geopolitika a evropský kontext československé zahraniční politiky v letech 1918-1939 | Práce na příbuzné téma

58.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Virtual File System in DIVINE 4 | Práce na příbuzné téma

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

60.
Kociánová, Hana
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Ověření metody Behavioral Systems Questionnaire pro českou populaci | Práce na příbuzné téma

61.
Kováč, Vladimír
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Veřejná správa
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma

62.
Krejcarová, Roberta roz. Hulanská
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba bakalářské práce: Neúspech Iránskej jadrovej dohody z pohľadu teórie kontroly zbrojenia | Práce na příbuzné téma

63.
Krchňák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma

64.
Kriho, Jan
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: Enhanced parser for DVE modelling language | Práce na příbuzné téma

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

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

67.
Maksović, Sofija
Fakulta: Fakulta informatiky
Rok: 2023, 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: Model-Based Analysis of Forensic-Ready Software Systems | Práce na příbuzné téma

68.
Marušincová, Lenka
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství občanské výchovy pro základní školy, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Terorismus - problém minulosti i současnosti | Práce na příbuzné téma

69.
Matuška, Jindřich
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Verification of binarised neural networks using ASP | Práce na příbuzné téma

70.
Mičan, Pavel
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Trading space for time in explicit-state model checking | Práce na příbuzné téma

71.
Mihalkovič, Vincent
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Improved translation of LLVM IR code to C | Práce na příbuzné téma

72.
Milata, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Verifikace konečných systémů pomocí SMT-solveru | Práce na příbuzné téma

73.
Miléřová, Drahoslava
Fakulta: Právnická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Teorie a praxe přípravného řízení trestního
Obhajoba bakalářské práce: Postavení státního zástupce v trestním řízení | Práce na příbuzné téma

74.
Možná, Tereza
Fakulta: Fakulta sportovních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Kinantropologie / Kinantropologie
Obhajoba disertační práce: Verifikace diagnostických soustav motorických kompetencí dětí s poruchou autistického spektra | Práce na příbuzné téma

75.
Nagy, Imrich
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost
Obhajoba diplomové práce: Building open profiles of certified cryptographic devices | Práce na příbuzné téma

76.
Němec, Richard
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství odborných předmětů pro střední školy - specializace strojírenství
Obhajoba diplomové práce: Zvýšení odborné způsobilosti žáků středních odborných škol s elektrotechnickým zaměřením | Práce na příbuzné téma

77.
Novák, Jakub
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Improvements of Memory Management in KLEE | Práce na příbuzné téma

78.
Novák, 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: Lazy object initialization support in KLEE | Práce na příbuzné téma

79.
Peterková, Lenka
Fakulta: Fakulta sociálních studií
Rok: 2008, 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: Syrská zahraniční politika za Baššára al-Asada | Práce na příbuzné téma

80.
Petruchová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace komponentových systémů s dynamickou komunikací | Práce na příbuzné téma

81.
Plotěný, Ondřej
Fakulta: Fakulta informatiky
Rok: 2008, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vytvoření modelu výtahů se sběrným řízením | Práce na příbuzné téma

82.
Plotěný, Ondřej
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: Vytvoření modelu výtahů se sběrným řízením | Práce na příbuzné téma

83.
Podhora, Martin
Fakulta: Fakulta informatiky
Rok: 2022, 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: Forensic profiles of certified cryptographic smartcards | Práce na příbuzné téma

84.
Polián, Tomáš
Fakulta: Právnická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Teorie a praxe přípravného řízení trestního
Obhajoba bakalářské práce: Trestněprávní úprava nebezpečného pronásledování podle § 354 TrZ | Práce na příbuzné téma

85.
Prachárová, Alexandra
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy, Politologie
Obhajoba bakalářské práce: Analýza amerických a ruských dôvodov vedúcich k zániku zmluvy INF | Práce na příbuzné téma

86.
Prachárová, Alexandra
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba diplomové práce: Nuclear Arms Control Agreements and their Future | Práce na příbuzné téma

87.
Půček, Martin
Fakulta: Právnická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Zapojení České republiky do systému obrany proti balistickým raketám (mezinárodněprávní aspekty) | Práce na příbuzné téma

88.
Rožnovský, Filip
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Společnost a metodologie přírodních věd u K. R. Poppera | Práce na příbuzné téma

89.
Rybnikářová, Pavlína
Fakulta: Fakulta sociálních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociální politika a sociální práce / Evropská studia, Veřejná politika a lidské zdroje
Obhajoba bakalářské práce: Rámcová dohoda mezi EU a Jižní Koreou: motivace pro její uzavření a úprava spolupráce v oblasti mezinárodního míru a bezpečnosti | Práce na příbuzné téma

90.
Slámečka, Ondřej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Monte Carlo Tree Search in Verification of Markov Decision Processes | Práce na příbuzné téma

91.
Slámová, Dana
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Předškolní a mimoškolní pedagogika / Učitelství pro mateřské školy
Obhajoba bakalářské práce: Úloha autoevaluace v mateřské škole | Práce na příbuzné téma

92.
Slovák, Petr
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: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | Práce na příbuzné téma

93.
Smolová, Eva
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Mezinárodní vztahy, Politologie
Obhajoba bakalářské práce: Americká zahraniční politika vůči SSSR ve druhém funkčním období prezidenta Ronalda Reagana. | Práce na příbuzné téma

94.
Starý, Tomáš
Fakulta: Fakulta sociálních studií
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Bezpečnostní a strategická studia, Evropská studia
Obhajoba bakalářské práce: Činnost Integrovaného záchranného systému v případě válečného konfliktu na území ČR | Práce na příbuzné téma
Obhajoba bakalářské práce: Islamismus v Sandžaku | Práce na příbuzné téma

95.
Struhár, Andrej
Fakulta: Fakulta sociálních studií
Rok: 2019, 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: Iránska jadrová dohoda a postoje najvýznamnejších dotknutých aktérov | Práce na příbuzné téma

96.
Svoreňová, Mária
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Verifikace hybridních systémů | Práce na příbuzné téma

97.
Šimáček, Michael
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Symbolic-size Memory Allocation Support for Klee | Práce na příbuzné téma

98.
Šimeček, David
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: Popper a Feyerabend (diskuse o pojetí vědy) | Práce na příbuzné téma

99.
Šimeček, David
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství základů společenských věd pro střední školy
Obhajoba diplomové práce: Popper a Feyerabend (diskuse o pojetí vědy) | Práce na příbuzné téma

100.
Šimša, Jiří
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Monitorování chování systémů | Práce na příbuzné téma