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

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

352.
Sklenák, Jakub
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: European Studies / European Studies, International Relations
Bachelor's thesis defence: Analýza vybraných případů neodůvodněného gold-platingu v ČR | Theses on a related topic

353.
Smejkal Brandejská, Michaela
Faculty: Faculty of Law
Year: 2010, studies completed, degree conferred: JUDr.
Programme/field: Law and Legal Science / Law
Advanced Master's thesis defence: Směrnice o službách na vnitřním trhu a její implementace do českého právního řádu | Theses on a related topic

354.
Smrčka, Michal
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Online služba projektového řízení zaměřená na živnostníky na volné noze | Theses on a related topic

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

356.
Steinbachová, Šárka
Faculty: Faculty of Law
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Nekalé obchodní praktiky zaměřené na zdravotní stav spotřebitelů v judikatuře SDEU a českých vrcholných soudů | Theses on a related topic

357.
Stejskal, Radim
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Webová aplikace pro evidenci rezervací | Theses on a related topic

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

359.
Stuchlík, Mikoláš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Idiomatické rozhraní jazyka Swift pro práci s knihovnou GTK+ | Theses on a related topic

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

361.
Suchomel, Vít
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Automatické testování nástroje DiVinE | Theses on a related topic

362.
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++

363.
Šauerová, Eva
Faculty: Faculty of Law
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Europeizace smluvního práva | Theses on a related topic

364.
Šeděnka, Jaroslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Huffmanovo kódování stavů v DiVinE | Theses on a related topic

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

366.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - Prostředí pro distribuovanou verifikaci | Theses on a related topic

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

368.
Šírová, Lenka
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Typické výslovnostní chyby českých rodilých mluvčí a metody jejich odstraňování | Theses on a related topic

369.
Šiška, Adam
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Interpretace DVE modelů v Haskellu | Theses on a related topic

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

371.
Šlajs, Václav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: DHCP server s podporou databáze a SNMP | Theses on a related topic

372.
Šmídová, Nikola
Faculty: Faculty of Social Studies
Year: 2018, 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: Návrh systému hodnocení zaměstnanců ve vybrané organizaci XY | Theses on a related topic

373.
Šmijáková, Eva
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic

374.
Šrom, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna tříd pro visuální reprezentaci a editaci diagramů | Theses on a related topic

375.
Šťastný, Jan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj na automatickou detekci chyb v jazyce C | Theses on a related topic

376.
Štefánik, Michal
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Molecular Biology and Genetics
Bachelor's thesis defence: Virus Zika - nová globální hrozba? | Theses on a related topic

377.
Štěpánek, David
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Zavedení prvků Lean Managementu v konkrétním podniku | Theses on a related topic

378.
Štourač, Martin
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: 3D editor for the RoFI platform | Theses on a related topic

379.
Teršl, Adam
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Paralelní programování a datové struktury v C++ | Theses on a related topic

380.
Tkáč, Adam
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace ntpd a ftpd appletu pro BusyBox | Theses on a related topic

381.
Tkáč, Ladislav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Bezpečnostní analýza Symbian OS na mobilních zařízeních Nokia Series60 | Theses on a related topic

382.
Toman, Ivo
Faculty: Faculty of Sports Studies
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Applied Sport Education of Security Bodies
Master's thesis defence: Programování www aplikací pro podporu výuky na FSpS | Theses on a related topic

383.
Toman, Michal
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: LLVM IR service for Fedora | Theses on a related topic

384.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Porovnání nástrojů pro paralelní LTL model checking | Theses on a related topic

385.
Tomek, Eduard
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Škálování implementace optimalizačního algoritmu na mnohajádrových strojích | Theses on a related topic

386.
Tomovič, Lukáš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Slicing of Parallel Programs | Theses on a related topic

387.
Tran, Manh Hung
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace single sign-on autentizace pomocí protokolu SAML v2 | Theses on a related topic

388.
Trnková, Klára
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Pohádka v hodinách výtvarné výchovy na prvním stupni základní školy | Theses on a related topic

389.
Trúsiková, Daniela maiden name: Kozempelová
Faculty: Faculty of Medicine
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Intensive Care / Intensive Care
Master's thesis defence: Implementácia nových vedeckých poznatkov do ošetrovateľskej praxe v prostredí intenzívnej starostlivosti | Theses on a related topic

390.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic

391.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: An Executable Formal Semantics of C++ | Theses on a related topic

392.
Uhlík, Vladimír
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Compiling C to Cthulhu | Theses on a related topic

393.
Urban, Jan
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Zapojeni knihovny Morph-M do Matlabu pomoci SWIG | Theses on a related topic

394.
Urban, Jan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Interfacing C++ libraries to Matlab | Theses on a related topic

395.
Urban, Lukáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Adapting SBT-Fizzer for Test-Comp | Theses on a related topic

396.
Vančo, Michal
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Implementace portálového řešení pro řízení kvality | Theses on a related topic

397.
Vaňko, Adam
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Renderování 3D textu v OpenGL | Theses on a related topic

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

399.
Vávra, Miloslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Mapování preprocesovaného kódu | Theses on a related topic

400.
Vejnár, Martin
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: C++ support for Stanse | Theses on a related topic