Práce na příbuzné téma (mají shodná klíčová slova):
semantic equivalence, diffkemp, python, clang, static analysis, llvm, staticka analyza, semanticka ekvivalenceKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Toman, Michal
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: LLVM IR service for Fedora | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: LLVM IR service for Fedora | Práce na příbuzné téma
2.
Vejnár, Martin
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: C++ support for Stanse | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: C++ support for Stanse | Práce na příbuzné téma
3.
Baranová, Zuzana
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: Static Analyser for BeakerLib Tests | Práce na příbuzné téma
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: Static Analyser for BeakerLib Tests | Práce na příbuzné téma
4.
Brukner, Tomáš
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: A Common Framework for Inquiries about Program Properties | Práce na příbuzné téma
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: A Common Framework for Inquiries about Program Properties | Práce na příbuzné téma
5.
Dupal, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Reduced product of abstract domains | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Reduced product of abstract domains | Práce na příbuzné téma
6.
Formánek, David
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Detekce bezpečnostních chyb pomocí statické analýzy kódu | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Detekce bezpečnostních chyb pomocí statické analýzy kódu | Práce na příbuzné téma
7.
Fujtík, Ondřej
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Zjišťování podobnosti malware | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Zjišťování podobnosti malware | Práce na příbuzné téma
8.
Hančuľák, Radovan
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Security Analysis of an Existing Web Application | 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: Security Analysis of an Existing Web Application | Práce na příbuzné téma
9.
Chalupa, Marek
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Slicing of LLVM Bitcode | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Slicing of LLVM Bitcode | Práce na příbuzné téma
10.
Kiska, Jakub
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: Static analysis of Python code | Práce na příbuzné téma
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: Static analysis of Python code | Práce na příbuzné téma
11.
Mészaroš, Tomáš
Fakulta: Fakulta informatiky
Rok: 2020, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Extracting Parts of Programs into Separate Binaries | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Extracting Parts of Programs into Separate Binaries | Práce na příbuzné téma
12.
Řechtáčková, Anna
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: Improving out-of-bound access checking in Symbiotic | 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: Improving out-of-bound access checking in Symbiotic | Práce na příbuzné téma
13.
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
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
14.
Staněk, Tomáš
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Překladač jazyka Scheme | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Překladač jazyka Scheme | Práce na příbuzné téma
15.
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
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
16.
Šť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
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
17.
Tatýrek, Ondřej
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Kyberbezpečnost / Kyberbezpečnost
Obhajoba bakalářské práce: Security Analysis of Oracle Vulnerabilities in Ethereum Smart Contracts | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Kyberbezpečnost / Kyberbezpečnost
Obhajoba bakalářské práce: Security Analysis of Oracle Vulnerabilities in Ethereum Smart Contracts | Práce na příbuzné téma
18.
Tomovič, Lukáš
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: Slicing of Parallel Programs | 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: Slicing of Parallel Programs | Práce na příbuzné téma
19.
Vitovská, Martina
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Instrumentation of LLVM IR | 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: Instrumentation of LLVM IR | Práce na příbuzné téma
20.
Žáčik, Pavol
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost
Obhajoba diplomové práce: Analyzing semantic stability of cryptography libraries using Diffkemp | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost
Obhajoba diplomové práce: Analyzing semantic stability of cryptography libraries using Diffkemp | Práce na příbuzné téma
21.
Adámik, Samuel
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: Portál otevřených dat obce: Případová studie | Práce na příbuzné téma
Obhajoba diplomové práce: Portál otevřených dat obce: Případová studie | Práce na příbuzné téma
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: Portál otevřených dat obce: Případová studie | Práce na příbuzné téma
Obhajoba diplomové práce: Portál otevřených dat obce: Případová studie | Práce na příbuzné téma
22.
Alfery, Vladimír
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Systém pro automatickou detekci zpožděných letů a dopad na itineráře cestujících | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Systém pro automatickou detekci zpožděných letů a dopad na itineráře cestujících | Práce na příbuzné téma
23.
Ambros, Samuel
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Nasazení a provoz softwarových systémů
Obhajoba diplomové práce: Leveraging Machine Learning for Time Series Predictive Analysis | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Nasazení a provoz softwarových systémů
Obhajoba diplomové práce: Leveraging Machine Learning for Time Series Predictive Analysis | Práce na příbuzné téma
24.
Andoniadis, Kamil
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba diplomové práce: Automatizované nasazení projektu KYPO | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba diplomové práce: Automatizované nasazení projektu KYPO | Práce na příbuzné téma
25.
Antalov, Lukáš
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: Analýza a návrh webového portálu na bezpečné ukládání citlivých informací | 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: Analýza a návrh webového portálu na bezpečné ukládání citlivých informací | Práce na příbuzné téma
26.
Aster, Jaroslav
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: Správce elektronického poštovního systému | 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: Správce elektronického poštovního systému | Práce na příbuzné téma
27.
Aster, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Nástroj pro vytváření a správu paketových filtrů | Práce na příbuzné téma
Obhajoba diplomové práce: Nástroj pro vytváření a správu paketových filtrů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Nástroj pro vytváření a správu paketových filtrů | Práce na příbuzné téma
Obhajoba diplomové práce: Nástroj pro vytváření a správu paketových filtrů | Práce na příbuzné téma
28.
Bajger, Adam
Fakulta: Fakulta informatiky
Rok: 2020, 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: Nový framework pro experimenty strojového učení | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, 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: Nový framework pro experimenty strojového učení | Práce na příbuzné téma
29.
Bajužík, Branislav
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: Nástroj pro převod příkazů pro počítačové hry | Práce na příbuzné téma
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: Nástroj pro převod příkazů pro počítačové hry | Práce na příbuzné téma
30.
Baláž, Šimon
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: Helper scripts for Wikipedia editors | Práce na příbuzné téma
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: Helper scripts for Wikipedia editors | Práce na příbuzné téma
31.
Barnišin, Michal
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: AIML 2.1 Chatbot Design Language Interpreter in Python | 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: AIML 2.1 Chatbot Design Language Interpreter in Python | Práce na příbuzné téma
32.
Bateľ, Jakub
Fakulta: Fakulta informatiky
Rok: 2020, 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: Bezdrátové zařízení pro evidenci docházky | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, 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: Bezdrátové zařízení pro evidenci docházky | Práce na příbuzné téma
33.
Beľa, Martin
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: Chromatin Visualization in Jupyter Notebook and VR | Práce na příbuzné téma
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: Chromatin Visualization in Jupyter Notebook and VR | Práce na příbuzné téma
34.
Bernát, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba bakalářské práce: Automatizace modelování podélných profilů pro kritické body pomocí GIS | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba bakalářské práce: Automatizace modelování podélných profilů pro kritické body pomocí GIS | Práce na příbuzné téma
35.
Bernát, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Návrh databáze a analytických nástrojů pro kritické body v terénu | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Návrh databáze a analytických nástrojů pro kritické body v terénu | Práce na příbuzné téma
36.
Bílek, Samuel
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: VisualUV: Blender add-on for UV Mapping workflow | 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: VisualUV: Blender add-on for UV Mapping workflow | Práce na příbuzné téma
37.
Biloš, 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: Správa inteligentných senzorov v cloudovom prostredí | Práce na příbuzné téma
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: Správa inteligentných senzorov v cloudovom prostredí | Práce na příbuzné téma
38.
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
39.
Bohatá, Tereza roz. Šestáková
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Experimentální biologie / Matematická biologie
Obhajoba diplomové práce: Využití hlubokých neuronových sítí pro predikci schizofrenie | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Experimentální biologie / Matematická biologie
Obhajoba diplomové práce: Využití hlubokých neuronových sítí pro predikci schizofrenie | Práce na příbuzné téma
40.
Bojnák, Štefan
Fakulta: Fakulta informatiky
Rok: 2017, 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: Konvertor formátů dat pro sdílení bezpečnostních událostí | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, 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: Konvertor formátů dat pro sdílení bezpečnostních událostí | Práce na příbuzné téma
41.
Brauner, Šimon
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Ansible Collection for Perun | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Ansible Collection for Perun | Práce na příbuzné téma
42.
Brlej, Šimon
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: Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes | 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: Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes | Práce na příbuzné téma
43.
Brukner, Tomáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Integer abstract domains | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Integer abstract domains | Práce na příbuzné téma
44.
Brynych, Šimon
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: Hromadné zpracování záznamů přednášek | Práce na příbuzné téma
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: Hromadné zpracování záznamů přednášek | Práce na příbuzné téma
45.
Březina, Adam
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Automatizace v praktiku z analytické chemie | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Automatizace v praktiku z analytické chemie | Práce na příbuzné téma
46.
Bucňák, Zdeněk
Fakulta: Fakulta informatiky
Rok: 2013, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Implementace kontrolních mechanismů do prostředí WikiSkript | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Implementace kontrolních mechanismů do prostředí WikiSkript | Práce na příbuzné téma
47.
Burgr, Ladislav
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomie / Ekonomie
Obhajoba bakalářské práce: Vliv počtu uchazečů ve veřejné zakázce na výslednou cenu | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomie / Ekonomie
Obhajoba bakalářské práce: Vliv počtu uchazečů ve veřejné zakázce na výslednou cenu | Práce na příbuzné téma
48.
Bušová, Hana
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství výpočetní techniky pro střední školy
Obhajoba diplomové práce: Výuka programování v jazyce Python pro střední školy | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství výpočetní techniky pro střední školy
Obhajoba diplomové práce: Výuka programování v jazyce Python pro střední školy | Práce na příbuzné téma
49.
Ceľuch, Jozef
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: Analýza nástrojů pro vyhledávání hlášených chyb | Práce na příbuzné téma
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: Analýza nástrojů pro vyhledávání hlášených chyb | Práce na příbuzné téma
50.
Čabala, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2017, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Webové rozhraní pro zpracování experimentu SAXS | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Webové rozhraní pro zpracování experimentu SAXS | Práce na příbuzné téma