Práce na příbuzné téma

Kejstová, Katarína
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: Virtual File System in DIVINE 4 | Práce na příbuzné téma

Kejstová, Katarína
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: Model Checking with System Call Traces | Práce na příbuzné téma

Klíč, Karel
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: Ukázkové příklady grafických aplikací | Práce na příbuzné téma

Klimeš, Jiří
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Výpočet obsahu a objemu molekulárního povrchu | Práce na příbuzné téma

Kokinda, Patrik
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Fyzika se zaměřením na vzdělávání / Fyzika se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Sekundové kyvadlo | Práce na příbuzné téma

Koller, Alexandr
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: Implementace historických kryptosystémů | Práce na příbuzné téma

Konicar, Robert
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: A Nondeterministic File System Model for DiOS | Práce na příbuzné téma

Konvalinka, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Má člověče nezlob se výherní strategii? | Práce na příbuzné téma

Kôpková, Katrin
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Mediteránní studia
Obhajoba bakalářské práce: Delfská veštiareň a proces veštenia vo svetle antických prameňov | Práce na příbuzné téma

Kramec, Tomáš
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: Java API pro dotazovací rozhraní služby EGEE LB | Práce na příbuzné téma

Krč, Pavel
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Nástroj na úpravu programů v C++

Krchňák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma

Kubík, Marcel
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: Nástroj pro detekci formátu souborů | Práce na příbuzné téma

Kučera, Petr
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Tvorba grafického uživatelského rozhraní v jazyce Java | Práce na příbuzné téma

Kučera, Tadeáš
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematika s informatikou
Obhajoba diplomové práce: API pro monitorování chování programů v kontextu nástroje DIVINE | Práce na příbuzné téma

Kuchyňová, Vendula
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Vizuální informatika / Počítačová grafika a vizualizace
Obhajoba diplomové práce: Detection of Isosurfaces in Volumetric Data | Práce na příbuzné téma

Kuric, 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: Zapojení 3D prohlížeče obrazů do Matlabu | Práce na příbuzné téma

Lakomý, Bedřich
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: Grafický konfigurátor monitorů pro Linux | Práce na příbuzné téma

Lauko, Henrich
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: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma

Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma

Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma

Laurinčík, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Práce na příbuzné téma

Lesičko, Tomáš
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: C++14 - mapping between the standard and a formal semantics | Práce na příbuzné téma

Lipták, Dušan
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Vykreslování molekulárních dat ve vysoké kvalitě | Práce na příbuzné téma

Lomič, Ondřej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Replacing Logstash | Práce na příbuzné téma

Lukáš, Radek
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Specifikace molekulárních motivů pomocí přirozeného jazyka | Práce na příbuzné téma

Martinek, Stanislav
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: Programový systém pro stravovací zařízení | Práce na příbuzné téma

Matouš, Martin
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Metody fyzikálně založeného vykreslování pracující v reálném čase | Práce na příbuzné téma
Obhajoba diplomové práce: Metody fyzikálně založeného vykreslování pracující v reálném čase | Práce na příbuzné téma

Meravý, Ján
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: Letecká simulace v prostředí virtuální reality | Práce na příbuzné téma

Mičan, Pavel
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: Serializace a C++ | Práce na příbuzné téma

Mišenko, Pavol
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Program analysis using interval abstraction and backward refinement | Práce na příbuzné téma

Moser, Miroslav
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Učitelství deskriptivní geometrie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Počítačem podporovaná výuka zobrazovacích metod | Práce na příbuzné téma

Moser, Miroslav
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Matematika / Učitelství deskriptivní geometrie pro střední školy
Obhajoba rigorózní práce: Počítačem podporovaná výuka zobrazovacích metod | Práce na příbuzné téma

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

Navrátil, Michal
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: Parser pro převod scén z POV-Ray do ESG | Práce na příbuzné téma

Němcová, Vendula
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Vizuální informatika / Vývoj počítačových her
Obhajoba diplomové práce: Procedural generation of flower pigmentation patterns | Práce na příbuzné téma

Novák, Jakub
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 softwarových systémů
Obhajoba diplomové práce: Lazy object initialization support in KLEE | Práce na příbuzné téma

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

Pajurek, Jan
Fakulta: Fakulta informatiky
Rok: 2006, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Programový systém pro restaurace

Pajurek, Jan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Generátor zadání rébusů sudoku | Práce na příbuzné téma

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

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

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

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

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

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

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

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

Prokop, Martin
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Aplikace pro správu a plánování cest | Práce na příbuzné téma

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