Theses on a related topic (having the same keywords):
software reliability, synthesis, c++, klee, algorithms, static code analysis, verification, symbioticKeywords ordered alphabetically | Keywords ordered by occurrence rate
101.
Kabláš, Kristián
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Serializace a C++ | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Serializace a C++ | Theses on a related topic
102.
Kadaši, Jakub
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Verifikace paralelní hashovací tabulky z knihovny Folly | 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: Verifikace paralelní hashovací tabulky z knihovny Folly | Theses on a related topic
103.
Kadlecová, Veronika
Faculty: Faculty of Pharmacy
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza a studium amidů kyseliny skořicové III | Theses on a related topic
Faculty: Faculty of Pharmacy
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza a studium amidů kyseliny skořicové III | Theses on a related topic
104.
Kakaš, Richard
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Automatizovaná paralelizace zpracování vstupních dat na základě kauzality | 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: Automatizovaná paralelizace zpracování vstupních dat na základě kauzality | Theses on a related topic
105.
Kalčok, Lukáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Generování úrovní detailů pro 3D modely | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Generování úrovní detailů pro 3D modely | Theses on a related topic
106.
Kantek, Petr
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: AI-driven Software Development Source Code Quality | 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: AI-driven Software Development Source Code Quality | Theses on a related topic
107.
Kaya, Dávid
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Linux client for YSoft SafeQ | 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: Linux client for YSoft SafeQ | Theses on a related topic
108.
Kebo, Petr
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Marketingový výzkum trhu | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Marketingový výzkum trhu | Theses on a related topic
109.
Kelnar, David
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Special Education, Lower Secondary School Teacher Training in Technical Education
Master's thesis defence: Informovanost pedagogických pracovníků základních škol o problematice poruch příjmu potravy | Theses on a related topic
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Special Education, Lower Secondary School Teacher Training in Technical Education
Master's thesis defence: Informovanost pedagogických pracovníků základních škol o problematice poruch příjmu potravy | Theses on a related topic
110.
Klíč, Karel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Ukázkové příklady grafických aplikací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Ukázkové příklady grafických aplikací | Theses on a related topic
111.
Klimeš, Jiří
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Výpočet obsahu a objemu molekulárního povrchu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Výpočet obsahu a objemu molekulárního povrchu | Theses on a related topic
112.
Kloudová, Petra
Faculty: Faculty of Pharmacy
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza potenciálních inhibitorů acetylcholinesterázy 10 | Theses on a related topic
Faculty: Faculty of Pharmacy
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza potenciálních inhibitorů acetylcholinesterázy 10 | Theses on a related topic
113.
Kociánová, Hana
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Ověření metody Behavioral Systems Questionnaire pro českou populaci | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Ověření metody Behavioral Systems Questionnaire pro českou populaci | Theses on a related topic
114.
Kokinda, Patrik
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Physics for Education / Mathematics for Education, Physics for Education
Bachelor's thesis defence: Sekundové kyvadlo | Theses on a related topic
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Physics for Education / Mathematics for Education, Physics for Education
Bachelor's thesis defence: Sekundové kyvadlo | Theses on a related topic
115.
Koller, Alexandr
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace historických kryptosystémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace historických kryptosystémů | Theses on a related topic
116.
Konvalinka, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Má člověče nezlob se výherní strategii? | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Má člověče nezlob se výherní strategii? | Theses on a related topic
117.
Kováč, Vladimír
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
118.
Kováčiková, Eva
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Organic Chemistry
Master's thesis defence: Syntéza nových karbocyklických nukleosidových analogů | Theses on a related topic
Master's thesis defence: Syntéza nových karbocyklických nukleosidových analogů | Theses on a related topic
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Organic Chemistry
Master's thesis defence: Syntéza nových karbocyklických nukleosidových analogů | Theses on a related topic
Master's thesis defence: Syntéza nových karbocyklických nukleosidových analogů | Theses on a related topic
119.
Kovalíková, Lenka
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Bioanalytical Laboratory Diagnostics in Medicine - Bioanalytic / Bioanalytical Laboratory Diagnostics in Medicine - Bioanalyst
Master's thesis defence: Exprese proteinu Schlafen 11 u karcinomu ovaria | Theses on a related topic
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Bioanalytical Laboratory Diagnostics in Medicine - Bioanalytic / Bioanalytical Laboratory Diagnostics in Medicine - Bioanalyst
Master's thesis defence: Exprese proteinu Schlafen 11 u karcinomu ovaria | Theses on a related topic
120.
Krajčovičová, Soňa
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Biochemistry
Bachelor's thesis defence: Syntéza nových nukleosidových analogů | Theses on a related topic
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Biochemistry
Bachelor's thesis defence: Syntéza nových nukleosidových analogů | Theses on a related topic
121.
Krajčovičová, Soňa
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Organic Chemistry
Master's thesis defence: Syntéza nových karbocyklických nukleosidových analogů | Theses on a related topic
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Organic Chemistry
Master's thesis defence: Syntéza nových karbocyklických nukleosidových analogů | Theses on a related topic
122.
Kramec, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Java API pro dotazovací rozhraní služby EGEE LB | 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: Java API pro dotazovací rozhraní služby EGEE LB | Theses on a related topic
123.
Krč, Pavel
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Nástroj na úpravu programů v C++
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Nástroj na úpravu programů v C++
124.
Kriho, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Post-mortem analýza stavového prostoru | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Post-mortem analýza stavového prostoru | Theses on a related topic
125.
Kriho, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Enhanced parser for DVE modelling language | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Enhanced parser for DVE modelling language | Theses on a related topic
126.
Krumlová, Tereza
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Vložení velkých booleovských funkcí pro reverzibilní logiky | Theses on a related topic
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Vložení velkých booleovských funkcí pro reverzibilní logiky | Theses on a related topic
127.
Křepela, Pavel
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Aesthetics and Culture Studies
Master's thesis defence: Františka Bílka teorie umělecké tvorby | Theses on a related topic
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Aesthetics and Culture Studies
Master's thesis defence: Františka Bílka teorie umělecké tvorby | Theses on a related topic
128.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modal Transition Systems: Extensions and Analysis | 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: Modal Transition Systems: Extensions and Analysis | Theses on a related topic
129.
Kubík, Marcel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro detekci formátu souborů | 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ástroj pro detekci formátu souborů | Theses on a related topic
130.
Kučera, Tadeáš
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematics with Informatics
Master's thesis defence: API pro monitorování chování programů v kontextu nástroje DIVINE | Theses on a related topic
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematics with Informatics
Master's thesis defence: API pro monitorování chování programů v kontextu nástroje DIVINE | Theses on a related topic
131.
Kuhejda, Ondřej
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Source Code Quality Impact on Pull Requests Acceptance | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Source Code Quality Impact on Pull Requests Acceptance | Theses on a related topic
132.
Kuchyňová, Vendula
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer graphics and visualisation
Master's thesis defence: Detection of Isosurfaces in Volumetric Data | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer graphics and visualisation
Master's thesis defence: Detection of Isosurfaces in Volumetric Data | Theses on a related topic
133.
Kuric, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Zapojení 3D prohlížeče obrazů do Matlabu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Zapojení 3D prohlížeče obrazů do Matlabu | Theses on a related topic
134.
Laga, Stanislav
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Anticipace principů moderního umění v díle Friedricha Nietzscheho | Theses on a related topic
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Anticipace principů moderního umění v díle Friedricha Nietzscheho | Theses on a related topic
135.
Lakomý, Bedřich
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafický konfigurátor monitorů pro Linux | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafický konfigurátor monitorů pro Linux | Theses on a related topic
136.
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
137.
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
138.
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
139.
Laurinčík, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Theses on a related topic
140.
Lavičková, Juliana
Faculty: Faculty of Pharmacy
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza a studium amidů kyseliny skořicové I | Theses on a related topic
Faculty: Faculty of Pharmacy
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza a studium amidů kyseliny skořicové I | Theses on a related topic
141.
Lesičko, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: C++14 - mapping between the standard and a formal semantics | 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: C++14 - mapping between the standard and a formal semantics | Theses on a related topic
142.
Liberová, Iva
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro migraci programů v Delphi do jazyka C++ | 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: Nástroj pro migraci programů v Delphi do jazyka C++ | Theses on a related topic
143.
Lipták, Dušan
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Vykreslování molekulárních dat ve vysoké kvalitě | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Vykreslování molekulárních dat ve vysoké kvalitě | Theses on a related topic
144.
Lomič, Ondřej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Replacing Logstash | 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: Replacing Logstash | Theses on a related topic
145.
Macurová, Miriam
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Environmental Humanities / Environmental Studies, International Relations
Bachelor's thesis defence: Vplyv znalostí na proenvironmentálne správanie jednotlivcov - syntéza doterajších poznatkov | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Environmental Humanities / Environmental Studies, International Relations
Bachelor's thesis defence: Vplyv znalostí na proenvironmentálne správanie jednotlivcov - syntéza doterajších poznatkov | Theses on a related topic
146.
Makara, Martin
Faculty: Faculty of Pharmacy
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza látek s potenciálním antimikrobiálním účinkem XXVII. | Theses on a related topic
Faculty: Faculty of Pharmacy
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza látek s potenciálním antimikrobiálním účinkem XXVII. | Theses on a related topic
147.
Maksović, Sofija
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Model-Based Analysis of Forensic-Ready Software Systems | 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: Model-Based Analysis of Forensic-Ready Software Systems | Theses on a related topic
148.
Matějka, Petr
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Algoritmy pro generování a řešení bludišť | Theses on a related topic
Master's thesis defence: Algoritmy pro generování a řešení bludišť | 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: Algoritmy pro generování a řešení bludišť | Theses on a related topic
Master's thesis defence: Algoritmy pro generování a řešení bludišť | Theses on a related topic
149.
Matouš, Martin
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Metody fyzikálně založeného vykreslování pracující v reálném čase | Theses on a related topic
Master's thesis defence: Metody fyzikálně založeného vykreslování pracující v reálném čase | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Metody fyzikálně založeného vykreslování pracující v reálném čase | Theses on a related topic
Master's thesis defence: Metody fyzikálně založeného vykreslování pracující v reálném čase | Theses on a related topic
150.
Matuška, Jindřich
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Verification of binarised neural networks using ASP | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Verification of binarised neural networks using ASP | Theses on a related topic