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

semantic equivalence, diffkemp, python, clang, static analysis, llvm, staticka analyza, semanticka ekvivalence

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

201.
Mlynárik, Martin
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Aplikace pro správu objednávek ve veřejném stravování | Práce na příbuzné téma Zobrazit popisek

202.
Moravec, Erik
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: Kalkulačka možných částek poplatku za prodlouženou dobu studia | Práce na příbuzné téma

203.
Mrázek, Jan
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Caching SMT Queries in SymDivine | Práce na příbuzné téma

204.
Mrázik, Andrej
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: Pokročilý nástroj pro skriptování v aplikaci CAVER Analyst | Práce na příbuzné téma
Obhajoba bakalářské práce: Pokročilý nástroj pre skriptovanie v aplikácii CAVER Analyst | Práce na příbuzné téma

205.
Mulár, Ondrej
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Regresní testovaní balíku fence-agents | Práce na příbuzné téma

206.
Müller, Filip
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: Evideční systém vyšetření magnetické rezonance | Práce na příbuzné téma

207.
Nadrchal, Samuel
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Ekonomie, Matematika
Obhajoba bakalářské práce: Numerické výpočty v různých programovacích jazycích | Práce na příbuzné téma

208.
Novák, Jakub
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: Improvements of Memory Management in KLEE | Práce na příbuzné téma

209.
Novák, Mário
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: GraphQL API Facade for IT Inventory Management Tool | Práce na příbuzné téma

210.
Novosad, Štefan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Možnosti vizualizace pohybu postavy v 3D virtuálním prostředí | Práce na příbuzné téma

211.
Novotný, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Automatická detekce chyb v programech | Práce na příbuzné téma

212.
Olliaro, Martina
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Computer Science / Fundamentals of Computer Science
Obhajoba disertační práce: String Analysis for Software Verification | Práce na příbuzné téma

213.
Ondrovič, Lukáš
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Simulátor multifunkčního zařízení pro tiskové řešení YSoft SafeQ | Práce na příbuzné téma

214.
Oravec, Roman
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í kyberbezpečnosti
Obhajoba diplomové práce: Modern obfuscation techniques | Práce na příbuzné téma

215.
Orlíček, Pavel
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografická kartografie a geoinformatika / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Koncepce chytrých regionů pro zlepšení mobility obyvatel (na příkladu sdílení kol a koloběžek). | Práce na příbuzné téma

216.
Orlíček, Roman
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Systém na adaptabilní procvičování odhadů | Práce na příbuzné téma

217.
Oršula, Jakub
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Product package generator using GAN | Práce na příbuzné téma

218.
Otrubčiak, Jakub
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Integrace haptické interakce s chemickými vizualizačními nástroji | Práce na příbuzné téma

219.
Palata, Michal
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroje pro automatickou konverzi dokumentace | Práce na příbuzné téma

220.
Paľovčík, Patrik
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Návrh regulačných sietí z predchádzajúcich znalostí | Práce na příbuzné téma

221.
Paluba, Juraj
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Optimization and Security of a Network Sandbox | Práce na příbuzné téma

222.
Papčo, Rastislav
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Monitorování pohybu zákazníků v nákupních střediscích | Práce na příbuzné téma

223.
Papoušek, Jiří
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: Práce se síťovými toky ve formátu JSON | Práce na příbuzné téma

224.
Pavlásek, Matúš
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: Automatizované načítanie záznamov z PACS | Práce na příbuzné téma

225.
Pavlásek, Matúš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Automatizované nastavenie parametrov experimentu na prístroji magnetickej rezonancie a následné získanie nasnímaných dát z PACS | Práce na příbuzné téma

226.
Pecuch, Daniel
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje služeb
Obhajoba diplomové práce: Open data portal for smaller municipality | Práce na příbuzné téma

227.
Pejznoch, Aleš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba bakalářské práce: Modul statické a dynamické analýzy pro e-photosynthesis.org | Práce na příbuzné téma

228.
Petrek, Stanislav
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Počítačové sítě a komunikace
Obhajoba diplomové práce: Digitální naučné stezky | Práce na příbuzné téma

229.
Pilát, 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: Design, Deployment, and Evaluation of Programming Homeworks for the IB110 Course | Práce na příbuzné téma

230.
Pinka, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Využití programovacího jazyka Python v analytické chemii | Práce na příbuzné téma

231.
Plesník, Richard
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Poker game with AI opponents | Práce na příbuzné téma

232.
Plch, Matěj
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Secure coding in modern C++ | Práce na příbuzné téma

233.
Podola, Radim
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: Quantitative analysis of TLS certificate validity on the Internet | Práce na příbuzné téma

234.
Podzimek, Vratislav
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: SCAP policy compliance configuration in Linux installations | Práce na příbuzné téma

235.
Pochobradský, Michal
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Integrace skriptovacích jazyků do C++ kódu | Práce na příbuzné téma

236.
Pokorný, Jan
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Reuse of old objects into playful game controllers | Práce na příbuzné téma

237.
Popovič, Daniel
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: Clustering of Command Histories from Cybersecurity Training | Práce na příbuzné téma

238.
Povalová, Radoslava
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Webový nástroj/framework pro snazší analýzu malware | Práce na příbuzné téma

239.
Procházka, Martin
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Kolaborativní editor 3D scény | Práce na příbuzné téma

240.
Punčochář, Jaromír
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatické generování městské zástavby | Práce na příbuzné téma

241.
Ranto, Boris
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Writing Graph Algorithms in Executable Pseudocode | Práce na příbuzné téma
Obhajoba bakalářské práce: Writing Graph Algorithms in Executable Pseudocode | Práce na příbuzné téma

242.
Rechtoris, Filip
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Monitorování subsystémů YSoft SafeQ | Práce na příbuzné téma

243.
Rektořík, Michael
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba diplomové práce: Síť a její aplikace pro Zoo | Práce na příbuzné téma

244.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2015, 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: Model Checking Software | Práce na příbuzné téma

245.
Rozkoš, Peter
Fakulta: Fakulta informatiky
Rok: 2015, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Framework pro deskové hry | Práce na příbuzné téma
Obhajoba bakalářské práce: Framework pro deskové hry | Práce na příbuzné téma

246.
Rumian, Dominik
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: Detekce dynamických cyklů | Práce na příbuzné téma

247.
Růžička, Jaroslav
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filozofie (čtyřleté) / Teorie a dějiny vědy
Obhajoba disertační práce: Sémantický přístup k vědeckým teoriím a jejich modelování pomocí jazyka Python | Práce na příbuzné téma

248.
Ryglová, Aneta
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografická kartografie a geoinformatika / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Automatická tvorba mapových rámů ZTM | Práce na příbuzné téma

249.
Rýpar, David
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementace distribuovaného provenance modelu | Práce na příbuzné téma

250.
Řehák, Zdeněk
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Překlad a analýza VHDL programů prostřednictvím XML mezikódu | Práce na příbuzné téma