Theses on a related topic (having the same keywords):
modal transition systems, specification, verification, refinement, logicKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Disjunctive Modal Transition Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Disjunctive Modal Transition Systems | Theses on a related topic
2.
Budáč, Jozef
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace monitorovacího nástroje | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace monitorovacího nástroje | Theses on a related topic
3.
Křetínský, Jan
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Modální přechodové systémy | Theses on a related topic
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Modální přechodové systémy | Theses on a related topic
4.
Alán, Jan
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Biochemistry / Biomolecular Chemistry
Master's thesis defence: Řešení 3D struktury proteinů na atomární rovni se zaměřením na lektiny a glykosyltransferasy | Theses on a related topic
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Biochemistry / Biomolecular Chemistry
Master's thesis defence: Řešení 3D struktury proteinů na atomární rovni se zaměřením na lektiny a glykosyltransferasy | Theses on a related topic
5.
Báča, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Projekt portálu elektronického sportu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Projekt portálu elektronického sportu | Theses on a related topic
6.
Bachratý, Adam
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Pravdivost informace | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v předlatinkovém období | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v Mezopotámii a starověkém Egyptě | Theses on a related topic
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Pravdivost informace | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v předlatinkovém období | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v Mezopotámii a starověkém Egyptě | Theses on a related topic
7.
Baštan, Petr
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Biometric algorithms for iris recognition | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Biometric algorithms for iris recognition | Theses on a related topic
8.
Bezek, Matúš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: FO interpretations in restricted graph classes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: FO interpretations in restricted graph classes | Theses on a related topic
9.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroje pro automatickou analýzu dynamicky alokované paměti | 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: Nástroje pro automatickou analýzu dynamicky alokované paměti | Theses on a related topic
10.
Blahová, Jaroslava
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Místo logu v Hérakleitově a stoické filosofii | Theses on a related topic
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Místo logu v Hérakleitově a stoické filosofii | Theses on a related topic
11.
Blašková, Veronika
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics
Master's thesis defence: Ověřování projektů auditorem | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics
Master's thesis defence: Ověřování projektů auditorem | Theses on a related topic
12.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
13.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
14.
Daubner, Lukáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Computer systems, communication and security
Master's thesis defence: Assurance of Forensic-Ready Software Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Computer systems, communication and security
Master's thesis defence: Assurance of Forensic-Ready Software Systems | Theses on a related topic
15.
Di Liberti, Ivan
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Mathematics and Statistics / Algebra, Number Theory and Mathematical Logic
Doctoral thesis defence: The Scott adjunction | Theses on a related topic
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Mathematics and Statistics / Algebra, Number Theory and Mathematical Logic
Doctoral thesis defence: The Scott adjunction | Theses on a related topic
16.
Doležalová, Ivana
Faculty: Faculty of Law
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Postup před zahájením trestního stíhání se zaměřením na policejní orgán | Theses on a related topic
Faculty: Faculty of Law
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Postup před zahájením trestního stíhání se zaměřením na policejní orgán | Theses on a related topic
17.
Ďurigová, Karolína
Faculty: Faculty of Education
Year: 2023, studies under way
Programme/field: Mathematics for Education / German Language for Education, Mathematics for Education
Bachelor's thesis defence: Úlohy z matematické logiky v TSP a Scio testech | Theses on a related topic
Faculty: Faculty of Education
Year: 2023, studies under way
Programme/field: Mathematics for Education / German Language for Education, Mathematics for Education
Bachelor's thesis defence: Úlohy z matematické logiky v TSP a Scio testech | Theses on a related topic
18.
Dvořáková, Martina
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Music
Bachelor's thesis defence: Logické a kombinatorické problémy v matematice na ZŠ | Theses on a related topic
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Music
Bachelor's thesis defence: Logické a kombinatorické problémy v matematice na ZŠ | Theses on a related topic
19.
Džmura, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Knihovna pro animace v logice | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Knihovna pro animace v logice | Theses on a related topic
20.
Forejt, Vojtěch
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Verification of Finite-State Stochastic Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Verification of Finite-State Stochastic Systems | Theses on a related topic
21.
Franěk, Jan
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatic documentation generation from SystemVerilog source files | 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: Automatic documentation generation from SystemVerilog source files | Theses on a related topic
22.
Fritzová, Denisa
Faculty: Faculty of Medicine
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Laboratory Assistant
Bachelor's thesis defence: Verifikace nově instalovaných POCT analyzátorů acidobazické rovnováhy na pracovištích intenzivní medicíny | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Laboratory Assistant
Bachelor's thesis defence: Verifikace nově instalovaných POCT analyzátorů acidobazické rovnováhy na pracovištích intenzivní medicíny | Theses on a related topic
23.
Govind, Prashanth Reddy
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Design and detection of Hardware Trojans | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Design and detection of Hardware Trojans | Theses on a related topic
24.
Ha Trinh, Hung Son
Faculty: Faculty of Medicine
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Oko jako biometrický identifikátor | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Oko jako biometrický identifikátor | Theses on a related topic
25.
Havlíček, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Untimed LTL Model Checking of Timed Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Untimed LTL Model Checking of Timed Automata | Theses on a related topic
26.
Hegyiová, Kateřina
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / English Language and Literature, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: The Position of Adverbials in Functional Sentence Perspective. A Comparative Study of English and Czech.
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / English Language and Literature, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: The Position of Adverbials in Functional Sentence Perspective. A Comparative Study of English and Czech.
27.
Hlavačková, Petra
Faculty: Faculty of Law
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Social Security Law
Bachelor's thesis defence: Práva a povinnosti účastníků pracovněprávních vztahů | Theses on a related topic
Faculty: Faculty of Law
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Social Security Law
Bachelor's thesis defence: Práva a povinnosti účastníků pracovněprávních vztahů | Theses on a related topic
28.
Holý, Tomáš
Faculty: Faculty of Sports Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Fungování a možnosti rozvoje KRNAP | 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 (combination/specialization: Coaching)
Bachelor's thesis defence: Fungování a možnosti rozvoje KRNAP | Theses on a related topic
29.
Homolová, Zuzana
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Music / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Hudba 20. století v kontextu matematiky a logiky | Theses on a related topic
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Music / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Hudba 20. století v kontextu matematiky a logiky | Theses on a related topic
30.
Chalupa, Marek
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Theoretical Informatics
Advanced Master's thesis defence: Symbolic Execution for Verification | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Theoretical Informatics
Advanced Master's thesis defence: Symbolic Execution for Verification | Theses on a related topic
31.
Jasenčáková, Soňa
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Pravda v súčasnom intuicionizme a anti-realizme | Theses on a related topic
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Pravda v súčasnom intuicionizme a anti-realizme | Theses on a related topic
32.
Jasná, Michaela
Faculty: Faculty of Law
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / International Commercial Law Studies
Bachelor's thesis defence: Specifikace zboží v režimu Úmluvy OSN o smlouvách o mezinárodní koupi zboží | Theses on a related topic
Faculty: Faculty of Law
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / International Commercial Law Studies
Bachelor's thesis defence: Specifikace zboží v režimu Úmluvy OSN o smlouvách o mezinárodní koupi zboží | Theses on a related topic
33.
Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Memory Safety with Predator and Symbiotic | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Memory Safety with Predator and Symbiotic | Theses on a related topic
34.
Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Theses on a related topic
35.
Jurčo, Štefan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická kontrola rezolučních důkazů | 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: Automatická kontrola rezolučních důkazů | Theses on a related topic
36.
Kadlecaj, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Online Lambda Calculus Evaluator | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Online Lambda Calculus Evaluator | Theses on a related topic
37.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Virtual File System in DIVINE 4 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Virtual File System in DIVINE 4 | Theses on a related topic
38.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Model Checking with System Call Traces | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Model Checking with System Call Traces | Theses on a related topic
39.
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
40.
Klementová, Soňa
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Mathematics / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Matematik muzikantem aneb jak se dva různé obory navzájem ovlivňují | Theses on a related topic
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Mathematics / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Matematik muzikantem aneb jak se dva různé obory navzájem ovlivňují | Theses on a related topic
41.
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
42.
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
43.
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
44.
Krchňák, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxying, recording and replaying syscalls in DiOS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxying, recording and replaying syscalls in DiOS | Theses on a related topic
45.
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
46.
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
47.
Kružíková, Agáta
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Uživatelské rozhraní aplikace pro šifrování disku | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Uživatelské rozhraní aplikace pro šifrování disku | Theses on a related topic
48.
Kutálková, Veronika
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Applied Mathematics for Multi-Branches Study, Economics
Bachelor's thesis defence: Sbírka úloh z diskrétní matematiky | Theses on a related topic
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Applied Mathematics for Multi-Branches Study, Economics
Bachelor's thesis defence: Sbírka úloh z diskrétní matematiky | Theses on a related topic
49.
Kvaššay, Matej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Metrické skeče pro podobnostní vyhledávání | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Metrické skeče pro podobnostní vyhledávání | Theses on a related topic
50.
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