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

divine, implementation, c, c++, posix, compilation, elf, llvm ir, formal verification, build automation

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

301.
Šlachtová, Monika
Fakulta: Fakulta informatiky
Rok: 2024, 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: Implementation of Elasticsearch into EAS Framework | Práce na příbuzné téma Zobrazit popisek

302.
Šlajs, Václav
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: DHCP server s podporou databáze a SNMP | Práce na příbuzné téma

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

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

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

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

307.
Šmijáková, Eva
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Parallel Parameter Synthesis for Hybrid Systems | Práce na příbuzné téma

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

309.
Šť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

310.
Šť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

311.
Štefánik, Michal
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Experimentální biologie / Molekulární biologie a genetika
Obhajoba bakalářské práce: Virus Zika - nová globální hrozba? | Práce na příbuzné téma

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

313.
Štohanzlová, Anna
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: E-learning in Practical English: Theory and Practice | Práce na příbuzné téma

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

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

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

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

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

319.
Tomáštík, Marek
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Porovnání nástrojů pro paralelní LTL model checking | Práce na příbuzné téma

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

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

322.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Quantitative Linear-Time Model Checking | Práce na příbuzné téma

323.
Tušil, Jan
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: An Executable Formal Semantics of C++ | Práce na příbuzné téma

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

325.
Uhlík, Vladimír
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Compiling C to Cthulhu | Práce na příbuzné téma

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

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

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

329.
Vacíková, Michala
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk se specializací počítačová lingvistika
Obhajoba bakalářské práce: E-learningový kurz k výuce syntaxe | Práce na příbuzné téma

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

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

332.
Vaššová, Barbora
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma

333.
Vávra, Miloslav
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Mapování preprocesovaného kódu | Práce na příbuzné téma

334.
Vejnár, Martin
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: C++ support for Stanse | Práce na příbuzné téma

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

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

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

338.
Vitovská, Martina
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: Grafický modul systému pro řízení světelné signalizace | Práce na příbuzné téma

339.
Vitovský, Petr
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Převod LLVM bitkódu do C | Práce na příbuzné téma

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

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

342.
Vojkůvka, Michal
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství anglického jazyka a literatury pro střední školy
Obhajoba diplomové práce: Teaching the LFC Through Jenkins's 5-step Programme - an Empirical Study | Práce na příbuzné téma

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

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

345.
Vozárová, Viktória
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Craig's Interpolant in Model Checking Algorithms | Práce na příbuzné téma

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

347.
Weiser, Jiří
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: TCP vrstva pro verifikační nástroj DIVINE | Práce na příbuzné téma

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

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

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