Práce na příbuzné téma (mají shodná klíčová slova):

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

Klíčová slova abecedně | Klíčová slova dle četnosti

151.
Skalický, Marek
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro zobrazení rozdílu dvou Linux kontejnerů | Práce na příbuzné téma Zobrazit popisek

152.
Slíva, Adam
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Design and development of CoPAS MarketPlaces | Práce na příbuzné téma

153.
Stanko, Peter
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Kontr 2: Systém na automatizované spracovanie domácich úloh | Práce na příbuzné téma

154.
Stano, Matej
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje služeb
Obhajoba diplomové práce: Aplikácia virtuálneho mikroskopu pre patologické obrazy | Práce na příbuzné téma

155.
Stárek, Jan
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Fuzz testování webových aplikačních rozhraní | Práce na příbuzné téma

156.
Staruch, Andrej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Aplikace pro detekci phishing útoků na základě testování URL | Práce na příbuzné téma
Obhajoba diplomové práce: Aplikace pro detekci phishing útoků na základě testování URL | Práce na příbuzné téma

157.
Stašová, Martina
Fakulta: Filozofická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Procesní benchmarking aplikovaný na knihovny Masarykovy univerzity | Práce na příbuzné téma

158.
Struk, Šimon
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: A tool for analysis of supported cryptographic properties of TPM 2.0 chips | Práce na příbuzné téma

159.
Szász, Peter
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Agricultural Commodities Transports Evidence Web-based Application | Práce na příbuzné téma

160.
Šafařík, Jan
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Cloud Infrastructure Health Monitoring System | Práce na příbuzné téma

161.
Šanda, Richard
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Porovnání OCR technologií | Práce na příbuzné téma

162.
Šebela, Vít
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Automatizace nasazení nástrojů a generování datasetu pro podporu situačního povědomí v kyberbezpečnosti | Práce na příbuzné téma

163.
Šimková, Gabriela
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Průzkum uživatelského chování: analýza preferencí uživatelů studoven Moravské zemské knihovny v Brně | Práce na příbuzné téma

164.
Škoda, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba rigorózní práce: Scheduler for the Stream Processing Frameworks on Hadoop Clusters | Práce na příbuzné téma

165.
Šlancar, Tomáš
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Analýza programů SSH | Práce na příbuzné téma

166.
Šmíd, Tomáš
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Automatizace procesu vývoje na platformě Xamarin | Práce na příbuzné téma

167.
Šmida, Václav
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Jednoduchá hromadná správa DOI od DataCite pro administrativní pracovníky | Práce na příbuzné téma

168.
Špik, Matúš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Kontajnerizácia pre vysokú dostupnosť v PostgreSQL | Práce na příbuzné téma
Obhajoba diplomové práce: Kontajnerizácia pre vysokú dostupnosť v PostgreSQL | Práce na příbuzné téma

169.
Špinlerová, Pavla
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Finanční měření konkurenceschopnosti podniku | Práce na příbuzné téma

170.
Štefkovič, Ján
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba diplomové práce: Inovativní přístup k realizaci výpočtů na superpočítačových infrastrukturách | Práce na příbuzné téma
Obhajoba diplomové práce: Inovativní přístup k realizaci výpočtů na superpočítačových infrastrukturách | Práce na příbuzné téma

171.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Analysis of Parallel C++ Programs | Práce na příbuzné téma

172.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma

173.
Šumaj, Jozef
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Kontejnerizace mikroslužeb v procesu testování a nasazení | Práce na příbuzné téma

174.
Takáčová, Tereza
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Vývoj aplikácie slúžiacej k monitorovaniu využívania licencií zákazníkmi | Práce na příbuzné téma

175.
Techlovská, Kristýna
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná správa (L'Administration publique)
Obhajoba diplomové práce: Uplatnění metod řízení kvality v podmínkách české veřejné správy | Práce na příbuzné téma

176.
Tirala, Peter
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatické nasazování aplikací na bázi platformy SW kontejnerů | Práce na příbuzné téma

177.
Toman, Samuel
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Web application for Data Import from XLSX into the Relational Database | Práce na příbuzné téma

178.
Tomášová, Kateřina
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa (kombinace/zaměření: Veřejná ekonomika)
Obhajoba diplomové práce: Analýza působení konkurence jako faktoru ovlivňující ekonomické chování vybraných subjektů veřejného sektoru | Práce na příbuzné téma

179.
Tran, Hai Duong
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence
Obhajoba diplomové práce: Detekce objektů v průmyslových datových množinách | Práce na příbuzné téma

180.
Trhlík, Pavel
Fakulta: Fakulta informatiky
Rok: 2017, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Framework pro automatizované kontroly webů s využitím klientského honeypotu Thug | Práce na příbuzné téma

181.
Trusinová, Jana roz. Rušarová
Fakulta: Ekonomicko-správní fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance / Finance
Obhajoba diplomové práce: Finanční analýza v budování konkurenční výhody podniku | Práce na příbuzné téma

182.
Tužil, Matěj
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Caché mocking framework | Práce na příbuzné téma

183.
Tylšar, Pavel
Fakulta: Ekonomicko-správní fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa (kombinace/zaměření: Veřejná ekonomika a správa)
Obhajoba bakalářské práce: Zvýšení efektivnosti výkonu územní veřejné správy

184.
Uhlík, Martin
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Systém řízení projektů | Práce na příbuzné téma

185.
Urban, David
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Private Equity | Práce na příbuzné téma

186.
Valalský, Adam
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Integrácia DevOps a rozšírenie funkcionality CyQUAL | Práce na příbuzné téma

187.
Valkovič, Lukáš
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Optimalizace post-implementační části životního cyklu vývoje SW v IT společnosti | Práce na příbuzné téma

188.
Vanžura, Michal
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Reengineering webového informačního systému o odpadech | Práce na příbuzné téma
Obhajoba diplomové práce: Reengineering webového informačního systému o odpadech | Práce na příbuzné téma

189.
Višňovský, Vladimír
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Workflow výpočtu korekce silového pole malých molekul | Práce na příbuzné téma

190.
Vitéz, Peter
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Framework for simplified investigation of customer's diagnostic data | Práce na příbuzné téma

191.
Vlašín, Petr
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Finanční měření konkurenceschopnosti podniku | Práce na příbuzné téma

192.
Vlček, Michal
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Implementace skriptovacího rozhraní pro automatizaci vyplňování dokumentů | Práce na příbuzné téma

193.
Vrbka, Marek
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Hardwarové systémy
Obhajoba diplomové práce: Testing of Student Assignments in Embedded Course | Práce na příbuzné téma

194.
Vydra, Zdeněk
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Automated Preparation of Virtual Images | Práce na příbuzné téma

195.
Wiesner, David
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelizace obrazového simulátoru buněčných populací | Práce na příbuzné téma

196.
Zauko, Tibor
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Kontejnerizace Flowmon Sondy | Práce na příbuzné téma

197.
Zeman, Ondrej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Návrh a implementace komponenty na komunikaci v reálném čase pro framework DotVVM | Práce na příbuzné téma