Theses on a related topic (having the same keywords):
java 8, python, c, llvm, sv-comp, prekladac, jbmc, interna reprezentacia, symbiotic, prototypKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Vitovský, Petr
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Převod LLVM bitkódu do C | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Převod LLVM bitkódu do C | Theses on a related topic
2.
Glozar, Tomáš
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Enhancing DiffKemp to Support Generic Projects | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Enhancing DiffKemp to Support Generic Projects | Theses on a related topic
3.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Symbolic Model Checking via Program Transformations | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Symbolic Model Checking via Program Transformations | Theses on a related topic
4.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Abstractions via Program Transformations | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Abstractions via Program Transformations | Theses on a related topic
5.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Abstraction via Program Transformation | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Abstraction via Program Transformation | Theses on a related topic
6.
Mihalkovič, Vincent
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dekompilační nástroje založené na LLVM | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dekompilační nástroje založené na LLVM | Theses on a related topic
7.
Mrázek, Jan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Caching SMT Queries in SymDivine | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Caching SMT Queries in SymDivine | Theses on a related topic
8.
Nadrchal, Samuel
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Economics, Mathematics
Bachelor's thesis defence: Numerické výpočty v různých programovacích jazycích | Theses on a related topic
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Economics, Mathematics
Bachelor's thesis defence: Numerické výpočty v různých programovacích jazycích | Theses on a related topic
9.
Sedláček, Jindřich
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: May-Happen-in-Parallel Analysis for Slicing of Parallel Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: May-Happen-in-Parallel Analysis for Slicing of Parallel Programs | Theses on a related topic
10.
Šárník, Jakub
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická analýza neúplných programů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická analýza neúplných programů | Theses on a related topic
11.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic
12.
Adámik, Samuel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Portál otevřených dat obce: Případová studie | Theses on a related topic
Master's thesis defence: Portál otevřených dat obce: Případová studie | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Portál otevřených dat obce: Případová studie | Theses on a related topic
Master's thesis defence: Portál otevřených dat obce: Případová studie | Theses on a related topic
13.
Alfery, Vladimír
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Systém pro automatickou detekci zpožděných letů a dopad na itineráře cestujících | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Systém pro automatickou detekci zpožděných letů a dopad na itineráře cestujících | Theses on a related topic
14.
Ambros, Samuel
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Deployment and operations of software systems
Master's thesis defence: Leveraging Machine Learning for Time Series Predictive Analysis | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Deployment and operations of software systems
Master's thesis defence: Leveraging Machine Learning for Time Series Predictive Analysis | Theses on a related topic
15.
Andoniadis, Kamil
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Networks and Communication
Master's thesis defence: Automatizované nasazení projektu KYPO | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Networks and Communication
Master's thesis defence: Automatizované nasazení projektu KYPO | Theses on a related topic
16.
Antalov, Lukáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza a návrh webového portálu na bezpečné ukládání citlivých informací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza a návrh webového portálu na bezpečné ukládání citlivých informací | Theses on a related topic
17.
Aster, Jaroslav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Správce elektronického poštovního systému | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Správce elektronického poštovního systému | Theses on a related topic
18.
Aster, Jaroslav
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroj pro vytváření a správu paketových filtrů | Theses on a related topic
Master's thesis defence: Nástroj pro vytváření a správu paketových filtrů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroj pro vytváření a správu paketových filtrů | Theses on a related topic
Master's thesis defence: Nástroj pro vytváření a správu paketových filtrů | Theses on a related topic
19.
Bajger, Adam
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Nový framework pro experimenty strojového učení | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Nový framework pro experimenty strojového učení | Theses on a related topic
20.
Bajužík, Branislav
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro převod příkazů pro počítačové hry | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro převod příkazů pro počítačové hry | Theses on a related topic
21.
Baláž, Šimon
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Helper scripts for Wikipedia editors | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Helper scripts for Wikipedia editors | Theses on a related topic
22.
Balek, Filip
Faculty: Faculty of Informatics
Year: 2025, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Testovanie systému pre vytváranie a editáciu slovníkov | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2025, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Testovanie systému pre vytváranie a editáciu slovníkov | Theses on a related topic
23.
Baranová, Zuzana
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Static Analyser for BeakerLib Tests | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Static Analyser for BeakerLib Tests | Theses on a related topic
24.
Baranová, Zuzana
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Compiling Applications for Analysis with DIVINE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Compiling Applications for Analysis with DIVINE | Theses on a related topic
25.
Barnišin, Michal
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: AIML 2.1 Chatbot Design Language Interpreter in Python | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: AIML 2.1 Chatbot Design Language Interpreter in Python | Theses on a related topic
26.
Bateľ, Jakub
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Bezdrátové zařízení pro evidenci docházky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Bezdrátové zařízení pro evidenci docházky | Theses on a related topic
27.
Beľa, Martin
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer graphics and visualization
Master's thesis defence: Chromatin Visualization in Jupyter Notebook and VR | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer graphics and visualization
Master's thesis defence: Chromatin Visualization in Jupyter Notebook and VR | Theses on a related topic
28.
Bernát, Tomáš
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Automatizace modelování podélných profilů pro kritické body pomocí GIS | Theses on a related topic
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Automatizace modelování podélných profilů pro kritické body pomocí GIS | Theses on a related topic
29.
Bernát, Tomáš
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Návrh databáze a analytických nástrojů pro kritické body v terénu | Theses on a related topic
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Návrh databáze a analytických nástrojů pro kritické body v terénu | Theses on a related topic
30.
Bílek, Samuel
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: VisualUV: Blender add-on for UV Mapping workflow | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: VisualUV: Blender add-on for UV Mapping workflow | Theses on a related topic
31.
Biloš, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Správa inteligentných senzorov v cloudovom prostredí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Správa inteligentných senzorov v cloudovom prostredí | Theses on a related topic
32.
Bohatá, Tereza maiden name: Šestáková
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Mathematical Biology
Master's thesis defence: Využití hlubokých neuronových sítí pro predikci schizofrenie | Theses on a related topic
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Mathematical Biology
Master's thesis defence: Využití hlubokých neuronových sítí pro predikci schizofrenie | Theses on a related topic
33.
Bojnák, Štefan
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Konvertor formátů dat pro sdílení bezpečnostních událostí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Konvertor formátů dat pro sdílení bezpečnostních událostí | Theses on a related topic
34.
Brauner, Šimon
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Ansible Collection for Perun | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Ansible Collection for Perun | Theses on a related topic
35.
Brlej, Šimon
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes | Theses on a related topic
36.
Brtník, Tomáš
Faculty: Faculty of Informatics
Year: 2025, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Analysis and Extension of the Ruff Linter | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2025, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Analysis and Extension of the Ruff Linter | Theses on a related topic
37.
Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Integer abstract domains | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Integer abstract domains | Theses on a related topic
38.
Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: A Common Framework for Inquiries about Program Properties | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: A Common Framework for Inquiries about Program Properties | Theses on a related topic
39.
Brynych, Šimon
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Hromadné zpracování záznamů přednášek | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Hromadné zpracování záznamů přednášek | Theses on a related topic
40.
Březina, Adam
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Automatizace v praktiku z analytické chemie | Theses on a related topic
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Automatizace v praktiku z analytické chemie | Theses on a related topic
41.
Bucňák, Zdeněk
Faculty: Faculty of Informatics
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Implementace kontrolních mechanismů do prostředí WikiSkript | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Implementace kontrolních mechanismů do prostředí WikiSkript | Theses on a related topic
42.
Burgr, Ladislav
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Economics / Economics
Bachelor's thesis defence: Vliv počtu uchazečů ve veřejné zakázce na výslednou cenu | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Economics / Economics
Bachelor's thesis defence: Vliv počtu uchazečů ve veřejné zakázce na výslednou cenu | Theses on a related topic
43.
Bušová, Hana
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Informatics
Master's thesis defence: Výuka programování v jazyce Python pro střední školy | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Informatics
Master's thesis defence: Výuka programování v jazyce Python pro střední školy | Theses on a related topic
44.
Ceľuch, Jozef
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza nástrojů pro vyhledávání hlášených chyb | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza nástrojů pro vyhledávání hlášených chyb | Theses on a related topic
45.
Cibík, Jozef
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Komponenta pro manipulaci s daty analytického systému CopAS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Komponenta pro manipulaci s daty analytického systému CopAS | Theses on a related topic
46.
Cibula, Róbert
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Cartography, geoinformatics and remote sensing / Cartography, geoinformatics and remote sensing
Doctoral thesis defence: Vývoj informačného systému na vizualizáciu 3D modelov a vývoj prototypu na meranie 3D objektov | Theses on a related topic
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Cartography, geoinformatics and remote sensing / Cartography, geoinformatics and remote sensing
Doctoral thesis defence: Vývoj informačného systému na vizualizáciu 3D modelov a vývoj prototypu na meranie 3D objektov | Theses on a related topic
47.
Čabala, Jaroslav
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webové rozhraní pro zpracování experimentu SAXS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webové rozhraní pro zpracování experimentu SAXS | Theses on a related topic
48.
Čebiš, Radim
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Statistická analýza pro hledání chyb v programech | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Statistická analýza pro hledání chyb v programech | Theses on a related topic
49.
Čermák, Andrej
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Lightweight portal for MetaCentrum Cloud | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Lightweight portal for MetaCentrum Cloud | Theses on a related topic
50.
Černianska, Rebeka
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Informatics for secondary school teachers / Teacher of Informatics and IT administrator
Master's thesis defence: Výuka programovania na strednej škole so zameraním na rozvoj algoritmického myslenia | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Informatics for secondary school teachers / Teacher of Informatics and IT administrator
Master's thesis defence: Výuka programovania na strednej škole so zameraním na rozvoj algoritmického myslenia | Theses on a related topic