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

implementation, c++, formal methods, static analysis, formela, symbiotic

Keywords ordered alphabetically | Keywords ordered by occurrence rate

201.
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 Display description

202.
Pokorná, Adéla maiden name: Hospůdková
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Implementace dopravní výchovy ve výuce na 1. stupni základní školy | Theses on a related topic

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

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

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

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

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

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

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

210.
Přikrylová, Karolína maiden name: Dopitová
Faculty: Faculty of Law
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Public Policy / Public Administration
Master's thesis defence: Proces monitoringu a implementace legislativy v bankovnictví - vybrané problémy | Theses on a related topic

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

212.
Radvanová, Dagmar
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Master's thesis defence: Možnosti zavádění supervize ve vybraných organizacích sociálních služeb v okrese Děčín | Theses on a related topic
Master's thesis defence: Postoje k zavádění supervize v organizacích | Theses on a related topic

213.
Reigl, Tomáš
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Mathematical Biology
Bachelor's thesis defence: Optimalizace metody detekce změn v počtu kopií genů z dat DNA mikročipů | Theses on a related topic

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

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

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

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

218.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Software | Theses on a related topic

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

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

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

222.
Růžičková, Martina
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Zirkonoxidová keramika – vědecké pozadí a implementace do výuky technologií pro obor Asistent zubního technika a Zubní technik | Theses on a related topic

223.
Ř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

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

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

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

227.
Sedláková, Nikola
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: European Studies / European Studies
Master's thesis defence: Relokace pracovních migrantů ze třetích zemí na území České republiky a vliv EU | Theses on a related topic

228.
Sedlář, Lubomír
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Detekce programovacích chyb v C/C++ programech pod OS GNU/Linux | Theses on a related topic

229.
Shyshkina, Hanna
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Simulace chování NMR v cloudu | Theses on a related topic

230.
Slabý, Jiří
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automatic Bug-finding Techniques for Large Software Projects | Theses on a related topic

231.
Slezáček, Václav
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools
Master's thesis defence: Návrh a ověření modulu vietnamské kuchyně v rámci předmětu technologie pokrmů | Theses on a related topic

232.
Smetanová, Alena
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Public and Social Policy
Master's thesis defence: Posouzení efektivity probačního programu pro dospělé osoby | Theses on a related topic

233.
Smutek, Martin
Faculty: Faculty of Social Studies
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Doctoral thesis defence: Vnější podmínky a jednání aktérů procesu implementace lokálního sociálního programu | Theses on a related topic

234.
Smyčka, Matěj
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Cybersecurity / Cybersecurity
Bachelor's thesis defence: Evaluation and Application of SAST Tools | Theses on a related topic

235.
Smýkalová, Iveta
Faculty: Faculty of Medicine
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Intensive Care
Master's thesis defence: Informovanost všeobecných sester o Evidence-Based Practice | Theses on a related topic

236.
Stana, Ivan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Využití knihovny FreeLing pro češtinu | Theses on a related topic

237.
Staněk, Tomáš
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Překladač jazyka Scheme | Theses on a related topic

238.
Stibor, Daniel
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Biometrická registrace otisků prstů | Theses on a related topic

239.
Straková, Lucie
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Zhodnocení cílů a programové teorie vzdělávacího programu kariérního poradentsví | Theses on a related topic

240.
Strehovský, Michal
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Statická analýza ukazatelů pro jazyk C | Theses on a related topic

241.
Stupka, Pavel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafický engine na základech OpenGL pro podporu 3D animací | Theses on a related topic

242.
Sukup, Jiří
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Zavedení modelu EFQM řízení kvality v Policii České republiky a jeho posouzení řadovými pracovníky | Theses on a related topic

243.
Svoboda, Petr
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Finance and Law / Finance and Law
Bachelor's thesis defence: Participativní rozpočet - trend u místních rozpočtů? | Theses on a related topic

244.
Szmek, Petr
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Nástroj na úpravu programů v C++

245.
Šamlotová, Michaela
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Naplňování rámcových strategických dokumentů Evropské unie – případ strategie Evropa 2020 a Lisabonské strategie | Theses on a related topic

246.
Ševčíková, Dana
Faculty: Faculty of Education
Year: 2018, 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: Critical thinking in ESL lessons | Theses on a related topic

247.
Šikyňa, Matúš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Detection of Android Malware Using Machine Learning | Theses on a related topic

248.
Šimáček, Michael
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic

249.
Šimek, Miloš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Optimalizovaná implementace korektoru sekvenačních chyb ECHO | Theses on a related topic

250.
Šlachtová, Monika
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Implementation of Elasticsearch into EAS Framework | Theses on a related topic