Theses on a related topic (having the same keywords):
symbolicka exekucia, paralelizacia, programovacy jazyk, staticka analyza kodu, message-driven programming, event-driven programming, parallel, parallelization, compiler, antlr, programming language, static code analysis, symbolic execution, kompilacia, compilation, interpreter, programovacia paradigma, nodejs, programming paradigmKeywords ordered alphabetically | Keywords ordered by occurrence rate
101.
Š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
102.
Toman, Michal
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: LLVM IR service for Fedora | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: LLVM IR service for Fedora | Theses on a related topic
103.
Toman, Viktor
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Paralelní volání SMT solverů v nástroji Bugst | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Paralelní volání SMT solverů v nástroji Bugst | Theses on a related topic
104.
Tomola, Martin
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: API pro tvorbu otázek a testů
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: API pro tvorbu otázek a testů
105.
Tóth, Michal
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroj pro přepis logovacích příkazů jazyka Java | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroj pro přepis logovacích příkazů jazyka Java | Theses on a related topic
106.
Trembecký, Richard
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Portování nástroje Symbiotic na LLVM 3.8 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Portování nástroje Symbiotic na LLVM 3.8 | Theses on a related topic
107.
Troubil, Pavel
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Implementace a paralelizace metod studia molekulové flexibility | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Implementace a paralelizace metod studia molekulové flexibility | Theses on a related topic
108.
Trtík, Marek
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Symbolic Execution and Program Loops | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Symbolic Execution and Program Loops | Theses on a related topic
109.
Uhlík, Vladimír
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Compiling C to Cthulhu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Compiling C to Cthulhu | Theses on a related topic
110.
Urban, Jan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Interfacing C++ libraries to Matlab | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Interfacing C++ libraries to Matlab | Theses on a related topic
111.
Vaněk, Libor
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Paralelní souborové systémy pro Linux | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Paralelní souborové systémy pro Linux | Theses on a related topic
112.
Vinická, Kateřina
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Translation of Modern European Languages / Translation of German
Master's thesis defence: Psychohygienische Aspekte der translatorischen Arbeit | Theses on a related topic
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Translation of Modern European Languages / Translation of German
Master's thesis defence: Psychohygienische Aspekte der translatorischen Arbeit | Theses on a related topic
113.
Višňovský, Matej
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Business Informatics
Bachelor's thesis defence: Optimalizace podnikových procesů pomocí vybraných softwarových nástrojů | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Business Informatics
Bachelor's thesis defence: Optimalizace podnikových procesů pomocí vybraných softwarových nástrojů | Theses on a related topic
114.
Wágner, Rastislav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšíření vývojového prostředí NetBeans o podporu pro projekty Complex Event Processing | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšíření vývojového prostředí NetBeans o podporu pro projekty Complex Event Processing | Theses on a related topic
115.
Wiesner, David
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelizace obrazového simulátoru buněčných populací | 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: Paralelizace obrazového simulátoru buněčných populací | Theses on a related topic
116.
Zibner, Jan
Faculty: Faculty of Law
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Jedinečnost jako pojmový znak autorského díla | Theses on a related topic
Faculty: Faculty of Law
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Jedinečnost jako pojmový znak autorského díla | Theses on a related topic