Theses on a related topic (having the same keywords):
aproximace, z3, smt-lib, bit-vektor, splnitelnost v teoriiKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Sloupová, Kateřina
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aproximace formulí v teorii bit-vektorů | 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: Aproximace formulí v teorii bit-vektorů | Theses on a related topic
2.
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
3.
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
4.
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
5.
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
6.
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
7.
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
8.
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
9.
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
10.
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
11.
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
12.
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
13.
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
14.
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
15.
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
16.
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
17.
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
18.
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
19.
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
20.
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
21.
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
22.
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
23.
Staňová, Petra
Faculty: Faculty of Education
Year: 2024, studies under way
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 under way
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
24.
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