Theses on a related topic (having the same keywords):
formal specification, python, celldesigner, formal methods, systems biology graphical notation, systems biology, biochemical space languageKeywords ordered alphabetically | Keywords ordered by occurrence rate
301.
Tsimbazafy, Jean Dossa
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: App and dashboard for a smart waiting room | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: App and dashboard for a smart waiting room | Theses on a related topic
302.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic
303.
Tuchyňa, Dominik
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Research of Fedora Status for Machine Learning | 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: Research of Fedora Status for Machine Learning | Theses on a related topic
304.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: An Executable Formal Semantics of C++ | 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: An Executable Formal Semantics of C++ | Theses on a related topic
305.
Urban, Jakub
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Perzistence nastavení testovacího prostředí mezi nezávislými běhy testů | Theses on a related topic
Bachelor's thesis defence: Perzistence nastavení testovacího prostředí mezi nezávislými běhy testů | 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: Perzistence nastavení testovacího prostředí mezi nezávislými běhy testů | Theses on a related topic
Bachelor's thesis defence: Perzistence nastavení testovacího prostředí mezi nezávislými běhy testů | Theses on a related topic
306.
Urbánek, Petr
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Simulační prostředí pro robota Pepper | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Simulační prostředí pro robota Pepper | Theses on a related topic
307.
Urbanová, Renata
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Webová aplikace na kontrolu kvality loga | Theses on a related topic
Bachelor's thesis defence: Webová aplikace na kontrolu kvality loga | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Webová aplikace na kontrolu kvality loga | Theses on a related topic
Bachelor's thesis defence: Webová aplikace na kontrolu kvality loga | Theses on a related topic
308.
Urbanovský, Ondřej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Comparative Analysis of Rule-Based Languages | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Comparative Analysis of Rule-Based Languages | Theses on a related topic
309.
Valčík, Eric Vincent
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Detection of Czech Words in Images | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Detection of Czech Words in Images | Theses on a related topic
310.
Válek, Karel
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Public Administration Informatics
Bachelor's thesis defence: Serializace datových struktur konfigurace datových úložišť | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Public Administration Informatics
Bachelor's thesis defence: Serializace datových struktur konfigurace datových úložišť | Theses on a related topic
311.
Válent, Oskár Adam
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Rust library for SBML model manipulation | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Rust library for SBML model manipulation | Theses on a related topic
312.
Valchář, Filip
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém pro návrh a správu projektu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém pro návrh a správu projektu | Theses on a related topic
313.
Vávrová, Pavlína
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systém pro řízení a správu volnočasových aktivit | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systém pro řízení a správu volnočasových aktivit | Theses on a related topic
314.
Vejpustek, Tomáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic
315.
Vereš, Mário
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Webový simulátor Turingova stroje | Theses on a related topic
Bachelor's thesis defence: Webový simulátor Turingova stroje | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Webový simulátor Turingova stroje | Theses on a related topic
Bachelor's thesis defence: Webový simulátor Turingova stroje | Theses on a related topic
316.
Veselý, Štěpán
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: E ink Flipchart | 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: E ink Flipchart | Theses on a related topic
317.
Vittek, Vladimír
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Webscraping tool for automating checkout process | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Webscraping tool for automating checkout process | Theses on a related topic
318.
Vorčák, Ján
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Nástroje pro analýzu kódu v Pythonu a vizualizace jejich výstupu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Nástroje pro analýzu kódu v Pythonu a vizualizace jejich výstupu | Theses on a related topic
319.
Vránová, Sandra maiden name: Dedíková
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Český diskuzní robot pomocí AIML | Theses on a related topic
Master's thesis defence: Český diskuzní robot pomocí AIML | Theses on a related topic
Master's thesis defence: Český diskuzní robot pomocí AIML | 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: Český diskuzní robot pomocí AIML | Theses on a related topic
Master's thesis defence: Český diskuzní robot pomocí AIML | Theses on a related topic
Master's thesis defence: Český diskuzní robot pomocí AIML | Theses on a related topic
320.
Wehrenberg, Petr
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Analysis and Visualization of Events from Cybersecurity Training | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Analysis and Visualization of Events from Cybersecurity Training | Theses on a related topic
321.
Zábojník, Matěj
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Online repository for exploring Boolean networks | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Online repository for exploring Boolean networks | Theses on a related topic
322.
Zapletal, Jiří
Faculty: Faculty of Informatics
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace pro práci s formuláři ve formátu 602XML Form | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace pro práci s formuláři ve formátu 602XML Form | Theses on a related topic
323.
Zbožínková, Šárka
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Tvorba otevřených formálních norem: případová studie | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Tvorba otevřených formálních norem: případová studie | Theses on a related topic
324.
Žáček, Ivo
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Informační systém kulturních akcí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Informační systém kulturních akcí | Theses on a related topic
325.
Žák, Petr
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Trénování deskriptoru podobnosti pro pozadí obrázku | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Trénování deskriptoru podobnosti pro pozadí obrázku | Theses on a related topic
326.
Žilínek, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh a implementácia desktopovej multiplatformnej aplikácie pre import dát z Office Open XML do relačnej databáze | 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: Návrh a implementácia desktopovej multiplatformnej aplikácie pre import dát z Office Open XML do relačnej databáze | Theses on a related topic
327.
Živčic, Jozef
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Webové rozhraní k testování náhodnosti | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Webové rozhraní k testování náhodnosti | Theses on a related topic