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

divine, implementation, posix, system calls, c++, c, verification, file system, operating system

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

251.
Otrubová, Terezie
Fakulta: Pedagogická fakulta
Rok: 2021, 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: Současné počítačové hry a jejich možnost implementace do výuky coby novodobý prostředek rozvoje žáků | Práce na příbuzné téma Zobrazit popisek

252.
Pál, Karol
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: Sdílená pracovní plocha | Práce na příbuzné téma

253.
Pálenik, Jakub Jozef
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Zpracování obrazu
Obhajoba diplomové práce: Hierarchická segmentace biomedicínských obrazů s využitím matematické morfologie | Práce na příbuzné téma

254.
Páleník, Martin
Fakulta: Fakulta informatiky
Rok: 2016, 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: Operační systém Qubes | Práce na příbuzné téma

255.
Palínková, Zdeňka
Fakulta: Fakulta sociálních studií
Rok: 2014, 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: Rizika implementace systému managementu kvality dle normy ISO 9001 do škol a školských zařízení | Práce na příbuzné téma

256.
Papcunová, Ivana
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: Sprint Hero - Single Contact Point to Help Agile Teams Cope with Organizational Stress | Práce na příbuzné téma

257.
Paulenková, Kristína
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, 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: Analýza implementace programu Bolsa Familia v Brazílii | Práce na příbuzné téma

258.
Pejchalová, Eva
Fakulta: Lékařská fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Intenzivní péče / Intenzivní péče
Obhajoba diplomové práce: Bariéry implementace paliativní péče v intenzivní péči | Práce na příbuzné téma

259.
Pelikán, Vít
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Ekonomické informační systémy
Obhajoba bakalářské práce: Analýza využití ERP systémů na českém trhu | Práce na příbuzné téma

260.
Peterka, Ivo
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: 3D vizualizace meteorologických dat | Práce na příbuzné téma

261.
Petrovič, Samuel
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: The Effects of Age on File System Performance | Práce na příbuzné téma

262.
Petruchová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace komponentových systémů s dynamickou komunikací | Práce na příbuzné téma

263.
Písařová, Andrea
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: Men against Gods: Marlowe's Doctor Faustus | Práce na příbuzné téma

264.
Piskač, Pavel
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: Java API pro službu EGEE LB | Práce na příbuzné téma

265.
Plášil, Roman
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Grafický editor parametrizovaných modelů pro DiVinE | Práce na příbuzné téma

266.
Plášil, Roman
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Vysvětlování protipříkladů v nástroji DiVinE | Práce na příbuzné téma

267.
Plch, Matěj
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství speciální pedagogiky pro základní školy, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Mobilní telefon jako prostředek komunikace zrakově postižených | Práce na příbuzné téma

268.
Plotěný, Ondřej
Fakulta: Fakulta informatiky
Rok: 2008, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vytvoření modelu výtahů se sběrným řízením | Práce na příbuzné téma

269.
Plotěný, Ondřej
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: Vytvoření modelu výtahů se sběrným řízením | Práce na příbuzné téma

270.
Podhajský, Vojtěch
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: Využití Cache-through CDN v Kentico CMS | Práce na příbuzné téma

271.
Podhora, Martin
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: Forensic profiles of certified cryptographic smartcards | Práce na příbuzné téma

272.
Pokorná, Adéla roz. Hospůdková
Fakulta: Pedagogická fakulta
Rok: 2007, 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: Implementace dopravní výchovy ve výuce na 1. stupni základní školy | Práce na příbuzné téma

273.
Pokorný, Ondřej
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Algoritmy pro výpočet jemných stínů | Práce na příbuzné téma

274.
Polián, Tomáš
Fakulta: Právnická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Teorie a praxe přípravného řízení trestního
Obhajoba bakalářské práce: Trestněprávní úprava nebezpečného pronásledování podle § 354 TrZ | Práce na příbuzné téma

275.
Polišenský, Jan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Software k AD převodníku firmy National instruments | Práce na příbuzné téma

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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