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

451.
Stojarová, Věra
Fakulta: Fakulta sociálních studií
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Politologie / Politologie
Obhajoba disertační práce: Současné bezpečnostní hrozby západního Balkánu. Kritická analýza konceptu bezpečnosti Kodaňské školy. | Práce na příbuzné téma Zobrazit popisek

452.
Stojarová, Věra
Fakulta: Fakulta sociálních studií
Rok: 2006, studium úspěšně absolvováno, udělen titul: PhDr.
Program/obor Politologie / Politologie
Obhajoba rigorózní práce: Současné bezpečnostní hrozby západního Balkánu. Kritická analýza konceptu bezpečnosti Kodaňské školy. | Práce na příbuzné téma

453.
Stránský, Filip
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: Policie České republiky jako správní orgán na úseku zbraní a střeliva | Práce na příbuzné téma

454.
Stráský, Michal
Fakulta: Fakulta sportovních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Speciální edukace bezpečnostních složek
Obhajoba bakalářské práce: Bezpečnostní obavy studentů prvních ročníků Masarykovy univerzity | Práce na příbuzné téma

455.
Stražovský, Oldřich
Fakulta: Fakulta informatiky
Rok: 2003, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Efektivní analýza ohraničených Petriho sítí | Práce na příbuzné téma

456.
Studená, Markéta
Fakulta: Fakulta sociálních studií
Rok: 2013, 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: Israeli Decision-Making Process in Counter-Terrorism Strategy | Práce na příbuzné téma
Obhajoba bakalářské práce: Proměna mise UNIFIL po izraelsko-libanonském konfliktu v roce 2006 | Práce na příbuzné téma

457.
Svoboda, Tomáš
Fakulta: Fakulta sociálních studií
Rok: 2021, 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: Násilný odpor Mapuchů- případová studie | Práce na příbuzné téma

458.
Svobodová, Marie roz. Kučerová
Fakulta: Pedagogická fakulta
Rok: 2012, 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: Výrobní prostředky odborného výcviku oboru Asistent zubního technika | Práce na příbuzné téma

459.
Svobodová, Marie
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociologie / Sociologie
Obhajoba diplomové práce: Strážnice očima dětí prvního stupně Základní školy | Práce na příbuzné téma

460.
Syrovátková, Jana
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Mezinárodní vztahy
Obhajoba bakalářské práce: Význam bezpečnosti pro rozvoj pohledem ukazatele Commitment to Development Index a jeho aplikace na Českou republiku | Práce na příbuzné téma

461.
Szabadošová, Jana
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba diplomové práce: Bezpečnostní analýza komunikace v energetických sítích | Práce na příbuzné téma

462.
Szabó, Erich
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Síťové útoky typu MITM s nástrojem Evilgrade | Práce na příbuzné téma

463.
Szydlowská, Markéta
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Bezpečnost OS Android | Práce na příbuzné téma

464.
Šabatová, Kateřina
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Bezpečnostní a strategická studia / Bezpečnostní a strategická studia, Sociologie
Obhajoba bakalářské práce: Bezpečnostní analýza kurdské menšiny v Turecku | Práce na příbuzné téma

465.
Šalomon, Jan
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Anglický jazyk se zaměřením na vzdělávání
Obhajoba bakalářské práce: Jak události 11. září a válka proti terorismu ovlivnily ekonomiku, bezpečnost, společnost a kulturu na Západě | Práce na příbuzné téma

466.
Šanta, Marek
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Zajišťování bezpečnosti při vývoji SW | Práce na příbuzné téma

467.
Šesták, Vít
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: Proces pro schvalování knihoven třetích stran | Práce na příbuzné téma

468.
Šiblová, Kristýna
Fakulta: Právnická fakulta
Rok: 2014, 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 letecké dopravy v EU | Práce na příbuzné téma

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

470.
Šimáň, Jan
Fakulta: Právnická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Veřejná správa
Obhajoba bakalářské práce: Policie ČR jako správní orgán na úseku zbraní a střeliva | Práce na příbuzné téma

471.
Šimková, Kateřina
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Hospodářská politika, Německý jazyk a literatura
Obhajoba bakalářské práce: Ekonomická dostupnost a dosažitelnost vysokoškolského vzdělání v České republice v komparativní perspektivě | Práce na příbuzné téma

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

473.
Šindelková, Jana
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: Saúdsko-americké vztahy po nástupu prezidenta Trumpa | Práce na příbuzné téma

474.
Širocká, Victoria Mária
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Evropská studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Komparácia bezpečnostného aspektu zahraničnej politiky Emmanuela Macrona a Françoisa Hollanda voči Afrike a regiónu Blízkeho východu | Práce na příbuzné téma

475.
Škapová, Jana roz. Baarová
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Tvorba platformy podnikové spolupráce pomocí metodiky SCRUM | Práce na příbuzné téma

476.
Škola, David
Fakulta: Fakulta sociálních studií
Rok: 2013, 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: Otázka Arktidy v kontextu kanadského bezpečnostního diskursu | Práce na příbuzné téma

477.
Školkay, Eduard
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Ekonomické informační systémy
Obhajoba bakalářské práce: Platební systémy na internetu | Práce na příbuzné téma

478.
Škurla, Adam
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: DevOps Integration of Security Practices | Práce na příbuzné téma

479.
Špilková, Jana
Fakulta: Lékařská fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Výživa člověka
Obhajoba bakalářské práce: Obezita a léčivé rostliny | Práce na příbuzné téma

480.
Špondr, Bohdan
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa
Obhajoba diplomové práce: Role aktérů v utváření energetické politiky ČR v kontextu bezpečnostních rizik | Práce na příbuzné téma

481.
Štauberová, Miroslava
Fakulta: Pedagogická fakulta
Rok: 2012, 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: Diagnostika vyučovacího procesu v odborném výcviku a v odborných předmětech | Práce na příbuzné téma

482.
Šteidl, Přemysl
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Srovnání VPN realizací | Práce na příbuzné téma

483.
Štrofová, Zuzana
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Sociologie
Obhajoba bakalářské práce: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Práce na příbuzné téma

484.
Štuková, Veronika
Fakulta: Fakulta sportovních studií
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport
Obhajoba bakalářské práce: Komparace metodik německého a českého snowboardingu | Práce na příbuzné téma

485.
Šubrt, Karel
Fakulta: Fakulta sociálních studií
Rok: 2015, 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í rozměr čínských aktivit v Africe na počátku 21. století | Práce na příbuzné téma

486.
Švaříčková, Pavla
Fakulta: Pedagogická fakulta
Rok: 2012, studium neúspěšně ukončeno
Program/obor Specializace v pedagogice / Pedagogické asistentství chemie pro základní školy, Pedagogické asistentství zeměpisu pro základní školy
Obhajoba bakalářské práce: Chemie v mateřské školce? | Práce na příbuzné téma

487.
Švaříčková, Pavla
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství chemie pro základní školy, Pedagogické asistentství přírodopisu pro základní školy
Obhajoba bakalářské práce: Chemie v mateřské školce? | Práce na příbuzné téma

488.
Švec, Martin
Fakulta: Právnická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Teoretické právní vědy (čtyřleté) / Mezinárodní a evropské právo
Obhajoba disertační práce: Mezinárodněprávní a evropskoprávní aspekty energetického práva: Výkon suverenity státu při zajišťování energetické bezpečnosti | Práce na příbuzné téma

489.
Švestka, Jaroslav
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: Vojenská a politická reakce Evropy a Ruska na BMDS Spojených států amerických | Práce na příbuzné téma

490.
Švidroňová, Mária roz. Michalíková
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Implementace metod pro detekci útoků v prostředí softwarového simulátoru | Práce na příbuzné téma

491.
Teršel, Jiří
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Firewall pro prostředí s vysokou úrovní bezpečnosti | Práce na příbuzné téma

492.
Tesař, Lukáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Zabezpečení dat v mobilních telefonech | Práce na příbuzné téma

493.
Tesařová, Monika
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba diplomové práce: Postoj českých politických elit k aktuálnímu vývoji NATO | Práce na příbuzné téma

494.
Tichý, Marek
Fakulta: Ekonomicko-správní fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Peněžnictví (kombinace/zaměření: Bankovnictví)
Obhajoba bakalářské práce: Platební karty - třídění a druhy, jejich historie, současnost a budoucnost

495.
Tkáč, Ladislav
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Bezpečnostní analýza Symbian OS na mobilních zařízeních Nokia Series60 | Práce na příbuzné téma

496.
Tkáčik, Kristián
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: Pattern Mining in Command Histories from Cybersecurity Training | Práce na příbuzné téma

497.
Tkáčová, Andrea
Fakulta: Právnická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Evropská unie pod hrozbou mezinárodního terorismu | Práce na příbuzné téma

498.
Tokoš, Ondřej
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Bezpečnostní a strategická studia / Bezpečnostní a strategická studia
Obhajoba diplomové práce: Strategické soupeření ČLR a Západu v asijsko-pacifickém regionu: případ Šalamounových ostrovů | Práce na příbuzné téma

499.
Toman, Viktor
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: Efektivní reprezentace strategií pro hry dvou hráčů na grafech | Práce na příbuzné téma

500.
Tomek, 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: Příprava řidiče MHD na profesionalitu a její zdokonalování | Práce na příbuzné téma