Theses on a related topic (having the same keywords):
aproximacia, machine precision, strojova reprezentacia cisel, strojova presnost, chyby zaokruhlovania, cislo podmienenosti, stabilita, computer representation of numbers, condition number, iterative refinement, algoritmus, gaussova eliminacia, approximation, rounding errors, stability, iteracne zlepsenie, algorithm, gaussian eliminationKeywords ordered alphabetically | Keywords ordered by occurrence rate
151.
Kohoutek, Marek
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Kurzy bezpečné jízdy na Polygonu Most pro motocykly | Theses on a related topic
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Kurzy bezpečné jízdy na Polygonu Most pro motocykly | Theses on a related topic
152.
Korfantová, Lívia
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Finance Mathematics
Master's thesis defence: Stabilita obyčejných diferenciálních rovnic | Theses on a related topic
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Finance Mathematics
Master's thesis defence: Stabilita obyčejných diferenciálních rovnic | Theses on a related topic
153.
Kotounová, Monika maiden name: Krutišová
Faculty: Faculty of Economics and Administration
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Aplikace nástrojů Six Sigma v podniku | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Aplikace nástrojů Six Sigma v podniku | Theses on a related topic
154.
Koutová, Terezie
Faculty: Faculty of Sports Studies
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Physical Education / Secondary School Teacher Training in Physical Education
Master's thesis defence: Vliv tréninkového zatížení na udržování statické rovnováhy ve sportovní gymnastice | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Physical Education / Secondary School Teacher Training in Physical Education
Master's thesis defence: Vliv tréninkového zatížení na udržování statické rovnováhy ve sportovní gymnastice | Theses on a related topic
155.
Krčál, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds | 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: Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds | Theses on a related topic
156.
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
157.
Krídl, Adam
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Aktualizace a dotazování na dílčí pole vícerozměrných polí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Aktualizace a dotazování na dílčí pole vícerozměrných polí | Theses on a related topic
158.
Kšenzuliak, Filip
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro převod webových stránek do formátu vhodného pro mobilní zařízení | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro převod webových stránek do formátu vhodného pro mobilní zařízení | Theses on a related topic
159.
Kubíčková, Jana
Faculty: Faculty of Pharmacy
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Příprava a hodnocení samoemulgujích pelet s obsahem thymolu pro veterinární použití | Theses on a related topic
Faculty: Faculty of Pharmacy
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Příprava a hodnocení samoemulgujích pelet s obsahem thymolu pro veterinární použití | Theses on a related topic
160.
Kunka, Antonín
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Biochemistry / Biochemistry
Master's thesis defence: Strukturní podstata stabilizace proteinů | Theses on a related topic
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Biochemistry / Biochemistry
Master's thesis defence: Strukturní podstata stabilizace proteinů | Theses on a related topic
161.
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
162.
Laurenčík, Peter
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Nástroj pro plánování lidských zdrojů pro dohled na plaveckém bazénu | Theses on a related topic
Bachelor's thesis defence: Nástroj pro plánování lidských zdrojů pro dohled na plaveckém bazénu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Nástroj pro plánování lidských zdrojů pro dohled na plaveckém bazénu | Theses on a related topic
Bachelor's thesis defence: Nástroj pro plánování lidských zdrojů pro dohled na plaveckém bazénu | Theses on a related topic
163.
Ligasová, Valéria
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Mathematics - Economics
Master's thesis defence: Aplikace nelineárních diferenčních rovnic | 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: Aplikace nelineárních diferenčních rovnic | Theses on a related topic
164.
Ľubocká, Dorota
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Paralelní značkovací algoritmus pro hledání silně souvislých komponent. | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Paralelní značkovací algoritmus pro hledání silně souvislých komponent. | Theses on a related topic
165.
Machlica, Branislav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Vývoj softwaru pro tvorbu porot pro soutěž IYPT | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Vývoj softwaru pro tvorbu porot pro soutěž IYPT | Theses on a related topic
166.
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
167.
Mátl, Leoš
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / History of Arts
Master's thesis defence: 60. léta počítačového umění–technické aspekty a otázka autorství | Theses on a related topic
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / History of Arts
Master's thesis defence: 60. léta počítačového umění–technické aspekty a otázka autorství | Theses on a related topic
168.
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
169.
Meister, Tomáš
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Geology / Geology
Bachelor's thesis defence: Posouzení stability skalních stěn údolí řeky Želetavky v okrese Třebíč na Vysočině | Theses on a related topic
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Geology / Geology
Bachelor's thesis defence: Posouzení stability skalních stěn údolí řeky Želetavky v okrese Třebíč na Vysočině | Theses on a related topic
170.
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
171.
Moré, Marián
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Sýrska občianska vojna v kontexte mocenskej stability Blízkeho Východu | Theses on a related topic
Master's thesis defence: Sýrska občianska vojna z pohľadu mocenskej stability Blízkeho Východu | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Sýrska občianska vojna v kontexte mocenskej stability Blízkeho Východu | Theses on a related topic
Master's thesis defence: Sýrska občianska vojna z pohľadu mocenskej stability Blízkeho Východu | Theses on a related topic
172.
Naušová, Markéta
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Algoritmy průzkumu plochy pro RoFI platformu | 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: Algoritmy průzkumu plochy pro RoFI platformu | Theses on a related topic
173.
Navrátil, Patrik
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Physics, Lower Secondary School Teacher Training in Technology and IT Education
Bachelor's thesis defence: Jízdní kolo ve výuce fyziky | Theses on a related topic
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Physics, Lower Secondary School Teacher Training in Technology and IT Education
Bachelor's thesis defence: Jízdní kolo ve výuce fyziky | Theses on a related topic
174.
Navrátil, Peter
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Minimální Hamiltonovské cykly v grafech s časovými omezeními | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Minimální Hamiltonovské cykly v grafech s časovými omezeními | Theses on a related topic
175.
Oľha, Jaroslav
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Calculation of dissociation constants using triangulation methods | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Calculation of dissociation constants using triangulation methods | Theses on a related topic
176.
Ondráčková, Tereza
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Struktura a stabilita bankovního sektoru v České republice | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Struktura a stabilita bankovního sektoru v České republice | Theses on a related topic
177.
Orban, Andrej
Faculty: Faculty of Sports Studies
Year: 2024, studies under way
Programme/field: Physiotherapy / Physiotherapy
Bachelor's thesis defence: Dopad fyzioterapie na stabilitu kolene a kotníku u basketbalistů při výskoku a doskoku na podložku | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2024, studies under way
Programme/field: Physiotherapy / Physiotherapy
Bachelor's thesis defence: Dopad fyzioterapie na stabilitu kolene a kotníku u basketbalistů při výskoku a doskoku na podložku | Theses on a related topic
178.
Paleček, Michal
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Určení vnitřní hodnoty akcie podniku umělou neuronovou sítí | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Určení vnitřní hodnoty akcie podniku umělou neuronovou sítí | Theses on a related topic
179.
Pařízková, Světlana
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philology / Russian Language and Literature, Ukrainian Language and Literature
Master's thesis defence: Vyraženije priblizitelnogo količestva v russkom i češskom jazykach | Theses on a related topic
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philology / Russian Language and Literature, Ukrainian Language and Literature
Master's thesis defence: Vyraženije priblizitelnogo količestva v russkom i češskom jazykach | Theses on a related topic
180.
Pavelka, Lukáš
Faculty: Faculty of Sports Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Special Education of Security Sections
Bachelor's thesis defence: Analýza Core tréninku pro brazilské jiu jitsu | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Special Education of Security Sections
Bachelor's thesis defence: Analýza Core tréninku pro brazilské jiu jitsu | Theses on a related topic
181.
Pěnčíková, Veronika
Faculty: Faculty of Sports Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Regeneration and Nutrition in Sport
Bachelor's thesis defence: Hodnocení posturální stability u sportovců s mentálním postižením | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Regeneration and Nutrition in Sport
Bachelor's thesis defence: Hodnocení posturální stability u sportovců s mentálním postižením | Theses on a related topic
182.
Piknerová, Judita
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Music, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Matematika a hudba | Theses on a related topic
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Music, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Matematika a hudba | Theses on a related topic
183.
Pilch, Pavel
Faculty: Faculty of Sports Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Fitness Trainer
Master's thesis defence: Korekce asymetrického zatěžování horních končetin ve stoji na rukou | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Fitness Trainer
Master's thesis defence: Korekce asymetrického zatěžování horních končetin ve stoji na rukou | Theses on a related topic
184.
Plháková, Dagmar
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Logistická diferenční rovnice | Theses on a related topic
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Logistická diferenční rovnice | Theses on a related topic
185.
Procháska, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výuková pomůcka pro předmět Automaty a gramatiky | 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: Výuková pomůcka pro předmět Automaty a gramatiky | Theses on a related topic
186.
Prokopová, Lucie
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Psychology / Gender Studies, Psychology
Bachelor's thesis defence: Tvořivost studentů pedagogiky v souvislosti s jejich osobnostními charakteristikami | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Psychology / Gender Studies, Psychology
Bachelor's thesis defence: Tvořivost studentů pedagogiky v souvislosti s jejich osobnostními charakteristikami | Theses on a related topic
187.
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
188.
Rebenda, Josef
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Ph.D.
Programme/field: Matematics (4-years) / Mathematical Analysis
Doctoral thesis defence: Asymptotické chování řešení reálného dvourozměrného diferenciálního systému s konečným počtem nekonstantních zpoždění | Theses on a related topic
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Ph.D.
Programme/field: Matematics (4-years) / Mathematical Analysis
Doctoral thesis defence: Asymptotické chování řešení reálného dvourozměrného diferenciálního systému s konečným počtem nekonstantních zpoždění | Theses on a related topic
189.
Rišňovský, Matej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementácia umelej inteligencie do hry Catch the Phantom | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementácia umelej inteligencie do hry Catch the Phantom | Theses on a related topic
190.
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
191.
Saloň, Benjamin
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vylepšenie BoolTest-u | 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: Vylepšenie BoolTest-u | Theses on a related topic
192.
Schneider, Samuel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Heuristiky pro pravděpodobnostní plánování s omezeným riskem | Theses on a related topic
Bachelor's thesis defence: Heuristiky pre pravdepodobnostné plánovanie s obmedzeným riskom | 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: Heuristiky pro pravděpodobnostní plánování s omezeným riskem | Theses on a related topic
Bachelor's thesis defence: Heuristiky pre pravdepodobnostné plánovanie s obmedzeným riskom | Theses on a related topic
193.
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
194.
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
195.
Solčáni, Ján
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: Vývoj konceptu autora a jeho súčasná pozícia v prostredí grafického softvéru | Theses on a related topic
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: Vývoj konceptu autora a jeho súčasná pozícia v prostredí grafického softvéru | Theses on a related topic
196.
Soukup, Jaroslav
Faculty: Faculty of Sports Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport
Bachelor's thesis defence: Rozvoj rovnováhových schopností jako předpoklad stability v biatlonu | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport
Bachelor's thesis defence: Rozvoj rovnováhových schopností jako předpoklad stability v biatlonu | Theses on a related topic
197.
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
198.
Straňák, Pavel
Faculty: Faculty of Sports Studies
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Sports Education)
Master's thesis defence: Posouzení stability u vybraných sportovců v biatlonu | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Sports Education)
Master's thesis defence: Posouzení stability u vybraných sportovců v biatlonu | Theses on a related topic
199.
Šabacká, Silvie
Faculty: Faculty of Science
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in Informatics, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Počítače a teorie čísel
Faculty: Faculty of Science
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in Informatics, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Počítače a teorie čísel
200.
Šebesta, Jozef
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Vývoj softwaru pro tvorbu porot pro soutěž IYPT | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Vývoj softwaru pro tvorbu porot pro soutěž IYPT | Theses on a related topic