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

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

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

251.
Šlancar, Tomáš
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 / Informační bezpečnost
Obhajoba diplomové práce: Mining usage of cryptographic primitives from executables | Práce na příbuzné téma Zobrazit popisek

252.
Šmaterová, Petra
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Analýza využití filozofie Kaizen při řízení organizace z pohledu českých Kaizen odborníků | Práce na příbuzné téma

253.
Šmerdová, Eva
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Účetní informační systémy | Práce na příbuzné téma

254.
Šmídová, Lenka
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Veřejná ekonomika
Obhajoba bakalářské práce: Zdravotní politika a plány krajů ČR | Práce na příbuzné téma

255.
Šmídová, Nikola
Fakulta: Fakulta sociálních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Návrh systému hodnocení zaměstnanců ve vybrané organizaci XY | Práce na příbuzné téma

256.
Šrom, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Knihovna tříd pro visuální reprezentaci a editaci diagramů | Práce na příbuzné téma

257.
Šťastný, Jan
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj na automatickou detekci chyb v jazyce C | Práce na příbuzné téma

258.
Šťastný, Jan
Fakulta: Fakulta informatiky
Rok: 2012, 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: Aplikace pro správu virtuálních webových serverů na FSS MU | Práce na příbuzné téma

259.
Štěpánek, Marek
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství dějepisu pro základní školy, Pedagogické asistentství zeměpisu pro základní školy
Obhajoba bakalářské práce: Volně dostupný software pro implementaci geografických informačních systémů do škol | Práce na příbuzné téma

260.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: State space compression for the DiVinE model checker | Práce na příbuzné téma

261.
Štourač, Martin
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: 3D editor for the RoFI platform | Práce na příbuzné téma

262.
Šuta, Matej
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: String abstract domains | Práce na příbuzné téma

263.
Švajdová, Petra
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná a sociální politika a lidské zdroje / Personální management a organizační rozvoj
Obhajoba diplomové práce: Vnímání společenské odpovědnosti firmy ze strany jejích zaměstnanců | Práce na příbuzné téma

264.
Táborský, Adam
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Monitoring trhu práce a jeho implementace ve Švédsku | Práce na příbuzné téma

265.
Tatýrek, Ondřej
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Kyberbezpečnost / Kyberbezpečnost
Obhajoba bakalářské práce: Security Analysis of Oracle Vulnerabilities in Ethereum Smart Contracts | Práce na příbuzné téma

266.
Teršl, Adam
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: Paralelní programování a datové struktury v C++ | Práce na příbuzné téma

267.
Tkáč, Ladislav
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: Bezpečnostní analýza Symbian OS na mobilních zařízeních Nokia Series60 | Práce na příbuzné téma

268.
Toman, Michal
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: LLVM IR service for Fedora | Práce na příbuzné téma

269.
Tomáštík, Marek
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikace MPI programů pomocí DIVINE | Práce na příbuzné téma

270.
Tomovič, Lukáš
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Slicing of Parallel Programs | Práce na příbuzné téma

271.
Trembecký, Richard
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: Portování nástroje Symbiotic na LLVM 3.8 | Práce na příbuzné téma

272.
Trnková, Klára
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy
Obhajoba diplomové práce: Pohádka v hodinách výtvarné výchovy na prvním stupni základní školy | Práce na příbuzné téma

273.
Troják, Matej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma

274.
Trúsiková, Daniela roz. Kozempelová
Fakulta: Lékařská fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Intenzivní péče / Intenzivní péče
Obhajoba diplomové práce: Implementácia nových vedeckých poznatkov do ošetrovateľskej praxe v prostredí intenzívnej starostlivosti | Práce na příbuzné téma

275.
Tuček, Adam
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma

276.
Tvrdoň, Čeněk
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná a sociální politika a lidské zdroje / Personální management a organizační rozvoj
Obhajoba diplomové práce: Posouzení účinnosti a efektivity vzdělávacího programu | Práce na příbuzné téma

277.
Urban, Jan
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Zapojeni knihovny Morph-M do Matlabu pomoci SWIG | Práce na příbuzné téma

278.
Urban, Jan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Interfacing C++ libraries to Matlab | Práce na příbuzné téma

279.
Urbánková, Vlasta roz. Pelajová
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Učitelství anglického jazyka a literatury pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Interaktivní materiály k středoškolské matematické analýze | Práce na příbuzné téma

280.
Vaculík, Milan
Fakulta: Právnická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Směrnice 93/13/EHS a její implementace do soukromého práva ČR (ochrana spotřebitele) | Práce na příbuzné téma

281.
Vaňko, Adam
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: Renderování 3D textu v OpenGL | Práce na příbuzné téma

282.
Veselá, Karolína
Fakulta: Ekonomicko-správní fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Podniková informatika / Podniková informatika
Obhajoba bakalářské práce: Zhodnocení implementace online čárových kódů v podniku | Práce na příbuzné téma

283.
Veverka, František
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: Zobrazování informací o nasnímaných obrazech v softwaru Acquiarium | Práce na příbuzné téma

284.
Vítková, Natália
Fakulta: Fakulta sociálních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba diplomové práce: Implementace Strategie Evropské unie pro boj proti terorismu národními státy | Práce na příbuzné téma

285.
Vitovská, Martina
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Instrumentation of LLVM IR | Práce na příbuzné téma

286.
Vlčková, Dagmar
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Sociální politika a sociální práce (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Poskytování IAP a jeho význam v procesu aktivace klienta | Práce na příbuzné téma
Obhajoba diplomové práce: Poskytování IAP a jeho význam v procesu aktivace klienta | Práce na příbuzné téma

287.
Vodička, Luděk
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Životní cyklus informačního systému výrobního podniku | Práce na příbuzné téma

288.
Vomelová, Jana
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Europeizace trestního práva hmotného | Práce na příbuzné téma

289.
Voříšková, Hana
Fakulta: Právnická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Normotvorba obcí k ochraně zdravých životních podmínek | Práce na příbuzné téma
Obhajoba diplomové práce: Normotvorba obcí k ochraně zdravých životních podmínek | Práce na příbuzné téma

290.
Vrba, Jiří
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Podniková ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Návrh akčního plánu CSR | Práce na příbuzné téma

291.
Werl, Pavel
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Arbitrážní příležitosti na vybraných finančních trzích Východní Asie | Práce na příbuzné téma

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

293.
Wittenberg, Niels
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropské vládnutí
Obhajoba diplomové práce: The Externalisation of Animal Welfare Standards by the EU through Free Trade Agreements: Cases of Ukraine, Chile and Canada’ | Práce na příbuzné téma

294.
Wörgötter, Martin
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba diplomové práce: Domain-specific English-Czech Neural Machine Translation | Práce na příbuzné téma

295.
Zagorová, Pavla
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Matematika / Učitelství matematiky pro střední školy
Obhajoba rigorózní práce: Multimediální diskrétní matematika
Obhajoba rigorózní práce: Multimediální diskrétní matematika | Práce na příbuzné téma

296.
Zachar, Lev Martin
Fakulta: Fakulta informatiky
Rok: 2023, 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: Digital Poet | Práce na příbuzné téma

297.
Zárubová, Kristýna
Fakulta: Ekonomicko-správní fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa
Obhajoba diplomové práce: Od sociálních inovací k advokacii: úsilí o změny ve společnosti | Práce na příbuzné téma

298.
Zezulčíková, Markéta
Fakulta: Právnická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Implementace směrnice o službách na vnitřním trhu v ČR | Práce na příbuzné téma

299.
Zhukova, Anna
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 služeb
Obhajoba diplomové práce: Semi-Automatic Fusion of Multiple Cell Tracking Annotations | Práce na příbuzné téma

300.
Ziman, Michal
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Segmentace biomedicínského obrazu pomocí otevřených aktivních kontur | Práce na příbuzné téma