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

software verification, .net c#, benchmarking, benchexec, verifiercloud, asp.net core, distributed execution, docker, gitlab ci/cd

Keywords ordered alphabetically | Keywords ordered by occurrence rate

151.
Skalický, Marek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro zobrazení rozdílu dvou Linux kontejnerů | Theses on a related topic Display description

152.
Slíva, Adam
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Design and development of CoPAS MarketPlaces | Theses on a related topic

153.
Stanko, Peter
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Kontr 2: Systém na automatizované spracovanie domácich úloh | Theses on a related topic

154.
Stano, Matej
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: Aplikácia virtuálneho mikroskopu pre patologické obrazy | Theses on a related topic

155.
Stárek, Jan
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Fuzz testování webových aplikačních rozhraní | Theses on a related topic

156.
Staruch, Andrej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Aplikace pro detekci phishing útoků na základě testování URL | Theses on a related topic
Master's thesis defence: Aplikace pro detekci phishing útoků na základě testování URL | Theses on a related topic

157.
Stašová, Martina
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Procesní benchmarking aplikovaný na knihovny Masarykovy univerzity | Theses on a related topic

158.
Struk, Šimon
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: A tool for analysis of supported cryptographic properties of TPM 2.0 chips | Theses on a related topic

159.
Szász, Peter
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Agricultural Commodities Transports Evidence Web-based Application | Theses on a related topic

160.
Šafařík, Jan
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Cloud Infrastructure Health Monitoring System | Theses on a related topic

161.
Šanda, Richard
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Porovnání OCR technologií | Theses on a related topic

162.
Šebela, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Automatizace nasazení nástrojů a generování datasetu pro podporu situačního povědomí v kyberbezpečnosti | Theses on a related topic

163.
Šimková, Gabriela
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Průzkum uživatelského chování: analýza preferencí uživatelů studoven Moravské zemské knihovny v Brně | Theses on a related topic

164.
Škoda, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Scheduler for the Stream Processing Frameworks on Hadoop Clusters | Theses on a related topic

165.
Šlancar, Tomáš
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Analýza programů SSH | Theses on a related topic

166.
Šmíd, Tomáš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Automatizace procesu vývoje na platformě Xamarin | Theses on a related topic

167.
Šmida, Václav
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Jednoduchá hromadná správa DOI od DataCite pro administrativní pracovníky | Theses on a related topic

168.
Špik, Matúš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Kontajnerizácia pre vysokú dostupnosť v PostgreSQL | Theses on a related topic
Master's thesis defence: Kontajnerizácia pre vysokú dostupnosť v PostgreSQL | Theses on a related topic

169.
Špinlerová, Pavla
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Finanční měření konkurenceschopnosti podniku | Theses on a related topic

170.
Štefkovič, Ján
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Networks and Communication
Master's thesis defence: Inovativní přístup k realizaci výpočtů na superpočítačových infrastrukturách | Theses on a related topic
Master's thesis defence: Inovativní přístup k realizaci výpočtů na superpočítačových infrastrukturách | Theses on a related topic

171.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Analysis of Parallel C++ Programs | Theses on a related topic

172.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Memory-Model-Aware Analysis of Parallel Programs | Theses on a related topic

173.
Šumaj, Jozef
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Kontejnerizace mikroslužeb v procesu testování a nasazení | Theses on a related topic

174.
Takáčová, Tereza
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Vývoj aplikácie slúžiacej k monitorovaniu využívania licencií zákazníkmi | Theses on a related topic

175.
Techlovská, Kristýna
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Uplatnění metod řízení kvality v podmínkách české veřejné správy | Theses on a related topic

176.
Tirala, Peter
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatické nasazování aplikací na bázi platformy SW kontejnerů | Theses on a related topic

177.
Toman, Samuel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Web application for Data Import from XLSX into the Relational Database | Theses on a related topic

178.
Tomášová, Kateřina
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration (combination/specialization: Veřejná ekonomika)
Master's thesis defence: Analýza působení konkurence jako faktoru ovlivňující ekonomické chování vybraných subjektů veřejného sektoru | Theses on a related topic

179.
Tran, Hai Duong
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Machine learning and artificial intelligence
Master's thesis defence: Detekce objektů v průmyslových datových množinách | Theses on a related topic

180.
Trhlík, Pavel
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Framework pro automatizované kontroly webů s využitím klientského honeypotu Thug | Theses on a related topic

181.
Trusinová, Jana maiden name: Rušarová
Faculty: Faculty of Economics and Administration
Year: 2021, studies completed, degree conferred: Ing.
Programme/field: Finance / Finance
Master's thesis defence: Finanční analýza v budování konkurenční výhody podniku | Theses on a related topic

182.
Tužil, Matěj
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Caché mocking framework | Theses on a related topic

183.
Tylšar, Pavel
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration (combination/specialization: Public Economy and Administration)
Bachelor's thesis defence: Zvýšení efektivnosti výkonu územní veřejné správy

184.
Uhlík, Martin
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Systém řízení projektů | Theses on a related topic

185.
Urban, David
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Private Equity | Theses on a related topic

186.
Valalský, Adam
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Integrácia DevOps a rozšírenie funkcionality CyQUAL | Theses on a related topic

187.
Valkovič, Lukáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Optimalizace post-implementační části životního cyklu vývoje SW v IT společnosti | Theses on a related topic

188.
Vanžura, Michal
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Reengineering webového informačního systému o odpadech | Theses on a related topic
Master's thesis defence: Reengineering webového informačního systému o odpadech | Theses on a related topic

189.
Višňovský, Vladimír
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Workflow výpočtu korekce silového pole malých molekul | Theses on a related topic

190.
Vitéz, Peter
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Framework for simplified investigation of customer's diagnostic data | Theses on a related topic

191.
Vlašín, Petr
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Finanční měření konkurenceschopnosti podniku | Theses on a related topic

192.
Vlček, Michal
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Implementace skriptovacího rozhraní pro automatizaci vyplňování dokumentů | Theses on a related topic

193.
Vrbka, Marek
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Hardware systems
Master's thesis defence: Testing of Student Assignments in Embedded Course | Theses on a related topic

194.
Vydra, Zdeněk
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Automated Preparation of Virtual Images | Theses on a related topic

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

196.
Zauko, Tibor
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Kontejnerizace Flowmon Sondy | Theses on a related topic

197.
Zeman, Ondrej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh a implementace komponenty na komunikaci v reálném čase pro framework DotVVM | Theses on a related topic