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

251.
Polišenský, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Hra se světlem v enginu OptiX | Práce na příbuzné téma Zobrazit popisek

252.
Priadková, Barbora
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomické teorie / Ekonomie
Obhajoba diplomové práce: Implementace železničních balíčků ve vybraných zemích EU | Práce na příbuzné téma

253.
Procházka, Jiří
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: Síťová implementace hry Tunneler | Práce na příbuzné téma

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

255.
Prokešová, Linda
Fakulta: Fakulta sociálních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba diplomové práce: Reflexe reformy Komitologie z pohledu Evropského parlamentu | Práce na příbuzné téma

256.
Přikrylová, Karolína roz. Dopitová
Fakulta: Právnická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná správa / Veřejná správa
Obhajoba diplomové práce: Proces monitoringu a implementace legislativy v bankovnictví - vybrané problémy | Práce na příbuzné téma

257.
Pšorn Zákopčanová, Kristína
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: On Chaining Divine and Prism Model Checkers | Práce na příbuzné téma

258.
Puškáš, Jakub
Fakulta: Pedagogická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Tvorba výcvikového kurzu metody CLIL pro učitele základních škol | Práce na příbuzné téma

259.
Radvanová, 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
Obhajoba diplomové práce: Možnosti zavádění supervize ve vybraných organizacích sociálních služeb v okrese Děčín | Práce na příbuzné téma
Obhajoba diplomové práce: Postoje k zavádění supervize v organizacích | Práce na příbuzné téma

260.
Reigl, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Experimentální biologie / Matematická biologie
Obhajoba bakalářské práce: Optimalizace metody detekce změn v počtu kopií genů z dat DNA mikročipů | Práce na příbuzné téma

261.
Repa, Ondrej
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Vizualizace pro nástroj Flowmon DDoS Defender | Práce na příbuzné téma

262.
Režný, Pavel
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: Memory managemet in C++ | Práce na příbuzné téma
Obhajoba bakalářské práce: Memory managemet in C++ | Práce na příbuzné téma

263.
Richtárechová, Lucia
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance a právo
Obhajoba bakalářské práce: Regulace finančních trhů | Práce na příbuzné téma

264.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Partial Order Reduction in Parallel Model Checking | Práce na příbuzné téma

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

266.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Model Checking Software | Práce na příbuzné téma

267.
Rondziková, Natália
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Evropská studia
Obhajoba diplomové práce: Smart Cities Concept in Slovakia. Case Study on Obstacles in Implementation of Smart City Projects in Slovak Municipalities | Práce na příbuzné téma

268.
Rosecký, Václav
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: Kešování stavů při procházení stavových prostorů | Práce na příbuzné téma

269.
Rosecký, Václav
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Verifikační manažer pro explicitní ověřování modelu | Práce na příbuzné téma

270.
Rozporková, Ľudmila
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Skandinávská studia
Obhajoba bakalářské práce: Nya vägar, nya möjligheter: E-learning på Skandinavienstudier på Masarykuniversitetet i Brno | Práce na příbuzné téma

271.
Rozum, Peter
Fakulta: Fakulta informatiky
Rok: 2011, 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: Vizuální reprezentace databázového schématu relační databáze | Práce na příbuzné téma

272.
Růžičková, Martina
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Učitelství praktického vyučování
Obhajoba bakalářské práce: Zirkonoxidová keramika – vědecké pozadí a implementace do výuky technologií pro obor Asistent zubního technika a Zubní technik | Práce na příbuzné téma

273.
Sabol, Radoslav
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: Czech Question Answer Selection using Recurrent Neural Networks | Práce na příbuzné téma

274.
Sabol, Radoslav
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: Propaganda Detection using Stylometric Text Analysis | Práce na příbuzné téma

275.
Sedláček, Jindřich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: May-Happen-in-Parallel Analysis for Slicing of Parallel Programs | Práce na příbuzné téma

276.
Sedlák, Miroslav
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: C++ Unit testing frameworks | Práce na příbuzné téma

277.
Sedláková, Nikola
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Evropská studia / Evropská studia
Obhajoba diplomové práce: Relokace pracovních migrantů ze třetích zemí na území České republiky a vliv EU | Práce na příbuzné téma

278.
Shyshkina, Hanna
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Simulace chování NMR v cloudu | Práce na příbuzné téma

279.
Slezáček, Václav
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství odborných předmětů pro střední školy
Obhajoba diplomové práce: Návrh a ověření modulu vietnamské kuchyně v rámci předmětu technologie pokrmů | Práce na příbuzné téma

280.
Smetanová, Alena
Fakulta: Fakulta sociálních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná a sociální politika a lidské zdroje / Veřejná a sociální politika
Obhajoba diplomové práce: Posouzení efektivity probačního programu pro dospělé osoby | Práce na příbuzné téma

281.
Smutek, Martin
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Sociální politika a sociální práce / Sociální politika a sociální práce
Obhajoba disertační práce: Vnější podmínky a jednání aktérů procesu implementace lokálního sociálního programu | Práce na příbuzné téma

282.
Smýkalová, Iveta
Fakulta: Lékařská fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Intenzivní péče
Obhajoba diplomové práce: Informovanost všeobecných sester o Evidence-Based Practice | Práce na příbuzné téma

283.
Stana, Ivan
Fakulta: Fakulta informatiky
Rok: 2014, 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: Využití knihovny FreeLing pro češtinu | Práce na příbuzné téma

284.
Staněk, Tomáš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Statická analýza a optimalizace jazyka Scheme | Práce na příbuzné téma

285.
Straková, Lucie
Fakulta: Fakulta sociálních studií
Rok: 2021, 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: Zhodnocení cílů a programové teorie vzdělávacího programu kariérního poradentsví | Práce na příbuzné téma

286.
Streck, Adam
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Efektivní identifikace parametrů genových regulačních sítí | Práce na příbuzné téma

287.
Strehovský, Michal
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Statická analýza ukazatelů pro jazyk C | Práce na příbuzné téma

288.
Stuchlík, Mikoláš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Programovatelné technické struktury
Obhajoba bakalářské práce: Idiomatické rozhraní jazyka Swift pro práci s knihovnou GTK+ | Práce na příbuzné téma

289.
Stupka, Pavel
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: Grafický engine na základech OpenGL pro podporu 3D animací | Práce na příbuzné téma

290.
Suchomel, Vít
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Automatické testování nástroje DiVinE | Práce na příbuzné téma

291.
Sukup, Jiří
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: Zavedení modelu EFQM řízení kvality v Policii České republiky a jeho posouzení řadovými pracovníky | Práce na příbuzné téma

292.
Svoboda, Petr
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a právo / Finance a právo
Obhajoba bakalářské práce: Participativní rozpočet - trend u místních rozpočtů? | Práce na příbuzné téma

293.
Szmek, Petr
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Nástroj na úpravu programů v C++

294.
Šamlotová, Michaela
Fakulta: Ekonomicko-správní fakulta
Rok: 2018, 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: Naplňování rámcových strategických dokumentů Evropské unie – případ strategie Evropa 2020 a Lisabonské strategie | Práce na příbuzné téma

295.
Šeděnka, Jaroslav
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: Huffmanovo kódování stavů v DiVinE | Práce na příbuzné téma

296.
Ševčíková, Dana
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Critical thinking in ESL lessons | Práce na příbuzné téma

297.
Šimeček, Pavel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - Prostředí pro distribuovanou verifikaci | Práce na příbuzné téma

298.
Šimek, Miloš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Optimalizovaná implementace korektoru sekvenačních chyb ECHO | Práce na příbuzné téma

299.
Šírová, Lenka
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - německý jazyk
Obhajoba bakalářské práce: Typické výslovnostní chyby českých rodilých mluvčí a metody jejich odstraňování | Práce na příbuzné téma

300.
Šiška, Adam
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Interpretace DVE modelů v Haskellu | Práce na příbuzné téma