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

verifikacia, bezpecnost, safety, synteza ovladaca, phaver, checkmate, hsolver, matisse, hybrid automata, hybridny system, multiparametric toolbox, hybridny automat, hybrid system, verification, hytech, keymaera, verifikacny nastroj, verification tool, dosazitelnost, reachability, controller synthesis, d/dt

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

351.
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 Zobrazit popisek

352.
Nagyová, Alena
Fakulta: Fakulta sociálních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Bezpečnostní a strategická studia / Bezpečnostní a strategická studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Vliv státního dluhu vůči Čínské lidové republice na suverenitu a bezpečnost Zambie | Práce na příbuzné téma

353.
Najman, Jan
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, Mezinárodní vztahy
Obhajoba bakalářské práce: Privatizace mezinárodních letišť v České republice a její bezpečnostní aspekty | Práce na příbuzné téma

354.
Naštická, Andrea
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Mezinárodní vztahy
Obhajoba diplomové práce: Vybrané bezpečnostné hrozby ako dôsledok klimatických zmien - prípadová štúdia bezpečnostných hrozieb v arktickej oblasti | Práce na příbuzné téma

355.
Navrátil, Petr
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Veřejná správa
Obhajoba bakalářské práce: Policie České republiky jako správní orgán na úseku zbraní a střeliva | Práce na příbuzné téma

356.
Němec, Jiří
Fakulta: Fakulta sociálních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Mezinárodní vztahy, Politologie
Obhajoba bakalářské práce: Foreign policy of Kosovar presidents: cooperative or conflictual? | Práce na příbuzné téma

357.
Němec, Petr
Fakulta: Právnická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Krizový management: válečný stav | Práce na příbuzné téma

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

359.
Nespešný, Simon
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: Protokoly pro autentizaci uživatelů vůči vzdálenému serveru | Práce na příbuzné téma
Obhajoba diplomové práce: Protokoly pre autentizáciu užívateľov voči vzdialenému serveru | Práce na příbuzné téma

360.
Nesvadbová, Eliška
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Bezpečnostní a strategická studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Bezpečnostní dimenze vztahů České republiky vůči zemím bývalé Jugoslávie | Práce na příbuzné téma

361.
Nevařil, Lukáš
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství matematiky pro základní školy, Učitelství technické a informační výchovy pro základní školy
Obhajoba diplomové práce: Síťová bezpečnost základních škol | Práce na příbuzné téma

362.
Nogawczyk, Miroslav
Fakulta: Právnická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Policie ČR a její charakteristika | Práce na příbuzné téma

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

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

365.
Nováková, Tereza
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika se zaměřením na vzdělávání / Matematika se zaměřením na vzdělávání, Výchova ke zdraví se zaměřením na vzdělávání
Obhajoba bakalářské práce: Projekty a programy podpory zdraví v oblasti vzdělávání | Práce na příbuzné téma

366.
Novotná, Andrea
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, Politologie
Obhajoba bakalářské práce: Komunální politika v Přelouči v letech 2002 - 2010 | Práce na příbuzné téma

367.
Novotný, Petr
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, Politologie
Obhajoba bakalářské práce: Vliv kanadské bezpečnostní politiky v Arktidě na vojenský sektor bezpečnosti | Práce na příbuzné téma

368.
Novotný, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Controller Synthesis for Resource-Aware Systems | Práce na příbuzné téma

369.
Obrtanec, Matej
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Bezpečnostní rysy OS X, Linux, Windows vs. Malware | Práce na příbuzné téma

370.
Ondrovič, Peter
Fakulta: Fakulta sociálních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Mezinárodní teritoriální studia (čtyřleté) / Mezinárodní vztahy
Obhajoba disertační práce: Interim Administration in the Era of the Post-Westphalia Order: A Kosovo Case Study | Práce na příbuzné téma

371.
Orava, Václav
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: Omezení základních práv při mimořádných situacích | Práce na příbuzné téma

372.
Oravec, Roman
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: Extrakcia citlivých údajov z Android OS | Práce na příbuzné téma

373.
Oravec, Roman
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í kyberbezpečnosti
Obhajoba diplomové práce: Modern obfuscation techniques | Práce na příbuzné téma

374.
Ošťádal, Radim
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Práce aplikací s certifikáty veřejných klíčů | Práce na příbuzné téma

375.
Ošťádal, Radim
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Metody správy šifrovacích klíčů pro šifrování souborů | Práce na příbuzné téma

376.
Oudes, Filip
Fakulta: Fakulta sociálních studií
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Mezinárodní vztahy
Obhajoba diplomové práce: Putinova a Medvěděvova bezpečnostní politika ve vztahu k euroatlantskému prostoru – prvky kontinuity a diskontinuity | Práce na příbuzné téma

377.
Ovčačík, Václav
Fakulta: Filozofická fakulta
Rok: 2014, 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: NFC služby v knihovnách a jejich bezpečnost | Práce na příbuzné téma
Obhajoba bakalářské práce: NFC služby v knihovnách a jejich bezpečnost | Práce na příbuzné téma

378.
Palán, Jiří
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Učitelství matematiky pro střední školy, Učitelství tělesné výchovy pro základní a střední školy
Obhajoba diplomové práce: Bezpečnost provozování cykloturistiky v rámci výuky na ZŠ a SŠ | Práce na příbuzné téma

379.
Palát, Michal
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Zabezpečení komunikace Push To Talk | Práce na příbuzné téma

380.
Pánik, Matúš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Rozpoznávání obličejů s využitím technologií iFace SDK a IDKit Multimodal SDK | Práce na příbuzné téma

381.
Panny, Ludvík
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství fyziky pro základní školy, Pedagogické asistentství výchovy ke zdraví pro základní školy
Obhajoba bakalářské práce: Facebook - Nejlepší přítel moderního člověka? | Práce na příbuzné téma

382.
Panny, Ludvík
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství fyziky pro základní školy, Učitelství výchovy ke zdraví pro základní školy
Obhajoba diplomové práce: Mladší školní věk - bezpečí ve virtuálním prostoru | Práce na příbuzné téma

383.
Páralová, Veronika
Fakulta: Právnická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná správa / Veřejná správa
Obhajoba diplomové práce: Kvalita života a její regionální disparity | Práce na příbuzné téma

384.
Paulíček, Lukáš
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Mobilní kryptografie | Práce na příbuzné téma

385.
Pauzar, Radek
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Učitelství praktického vyučování
Obhajoba bakalářské práce: Exkurze na rozvodně R110kV/22kV jako součást učebního plánu. | Práce na příbuzné téma

386.
Pavelec, Jaroslav
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Učitelství praktického vyučování (kombinace/zaměření: Technické obory)
Obhajoba bakalářské práce: Systém přípravy řidičů autobusů MHD v Brně se zaměřením na bezpečnost provozu | Práce na příbuzné téma

387.
Pavlů, Dominik
Fakulta: Fakulta sociálních studií
Rok: 2019, studium neúspěšně ukončeno
Program/obor Politologie / Bezpečnostní a strategická studia
Obhajoba diplomové práce: Societální bezpečnost v rámci autonomního systému řízení vozidel | Práce na příbuzné téma
Obhajoba diplomové práce: Societální bezpečnost v rámci autonomního systému řízení vozidel | Práce na příbuzné téma
Obhajoba diplomové práce: Japonské územní spory – Jižní Kurily a ostrovy Senkaku | Práce na příbuzné téma

388.
Pawliková, Dominika
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba diplomové práce: Ruská agrese na Ukrajině a její reflexe v polské odborné literatuře | Práce na příbuzné téma

389.
Penc, Viktor
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Bezpečnostní a strategická studia / Bezpečnostní a strategická studia, Ekonomie
Obhajoba bakalářské práce: Generace válečnictví a válka na Ukrajině | Práce na příbuzné téma

390.
Perná, Jana
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Mezinárodní vztahy
Obhajoba diplomové práce: Normativní posun v rámci mezinárodního neproliferačního režimu | Práce na příbuzné téma

391.
Petláková, Ivana
Fakulta: Fakulta sportovních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Management sportu (kombinace/zaměření: Management cestovního ruchu)
Obhajoba bakalářské práce: Analýza využívání a bezpečnosti cyklistické dopravy ZŠ Újezd u Brna | Práce na příbuzné téma

392.
Petráková, Tereza
Fakulta: Pedagogická fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství pro 1. stupeň základní školy (kombinace/zaměření: Speciální pedagogika), Učitelství speciální pedagogiky pro základní školy
Obhajoba diplomové práce: Souhrn zásad a norem pro realizaci letního dětského tábora

393.
Petrů, Kateřina
Fakulta: Právnická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Veřejná správa
Obhajoba bakalářské práce: Policie České republiky jako správní orgán na úseku zbraní a střeliva | Práce na příbuzné téma

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

395.
Picková, Kateřina
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Mezinárodní vztahy, Sociologie
Obhajoba bakalářské práce: Vliv moci Číny na zahraniční politiku Taiwanu | Práce na příbuzné téma

396.
Pitek, František
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství speciální pedagogiky pro základní školy, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Návrh výrobků z kovových materiálů pro ZŠ | Práce na příbuzné téma

397.
Piter, Miroslav
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Detekce anomálií v ICMP provozu | Práce na příbuzné téma

398.
Pleva, Marek
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Bezpečnostní a strategická studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Vesmírný prostor a zajišťování bezpečnosti České republiky | Práce na příbuzné téma

399.
Plevko, Tomáš
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Bezpečnost cloudu | Práce na příbuzné téma
Obhajoba diplomové práce: Bezpečnost cloudových PaaS | Práce na příbuzné téma

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