Theses on a related topic (having the same keywords):

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

Keywords ordered alphabetically | Keywords ordered by occurrence rate

501.
Trgiňa, Marek
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Penetračné testovanie | Theses on a related topic Display description

502.
Trnka, Daniel
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training (combination/specialization: Technické obory)
Bachelor's thesis defence: Projekt výuky odborného výcviku a hlavních odborných předmětů zvoleného učebního oboru | Theses on a related topic

503.
Tuček, Pavel
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Bezpečnostní politika rozsáhlé uživatelské počítačové infrastruktury | Theses on a related topic

504.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Quantitative Formal Methods for High-level Robot Path Planning | Theses on a related topic

505.
Tůmová, Michaela
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Health Education, Lower Secondary School Teacher Training in Special Education
Bachelor's thesis defence: Facebook - fenomén dnešní doby a jeho nebezpečí? | Theses on a related topic

506.
Tunková, Michaela
Faculty: Faculty of Social Studies
Year: 2011, studies terminated for failure to fulfill study requirements
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Vliv bezpečnostní situace na západním Balkáně na českou zahraniční politiku vůči Makedonii a Srbsku | Theses on a related topic
Bachelor's thesis defence: Vliv bezpečnostní situace na západním Balkáně na českou zahraniční politiku vůči Makedonii a Srbsku

507.
Tupá, Veronika
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: International Relations / International Relations
Master's thesis defence: United in Diversity? European Strategic Culture After the Russian Invasion of Ukraine | Theses on a related topic

508.
Turková, Markéta
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism, Security & Strategic Studies
Bachelor's thesis defence: Téma bezpečnosti ve volebních programech v regionálních volbách v Jihomoravském kraji v roce 2016 | Theses on a related topic

509.
Tvrdá, Kateřina
Faculty: Faculty of Law
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Právo jako systém tváří v tvář organizovanému zločinu | Theses on a related topic

510.
Tyllichová, Kateřina
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Chemistry, Lower Secondary School Teacher Training in Natural Science
Master's thesis defence: Chemická laboratoř ve třídě aneb vybrané chemické pokusy jednoduše a bezpečně | Theses on a related topic

511.
Uhlíř, Jiří
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Bezpečnost v operačním systému OpenVMS | Theses on a related topic

512.
Ullman, Dominik
Faculty: Faculty of Law
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: E-government a jeho ústavní aspekty | Theses on a related topic

513.
Unčovský, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Theses on a related topic

514.
Urbánek, Jakub
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Sociology / Sociology
Bachelor's thesis defence: Zánik veřejného prostoru ve Spojených státech 20. století | Theses on a related topic

515.
Urbanová, Zuzana
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Užití psychodramatu ve skupinové terapii | Theses on a related topic

516.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic

517.
Vacková, Tereza
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Security & Strategic Studies / Security & Strategic Studies, Sociology
Bachelor's thesis defence: Spolupráce soukromých vojenských a bezpečnostních společností s Organizací spojených národů se zaměřením na mírové operace | Theses on a related topic
Bachelor's thesis defence: Spolupráce soukromých vojenských a bezpečnostních společností s Organizací spojených národů se zaměřením na mírové operace | Theses on a related topic

518.
Vácová, Klára
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Political Science / International Relations, Security & Strategic Studies
Bachelor's thesis defence: Bezpečnostní možnosti spolupráce JPO I a JPO II v městě Žďár nad Sázavou | Theses on a related topic

519.
Vančurová, Adéla
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Education / Social Education
Master's thesis defence: Přesahy profesionálního vztahu s klientem do osobního života sociálních pracovníků | Theses on a related topic

520.
Varga, Dávid
Faculty: Faculty of Sports Studies
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Special Education of Security Sections
Bachelor's thesis defence: Preventivní opatření žen proti fyzickému napadení | Theses on a related topic

521.
Várhelyi, Boris
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Political Science / International Relations, Security & Strategic Studies
Bachelor's thesis defence: Turkish Foreign Policy towards Israel during the Presidency of Recep Tayyip Erdogan | Theses on a related topic

522.
Várhelyi, Boris
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: International Relations / International Relations
Master's thesis defence: Odstrašovanie terorizmu: kapacity štátov Perzského zálivu | Theses on a related topic

523.
Várhelyi, Boris
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Security and Strategic Studies / Security and Strategic Studies
Master's thesis defence: Prítomnosť Číny v Perzskom zálive | Theses on a related topic

524.
Vašíčková, Jitka
Faculty: Faculty of Sports Studies
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Sports Education)
Master's thesis defence: Dopravní dispozice města Brna v návaznosti na možnosti cykloturistiky | Theses on a related topic

525.
Vaššová, Barbora
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Verifikace protokolu AMQP | Theses on a related topic

526.
Vaverka, Jan
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Political Science / Political Science, Security & Strategic Studies
Bachelor's thesis defence: Analýza milicí formovaných během napoleonských válek | Theses on a related topic

527.
Vavrečka, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Bezpečnostní řešení pro cloudové technologie | Theses on a related topic

528.
Večeřa, Štěpán
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Christian Education, Lower Secondary School Teacher Training in Technology and IT Education
Bachelor's thesis defence: Tvorba didaktického materiálu pro práci s kovem na ZŠ | Theses on a related topic

529.
Veselý, Jakub
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: IPv6 a bezpečnost | Theses on a related topic

530.
Vičar, Radim
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Theoretical Legal Sciences (4-years) / Administrative and Environmental Law
Doctoral thesis defence: Bezpečnost a obrana státu jako předmět zkoumání správního práva | Theses on a related topic

531.
Višňovská, Ema
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations
Bachelor's thesis defence: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Theses on a related topic

532.
Vizváry, Martin
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Detekce útoků na autentizaci RDP | Theses on a related topic

533.
Vlasáková, Helena
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Postoj Ruska k Společné zahraniční a bezpečnostní politice EU | Theses on a related topic

534.
Vlček, Tomáš
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Bezpečnost námořního zásobování ropou v mezinárodním prostředí | Theses on a related topic

535.
Vojtěch, Jaroslav
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Political Science / Political Science, Security & Strategic Studies
Bachelor's thesis defence: Současné vojenské bezpečnostní hrozby pro Čínskou lidovou republiku a jejich vliv na tvorbu vojenské strategie | Theses on a related topic

536.
Vondráčková, Eliška
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Political Science / International Relations, Political Science
Bachelor's thesis defence: Dánsko ve světové politice | Theses on a related topic

537.
Vostoupal, Petr
Faculty: Faculty of Sports Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Applied Sport Education of Security Bodies
Master's thesis defence: Výcvik obranné střelby | Theses on a related topic

538.
Votava, Filip
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Řešení problematiky bezpečnosti práce ve výuce odborného výcviku | Theses on a related topic

539.
Vozárová, Viktória
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Craig's Interpolant in Model Checking Algorithms | Theses on a related topic

540.
Všetička, Pavel
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Public Policy / Public Administration
Master's thesis defence: Policie ČR jako orgán státní správy | Theses on a related topic

541.
Vymyslická, Ivana
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations
Bachelor's thesis defence: Vliv války na Ukrajině na česko-německou obrannou spolupráci | Theses on a related topic

542.
Walach, Václav
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Security and Strategic Studies
Master's thesis defence: Teorie bezpečnosti sociálně vyloučených lokalit | Theses on a related topic

543.
Wanecki, Pavel
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Public and Social Policy
Master's thesis defence: Řízení krizí a ochrana zaměstnance | Theses on a related topic

544.
Wiesner, David
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelizace obrazového simulátoru buněčných populací | Theses on a related topic

545.
Winterová, Barbora
Faculty: Faculty of Economics and Administration
Year: 2012, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Economic Policy and International Relations
Master's thesis defence: Aplikace konceptu failed state na případ Tádžikistánu | Theses on a related topic

546.
Zahradníček, Martin
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Algoritmická analýza populačních protokolů | Theses on a related topic

547.
Záleská, Veronika
Faculty: Faculty of Economics and Administration
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Economic Policy and Administration / Public Economics, Public Economics and Administration
Master's thesis defence: Ekonomické aspekty obranné politiky ČR a SR, jejich identity a odlišnosti (případová studie) | Theses on a related topic
Master's thesis defence: Ekonomické aspekty obranné politiky ČR a SR, jejich identity a odlišnosti (případová studie) | Theses on a related topic

548.
Zárevúcky, Jiří
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Improved VFS design for HelenOS | Theses on a related topic

549.
Zduba, Lukáš
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Man-in-the-Browser útoky na internetové bankovnictví a bezpečnostní řešení | Theses on a related topic

550.
Zeman, Petr
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webový portál pro bezpečnostní dohled | Theses on a related topic