Práce na příbuzné téma (mají shodná klíčová slova):
software reliability, synthesis, c++, klee, algorithms, static code analysis, verification, symbioticKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Memory Safety with Predator and Symbiotic | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Memory Safety with Predator and Symbiotic | Práce na příbuzné téma
2.
Novák, Jakub
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: Improvements of Memory Management in KLEE | Práce na příbuzné téma
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: Improvements of Memory Management in KLEE | Práce na příbuzné téma
3.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Improvements of reaching definitions analysis in Symbiotic | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Improvements of reaching definitions analysis in Symbiotic | Práce na příbuzné téma
4.
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
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
5.
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
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
6.
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
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
7.
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
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
8.
Šimáček, Michael
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Symbolic-size Memory Allocation Support for Klee | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Symbolic-size Memory Allocation Support for Klee | Práce na příbuzné téma
9.
Trembecký, Richard
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: Portování nástroje Symbiotic na LLVM 3.8 | Práce na příbuzné téma
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: Portování nástroje Symbiotic na LLVM 3.8 | Práce na příbuzné téma
10.
Abaffy, Michal
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Patrolovací hry na grafech | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Patrolovací hry na grafech | Práce na příbuzné téma
11.
Aksu Tvarůžková, Barbora roz. Tvarůžková
Fakulta: Farmaceutická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Farmacie / Farmacie
Obhajoba diplomové práce: Syntéza látek s potenciálním antimikrobiálním účinkem XXV. | Práce na příbuzné téma
Fakulta: Farmaceutická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Farmacie / Farmacie
Obhajoba diplomové práce: Syntéza látek s potenciálním antimikrobiálním účinkem XXV. | Práce na příbuzné téma
12.
Ayaziová, Paulína
Fakulta: Fakulta informatiky
Rok: 2022, 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: Klee-Based Error Witness Checker | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, 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: Klee-Based Error Witness Checker | Práce na příbuzné téma
13.
Babiak, Michal
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Komplexy platiny s dusíkatými ligandy | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Komplexy platiny s dusíkatými ligandy | Práce na příbuzné téma
14.
Bajerová, Kristýna
Fakulta: Farmaceutická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Farmacie / Farmacie
Obhajoba diplomové práce: Syntéza látek s potenciálním antimikrobiálním účinkem XXII. | Práce na příbuzné téma
Fakulta: Farmaceutická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Farmacie / Farmacie
Obhajoba diplomové práce: Syntéza látek s potenciálním antimikrobiálním účinkem XXII. | Práce na příbuzné téma
15.
Bakalova, Viktoriia
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: Analýza požadavků aplikace na profil JVM | Práce na příbuzné téma
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: Analýza požadavků aplikace na profil JVM | Práce na příbuzné téma
16.
Baliak, Patrik
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Analytická chemie
Obhajoba diplomové práce: Nanočástice v molekulové spektroskopii | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Analytická chemie
Obhajoba diplomové práce: Nanočástice v molekulové spektroskopii | Práce na příbuzné téma
17.
Balík, Daniel
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: 3D rekonstrukce a vizualizace zubních lišt | Práce na příbuzné téma
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: 3D rekonstrukce a vizualizace zubních lišt | Práce na příbuzné téma
18.
Baran, Dušan
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Flow exporter for cloud environment | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Flow exporter for cloud environment | Práce na příbuzné téma
19.
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
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
20.
Bártek, Filip
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Realizace Rabinovy hry na konečných grafech | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Realizace Rabinovy hry na konečných grafech | Práce na příbuzné téma
21.
Bartoňová, Karolina
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Sdružená uměnovědná studia
Obhajoba bakalářské práce: Filozofická inspirace Bohumila Kubišty. Vlivy L.N.Tolstého a Arthura Schopenhauera | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Sdružená uměnovědná studia
Obhajoba bakalářské práce: Filozofická inspirace Bohumila Kubišty. Vlivy L.N.Tolstého a Arthura Schopenhauera | Práce na příbuzné téma
22.
Bartošek, Jan
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Porovnání knihoven pro tvorbu GUI v C/C++ | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Porovnání knihoven pro tvorbu GUI v C/C++ | Práce na příbuzné téma
23.
Baštan, Petr
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Biometric algorithms for iris recognition | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Biometric algorithms for iris recognition | Práce na příbuzné téma
24.
Bateľ, Jakub
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: Catalogue of Anti-Patterns in Java Enterprise Development | Práce na příbuzné téma
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: Catalogue of Anti-Patterns in Java Enterprise Development | Práce na příbuzné téma
25.
Batková, Karolína
Fakulta: Farmaceutická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Farmacie / Farmacie
Obhajoba diplomové práce: Syntéza látek s potenciálním antimikrobiálním účinkem XXI. | Práce na příbuzné téma
Fakulta: Farmaceutická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Farmacie / Farmacie
Obhajoba diplomové práce: Syntéza látek s potenciálním antimikrobiálním účinkem XXI. | Práce na příbuzné téma
26.
Bayer, Jaroslav
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: Nástroj pro automatickou tvorbu elektronické dokumentace pro programy v C++ | Práce na příbuzné téma
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: Nástroj pro automatickou tvorbu elektronické dokumentace pro programy v C++ | Práce na příbuzné téma
27.
Beľa, Martin
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Vulkan displej pre UltraGrid | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Vulkan displej pre UltraGrid | Práce na příbuzné téma
28.
Bém, Petr
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Firmware for RoFICoM | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Firmware for RoFICoM | Práce na příbuzné téma
29.
Benčo, Filip
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Sestavování a vizualizace nábytkových souprav | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Sestavování a vizualizace nábytkových souprav | Práce na příbuzné téma
30.
Blahoudek, František
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: Nástroje pro automatickou analýzu dynamicky alokované paměti | Práce na příbuzné téma
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: Nástroje pro automatickou analýzu dynamicky alokované paměti | Práce na příbuzné téma
31.
Blašková, Veronika
Fakulta: Ekonomicko-správní fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika
Obhajoba diplomové práce: Ověřování projektů auditorem | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika
Obhajoba diplomové práce: Ověřování projektů auditorem | Práce na příbuzné téma
32.
Blatná, Karolína
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biochemie / Biochemie
Obhajoba bakalářské práce: Syntéza a charakterizace bimetalických nanočástic pro studium fosforylovaných biomolekul metodou povrchem zesílené Ramanovy spektrometrie | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biochemie / Biochemie
Obhajoba bakalářské práce: Syntéza a charakterizace bimetalických nanočástic pro studium fosforylovaných biomolekul metodou povrchem zesílené Ramanovy spektrometrie | Práce na příbuzné téma
33.
Boldareva, Daria
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Syntéza nanočástic oxidů kovů s termoelektrickými vlastnostmi | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Syntéza nanočástic oxidů kovů s termoelektrickými vlastnostmi | Práce na příbuzné téma
34.
Bráblík, František
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: Knihovna pro animaci grafu měnícího se v čase | Práce na příbuzné téma
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: Knihovna pro animaci grafu měnícího se v čase | Práce na příbuzné téma
35.
Brázdil, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma
36.
Brázdil, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma
37.
Budáč, Jozef
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: Implementace monitorovacího nástroje | Práce na příbuzné téma
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: Implementace monitorovacího nástroje | Práce na příbuzné téma
38.
Bugárová, Renáta
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství chemie pro základní školy, Pedagogické asistentství přírodopisu pro základní školy
Obhajoba bakalářské práce: Syntéza témat vybraných předmětů na ZŠ ve vztahu k učivu chemie 9. ročníku | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství chemie pro základní školy, Pedagogické asistentství přírodopisu pro základní školy
Obhajoba bakalářské práce: Syntéza témat vybraných předmětů na ZŠ ve vztahu k učivu chemie 9. ročníku | Práce na příbuzné téma
39.
Burda, Daniel
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná fyzika / Nanotechnologie - aplikovaná fyzika
Obhajoba bakalářské práce: Růst grafénu pomocí chemické depozice z plynné fáze za atmosférického tlaku | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná fyzika / Nanotechnologie - aplikovaná fyzika
Obhajoba bakalářské práce: Růst grafénu pomocí chemické depozice z plynné fáze za atmosférického tlaku | Práce na příbuzné téma
40.
Bušová, Jitka
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Studium nehydrolytických metod přípravy sloučenin s vazebným motivem Al-O-B | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Studium nehydrolytických metod přípravy sloučenin s vazebným motivem Al-O-B | Práce na příbuzné téma
41.
Cisko, František
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: 3d interaktivní počítačová hra pro děti předškolního věku | Práce na příbuzné téma
Obhajoba diplomové práce: 3d interaktivní počítačová hra pro děti předškolního věku | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: 3d interaktivní počítačová hra pro děti předškolního věku | Práce na příbuzné téma
Obhajoba diplomové práce: 3d interaktivní počítačová hra pro děti předškolního věku | Práce na příbuzné téma
42.
Čepela, Samuel
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Conflict-free guarding problems in the plane | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Conflict-free guarding problems in the plane | Práce na příbuzné téma
43.
Černová, Lenka
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Syntéza nových karbocyklických nukleosidových analogů | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Syntéza nových karbocyklických nukleosidových analogů | Práce na příbuzné téma
44.
Černová, Lenka
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Organická chemie
Obhajoba diplomové práce: Syntéza nových karbocyklických nukleosidových analogů | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Organická chemie
Obhajoba diplomové práce: Syntéza nových karbocyklických nukleosidových analogů | Práce na příbuzné téma
45.
Dankovčíková, Zuzana
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Custom Roslyn Tool for Static Code Analysis | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Custom Roslyn Tool for Static Code Analysis | Práce na příbuzné téma
46.
Daubner, Lukáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Počítačové systémy, komunikace a bezpečnost
Obhajoba diplomové práce: Assurance of Forensic-Ready Software Systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Počítačové systémy, komunikace a bezpečnost
Obhajoba diplomové práce: Assurance of Forensic-Ready Software Systems | Práce na příbuzné téma
47.
Doležalová, Ivana
Fakulta: Právnická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Postup před zahájením trestního stíhání se zaměřením na policejní orgán | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Postup před zahájením trestního stíhání se zaměřením na policejní orgán | Práce na příbuzné téma
48.
Dosoudil, 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: Automatizovaný nástroj pro databázovou synchronizaci | Práce na příbuzné téma
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: Automatizovaný nástroj pro databázovou synchronizaci | Práce na příbuzné téma
49.
Drajsajtlová, Kateřina
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Světelný klavír v uměleckém díle Alexandera Nikolajeviče Skrjabina a Zdeňka Pešánka | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Světelný klavír v uměleckém díle Alexandera Nikolajeviče Skrjabina a Zdeňka Pešánka | Práce na příbuzné téma
50.
Durčák, Lukáš
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: Implementace ZRTP v C++ | Práce na příbuzné téma
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: Implementace ZRTP v C++ | Práce na příbuzné téma