Práce na příbuzné téma (mají shodná klíčová slova):
aproximace, z3, smt-lib, bit-vektor, splnitelnost v teoriiKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Sloupová, Kateřina
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Aproximace formulí v teorii bit-vektorů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Aproximace formulí v teorii bit-vektorů | Práce na příbuzné téma
2.
Bartuňková, Michaela
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná matematika / Matematika - ekonomie
Obhajoba diplomové práce: Vybrané matematické nástroje k analýze ekonometrických modelů | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná matematika / Matematika - ekonomie
Obhajoba diplomové práce: Vybrané matematické nástroje k analýze ekonometrických modelů | Práce na příbuzné téma
3.
Binarová, Veronika
Fakulta: Právnická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Daň z přidané hodnoty v Evropské unii a v České republice | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Daň z přidané hodnoty v Evropské unii a v České republice | Práce na příbuzné téma
4.
Cecha, Martin
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Nízkoúrovňové numerické výpočty | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Nízkoúrovňové numerické výpočty | Práce na příbuzné téma
5.
Daehnová, Aneta
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Aproximace pomocí racionálních funkcí | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Aproximace pomocí racionálních funkcí | Práce na příbuzné téma
6.
di Lenardo, Anna
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Polynomy a jejich aplikace | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Polynomy a jejich aplikace | Práce na příbuzné téma
7.
Gažová, Natália
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Aproximace trigonometrickými polynomy | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Aproximace trigonometrickými polynomy | Práce na příbuzné téma
8.
Heriban, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Numerické výpočty v SAGE | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Numerické výpočty v SAGE | Práce na příbuzné téma
9.
Kosina, Petr
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Předzpracování časových řad | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Předzpracování časových řad | Práce na příbuzné téma
10.
Kresta, Luboš
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Aproximativní přístupy k problému největší kliky grafu
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Aproximativní přístupy k problému největší kliky grafu
11.
Lauko, Marek
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium neúspěšně ukončeno
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Kvadraturní formule | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium neúspěšně ukončeno
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Kvadraturní formule | Práce na příbuzné téma
12.
Macháček, Tomáš
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Extending Model-Based Projection with Invertibility Conditions | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Extending Model-Based Projection with Invertibility Conditions | Práce na příbuzné téma
13.
Maksović, Sofija
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Model-Based Analysis of Forensic-Ready Software Systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Model-Based Analysis of Forensic-Ready Software Systems | Práce na příbuzné téma
14.
Matějková, Eva
Fakulta: Právnická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Harmonizace vs. unifikace práva - skutečnost a perspektiva | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Harmonizace vs. unifikace práva - skutečnost a perspektiva | Práce na příbuzné téma
15.
Mega, Lucie Alexandra
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Modelování a výpočty
Obhajoba bakalářské práce: Speciální kvadraturní formule | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Modelování a výpočty
Obhajoba bakalářské práce: Speciální kvadraturní formule | Práce na příbuzné téma
16.
Milata, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Verifikace konečných systémů pomocí SMT-solveru | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Verifikace konečných systémů pomocí SMT-solveru | Práce na příbuzné téma
17.
Mlčochová, Tereza
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Srovnání konvenčního dluhopisu a sukuk | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Srovnání konvenčního dluhopisu a sukuk | Práce na příbuzné téma
18.
Nedbalcová, Lucie
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Antropologie / Antropologie
Obhajoba bakalářské práce: Vztah tvaru a velikosti zevního nosu k podkladovému skeletu | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Antropologie / Antropologie
Obhajoba bakalářské práce: Vztah tvaru a velikosti zevního nosu k podkladovému skeletu | Práce na příbuzné téma
19.
Němec, Pavel
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Zjemnění Delaunayovy triangulace molekulárních struktur | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Zjemnění Delaunayovy triangulace molekulárních struktur | Práce na příbuzné téma
20.
Oľha, Jaroslav
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biochemie / Chemoinformatika a bioinformatika
Obhajoba bakalářské práce: Nábojové deskriptory a jejich využití pro výpočet pKa | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biochemie / Chemoinformatika a bioinformatika
Obhajoba bakalářské práce: Nábojové deskriptory a jejich využití pro výpočet pKa | Práce na příbuzné téma
21.
Rašková, Tereza
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Evropské vlivy na sporný civilní proces v ČR | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Evropské vlivy na sporný civilní proces v ČR | Práce na příbuzné téma
22.
Rišová, Barbora
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Spektrální analýza a její aplikace | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Spektrální analýza a její aplikace | Práce na příbuzné téma
23.
Slunský, Petr
Fakulta: Právnická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Teoretické právní vědy / Teorie práva
Obhajoba disertační práce: Obecná a teoretická hlediska tvorby soudního rozhodnutí | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Teoretické právní vědy / Teorie práva
Obhajoba disertační práce: Obecná a teoretická hlediska tvorby soudního rozhodnutí | Práce na příbuzné téma
24.
Smejkalová, Anna roz. Čapková
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Numerické integrování funkcí dvou proměnných | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Numerické integrování funkcí dvou proměnných | Práce na příbuzné téma
25.
Staňová, Petra
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika se zaměřením na vzdělávání / Hudební výchova se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Některé metody aproximace funkcí | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika se zaměřením na vzdělávání / Hudební výchova se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Některé metody aproximace funkcí | Práce na příbuzné téma
26.
Weiss, Klára roz. Pražáková
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Nepolynomiální interpolace | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Nepolynomiální interpolace | Práce na příbuzné téma