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

c

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

1.
Nadrchal, Samuel
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Ekonomie, Matematika
Obhajoba bakalářské práce: Numerické výpočty v různých programovacích jazycích | Práce na příbuzné téma Zobrazit popisek

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

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

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

5.
Marek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2022, 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: Euclid's algorithm for large integers | Práce na příbuzné téma

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

7.
Mišík, Marek
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: GPS tracking system using the Sigfox IoT network | Práce na příbuzné téma

8.
Šárník, Jakub
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: Automatická analýza neúplných programů | Práce na příbuzné téma

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

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

11.
Baranová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Compiling Applications for Analysis with DIVINE | Práce na příbuzné téma

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

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

14.
Mihalkovič, Vincent
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: Dekompilační nástroje založené na LLVM | Práce na příbuzné téma

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

16.
Horov, Dávid
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: Analýza běžných chyb studentů programujících v C/C++ | Práce na příbuzné téma

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

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

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

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

21.
Štill, Vladimír
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: LLVM Transformations for Model Checking | Práce na příbuzné téma

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

23.
Kamenický, Tobiáš
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: Nedefinované chování v jazyku C | Práce na příbuzné téma

24.
Koščák, Branislav
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Undefined behaviour in language C | Práce na příbuzné téma

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

26.
Sedlář, Lubomír
Fakulta: Fakulta informatiky
Rok: 2012, 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: Detekce programovacích chyb v C/C++ programech pod OS GNU/Linux | Práce na příbuzné téma

27.
Krajňanský, Michal
Fakulta: Fakulta informatiky
Rok: 2011, 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: Podpora preprocesoru CPP v nástroji Stanse | Práce na příbuzné téma
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse | Práce na příbuzné téma

28.
Stibor, Daniel
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Biometrická registrace otisků prstů | Práce na příbuzné téma

29.
Čebiš, Radim
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Statistická analýza pro hledání chyb v programech | Práce na příbuzné téma

30.
Kalčok, Lukáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Generování úrovní detailů pro 3D modely | Práce na příbuzné téma

31.
Krajňanský, Michal
Fakulta: Fakulta informatiky
Rok: 2011, 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: Podpora preprocesoru CPP v nástroji Stanse | Práce na příbuzné téma
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse | Práce na příbuzné téma

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

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

34.
Ší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

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

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

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