Theses on a related topic (having the same keywords):
bit-vektory, aproximace, z3, smt-lib, smt, splnitelnost v teoriiKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Lauko, Dominika maiden name: Krejčí
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vliv aproximací bit-vektorů na výkon nástroje Z3 | 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: Vliv aproximací bit-vektorů na výkon nástroje Z3 | Theses on a related topic
2.
Krumlová, Olga
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Rekonstrukce modelů zjednodušovaných formulí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Rekonstrukce modelů zjednodušovaných formulí | Theses on a related topic
3.
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
4.
Milata, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Verifikace konečných systémů pomocí SMT-solveru | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Verifikace konečných systémů pomocí SMT-solveru | Theses on a related topic
5.
Bartuňková, Michaela
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Mathematics - Economics
Master's thesis defence: Vybrané matematické nástroje k analýze ekonometrických modelů | Theses on a related topic
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Mathematics - Economics
Master's thesis defence: Vybrané matematické nástroje k analýze ekonometrických modelů | Theses on a related topic
6.
Binarová, Veronika
Faculty: Faculty of Law
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Daň z přidané hodnoty v Evropské unii a v České republice | Theses on a related topic
Faculty: Faculty of Law
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Daň z přidané hodnoty v Evropské unii a v České republice | Theses on a related topic
7.
Bukor, Oliver
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Fast Approximations of Quantifier Elimination for Q3B | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Fast Approximations of Quantifier Elimination for Q3B | Theses on a related topic
8.
Cecha, Martin
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Nízkoúrovňové numerické výpočty | Theses on a related topic
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Nízkoúrovňové numerické výpočty | Theses on a related topic
9.
Daehnová, Aneta
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Aproximace pomocí racionálních funkcí | Theses on a related topic
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Aproximace pomocí racionálních funkcí | Theses on a related topic
10.
di Lenardo, Anna
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Polynomy a jejich aplikace | Theses on a related topic
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Polynomy a jejich aplikace | Theses on a related topic
11.
Gažová, Natália
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Aproximace trigonometrickými polynomy | Theses on a related topic
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Aproximace trigonometrickými polynomy | Theses on a related topic
12.
Heriban, Tomáš
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Numerické výpočty v SAGE | Theses on a related topic
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Numerické výpočty v SAGE | Theses on a related topic
13.
Kosina, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Předzpracování časových řad | 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: Předzpracování časových řad | Theses on a related topic
14.
Kresta, Luboš
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Aproximativní přístupy k problému největší kliky grafu
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Aproximativní přístupy k problému největší kliky grafu
15.
Lauko, Marek
Faculty: Faculty of Science
Year: 2016, studies terminated for failure to fulfill study requirements
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Kvadraturní formule | Theses on a related topic
Faculty: Faculty of Science
Year: 2016, studies terminated for failure to fulfill study requirements
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Kvadraturní formule | Theses on a related topic
16.
Macháček, Tomáš
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Extending Model-Based Projection with Invertibility Conditions | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Extending Model-Based Projection with Invertibility Conditions | Theses on a related topic
17.
Matějková, Eva
Faculty: Faculty of Law
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Harmonizace vs. unifikace práva - skutečnost a perspektiva | Theses on a related topic
Faculty: Faculty of Law
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Harmonizace vs. unifikace práva - skutečnost a perspektiva | Theses on a related topic
18.
Mega, Lucie Alexandra
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Modelling and computations
Bachelor's thesis defence: Speciální kvadraturní formule | Theses on a related topic
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Modelling and computations
Bachelor's thesis defence: Speciální kvadraturní formule | Theses on a related topic
19.
Mlčochová, Tereza
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Srovnání konvenčního dluhopisu a sukuk | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Srovnání konvenčního dluhopisu a sukuk | Theses on a related topic
20.
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
21.
Nedbalcová, Lucie
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Anthropology / Anthropology
Bachelor's thesis defence: Vztah tvaru a velikosti zevního nosu k podkladovému skeletu | Theses on a related topic
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Anthropology / Anthropology
Bachelor's thesis defence: Vztah tvaru a velikosti zevního nosu k podkladovému skeletu | Theses on a related topic
22.
Němec, Pavel
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Zjemnění Delaunayovy triangulace molekulárních struktur | 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: Zjemnění Delaunayovy triangulace molekulárních struktur | Theses on a related topic
23.
Oľha, Jaroslav
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Chemoinformatics and Bioinformatics
Bachelor's thesis defence: Nábojové deskriptory a jejich využití pro výpočet pKa | Theses on a related topic
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Chemoinformatics and Bioinformatics
Bachelor's thesis defence: Nábojové deskriptory a jejich využití pro výpočet pKa | Theses on a related topic
24.
Rašková, Tereza
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Evropské vlivy na sporný civilní proces v ČR | Theses on a related topic
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Evropské vlivy na sporný civilní proces v ČR | Theses on a related topic
25.
Rišová, Barbora
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Statistics and Data Analysis
Bachelor's thesis defence: Spektrální analýza a její aplikace | Theses on a related topic
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Statistics and Data Analysis
Bachelor's thesis defence: Spektrální analýza a její aplikace | Theses on a related topic
26.
Schwarzová, Tereza
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Efficient Abstraction Refinement for BDD-based SMT Solvers | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Efficient Abstraction Refinement for BDD-based SMT Solvers | Theses on a related topic
27.
Slunský, Petr
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Theoretical Legal Sciences / Theory of Law
Doctoral thesis defence: Obecná a teoretická hlediska tvorby soudního rozhodnutí | Theses on a related topic
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Theoretical Legal Sciences / Theory of Law
Doctoral thesis defence: Obecná a teoretická hlediska tvorby soudního rozhodnutí | Theses on a related topic
28.
Smejkalová, Anna maiden name: Čapková
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Numerické integrování funkcí dvou proměnných | Theses on a related topic
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Numerické integrování funkcí dvou proměnných | Theses on a related topic
29.
Staňová, Petra
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics for Education / Mathematics for Education, Music for Education
Bachelor's thesis defence: Některé metody aproximace funkcí | Theses on a related topic
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics for Education / Mathematics for Education, Music for Education
Bachelor's thesis defence: Některé metody aproximace funkcí | Theses on a related topic
30.
Weiss, Klára maiden name: Pražáková
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Nepolynomiální interpolace | Theses on a related topic
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Nepolynomiální interpolace | Theses on a related topic