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

data abstraction, navrh algoritmu, implementation, divine, datova abstrakce, logika bitovych vektoru, bitvector logic, llvm, c, c++, analyza softwarovych systemu, software analysis, algorithm design, implementace

Keywords ordered alphabetically | Keywords ordered by occurrence rate

301.
Novotná, Kateřina
Faculty: Faculty of Sports Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education, Lower Secondary School Teacher Training in Special Education
Master's thesis defence: Hra jako elementární motivační prvek při výuce gymnastiky na 1. stupni ZŠ | Theses on a related topic Display description

302.
Ocásek, Martin
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Zákaznický informační systém malé firmy | Theses on a related topic

303.
Olšanová, Alexandra
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Bachelor's thesis defence: Plnění a aktualizace strategických dokumentů na úrovni obcí a mikroregionů | Theses on a related topic

304.
Oškerová, Karolína
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / European Studies, Media Studies and Journalism
Bachelor's thesis defence: Vybraná řízení projednávaná před Soudním dvorem Evropské unie z důvodu nedokonalé implementace směrnic | Theses on a related topic

305.
Pál, Karol
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Sdílená pracovní plocha | Theses on a related topic

306.
Pálenik, Jakub Jozef
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Image Processing
Master's thesis defence: Hierarchická segmentace biomedicínských obrazů s využitím matematické morfologie | Theses on a related topic

307.
Papcunová, Ivana
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Sprint Hero - Single Contact Point to Help Agile Teams Cope with Organizational Stress | Theses on a related topic

308.
Paroulek, Aleš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Česko-Slovenská hudební databáze | Theses on a related topic
Master's thesis defence: Česko-Slovenská hudební databáze | Theses on a related topic

309.
Pavlík, Marek
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Economic Policy and Administration / Public Economics
Doctoral thesis defence: Implementace zdravotní politiky v ČR | Theses on a related topic

310.
Pavlousková, Michaela
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Založení firemní školky ve vybrané zaměstnavatelské organizaci v kontextu harmonizace práce a rodiny | Theses on a related topic

311.
Peňáz, Martin
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Systém pro správu úkolů | Theses on a related topic

312.
Peřina, Jakub
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza existujících technologií a platforem pro integraci videomailové komunikace ve znakovém jazyce do standardního e-mailového prostředí. | Theses on a related topic

313.
Peterka, Ivo
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: 3D vizualizace meteorologických dat | Theses on a related topic

314.
Písařová, Andrea
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Men against Gods: Marlowe's Doctor Faustus | Theses on a related topic

315.
Piskač, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Java API pro službu EGEE LB | Theses on a related topic

316.
Plášil, Roman
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Grafický editor parametrizovaných modelů pro DiVinE | Theses on a related topic

317.
Plášil, Roman
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Vysvětlování protipříkladů v nástroji DiVinE | Theses on a related topic

318.
Plotěný, Ondřej
Faculty: Faculty of Informatics
Year: 2008, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic

319.
Plotěný, Ondřej
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic

320.
Podhajský, Vojtěch
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Využití Cache-through CDN v Kentico CMS | Theses on a related topic

321.
Pokorný, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Algoritmy pro výpočet jemných stínů | Theses on a related topic

322.
Polišenský, Jan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Software k AD převodníku firmy National instruments | Theses on a related topic

323.
Polišenský, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Hra se světlem v enginu OptiX | Theses on a related topic

324.
Popeláš, Ján
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Superimposition of 3D face scans to body scans | Theses on a related topic

325.
Pospíšilová, Lenka
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Komparace implementace SF v ČR v období 2007-13 a 2014-20 | Theses on a related topic
Master's thesis defence: Komparace implementace SF v ČR v období 2007-13 a 2014-20 | Theses on a related topic

326.
Prax, Ivo
Faculty: Faculty of Law
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Zdanění kapitálových výnosů - Zhodnocení způsobu implementace směrnic EU do zákona o daních z příjmů | Theses on a related topic

327.
Priadková, Barbora
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Economic Theory / Economics
Master's thesis defence: Implementace železničních balíčků ve vybraných zemích EU | Theses on a related topic

328.
Procházka, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Síťová implementace hry Tunneler | Theses on a related topic

329.
Procházka, Martin
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Kolaborativní editor 3D scény | Theses on a related topic

330.
Prokešová, Linda
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Reflexe reformy Komitologie z pohledu Evropského parlamentu | Theses on a related topic

331.
Pšorn Zákopčanová, Kristína
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: On Chaining Divine and Prism Model Checkers | Theses on a related topic

332.
Puškáš, Jakub
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School and Language School Teacher Training in English Language
Master's thesis defence: Tvorba výcvikového kurzu metody CLIL pro učitele základních škol | Theses on a related topic

333.
Reissmannová, Jitka maiden name: Reissmannová
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Ph.D.
Programme/field: Education / Education
Doctoral thesis defence: Problematika první pomoci v kontextu rozvoje zdravotní gramotnosti ve školním prostředí | Theses on a related topic

334.
Repa, Ondrej
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Vizualizace pro nástroj Flowmon DDoS Defender | Theses on a related topic

335.
Režný, Pavel
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Memory managemet in C++ | Theses on a related topic
Bachelor's thesis defence: Memory managemet in C++ | Theses on a related topic

336.
Richtárechová, Lucia
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance and Law
Bachelor's thesis defence: Regulace finančních trhů | Theses on a related topic

337.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Partial Order Reduction in Parallel Model Checking | Theses on a related topic

338.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Model Checking Software | Theses on a related topic

339.
Rolencová, Veronika maiden name: Selucká
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Work (combination/specialization: Communal Social Work)
Master's thesis defence: Hodnocení procesu realizace programu prevence užívání drog ve středně velkém městě | Theses on a related topic

340.
Rondziková, Natália
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Smart Cities Concept in Slovakia. Case Study on Obstacles in Implementation of Smart City Projects in Slovak Municipalities | Theses on a related topic

341.
Rosecký, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Kešování stavů při procházení stavových prostorů | Theses on a related topic

342.
Rosecký, Václav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Verifikační manažer pro explicitní ověřování modelu | Theses on a related topic

343.
Rozum, Peter
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Vizuální reprezentace databázového schématu relační databáze | Theses on a related topic

344.
Řechtáčková, Anna
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Improving out-of-bound access checking in Symbiotic | Theses on a related topic

345.
Sabol, Radoslav
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Czech Question Answer Selection using Recurrent Neural Networks | Theses on a related topic

346.
Sabol, Radoslav
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Machine learning and artificial intelligence
Master's thesis defence: Propaganda Detection using Stylometric Text Analysis | Theses on a related topic

347.
Sargsyan, Aram
Faculty: Faculty of Law
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Antidiskriminační právo Evropské unie a jeho přenos Českou republikou | Theses on a related topic

348.
Sedláček, Radim
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Estetic Education
Master's thesis defence: Implementace multimédií a mediální výchovy do hodin estetické výchovy | Theses on a related topic

349.
Sedláček, Vladimír
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: On cryptographic weaknesses related to elliptic curves | Theses on a related topic

350.
Sedlák, Miroslav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: C++ Unit testing frameworks | Theses on a related topic