Theses on a related topic (having the same keywords):
1-ohranicene petriho site, verifikace, 1-safe petri nets, verification, binarni rozhodovaci stromy, efektivni kodovani, binary decision diagrams, efficient encodingKeywords ordered alphabetically | Keywords ordered by occurrence rate
51.
Plotěný, Ondřej
Faculty: Faculty of Informatics
Year: 2008, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic
52.
Plotěný, Ondřej
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic
53.
Podhora, Martin
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Forensic profiles of certified cryptographic smartcards | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Forensic profiles of certified cryptographic smartcards | Theses on a related topic
54.
Poláček, Jakub
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Analýza Booleovských Sietí v Nástroji Pithya Pomocou Binárnych Rozhodovacích Diagramov | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Analýza Booleovských Sietí v Nástroji Pithya Pomocou Binárnych Rozhodovacích Diagramov | Theses on a related topic
55.
Polián, Tomáš
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Trestněprávní úprava nebezpečného pronásledování podle § 354 TrZ | Theses on a related topic
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Trestněprávní úprava nebezpečného pronásledování podle § 354 TrZ | Theses on a related topic
56.
Rožnovský, Filip
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Společnost a metodologie přírodních věd u K. R. Poppera | Theses on a related topic
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Společnost a metodologie přírodních věd u K. R. Poppera | Theses on a related topic
57.
Slámečka, Ondřej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Monte Carlo Tree Search in Verification of Markov Decision Processes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Monte Carlo Tree Search in Verification of Markov Decision Processes | Theses on a related topic
58.
Slámová, Dana
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Úloha autoevaluace v mateřské škole | Theses on a related topic
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Úloha autoevaluace v mateřské škole | Theses on a related topic
59.
Slovák, Petr
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | Theses on a related topic
60.
Svoreňová, Mária
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Verifikace hybridních systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Verifikace hybridních systémů | Theses on a related topic
61.
Szymsza, Jakub
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Tuned Sifting in CUDD for Satisfiability Solving | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Tuned Sifting in CUDD for Satisfiability Solving | Theses on a related topic
62.
Šimáček, Michael
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic
63.
Šimeček, David
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Popper a Feyerabend (diskuse o pojetí vědy) | Theses on a related topic
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Popper a Feyerabend (diskuse o pojetí vědy) | Theses on a related topic
64.
Šimeček, David
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Social Studies Basics
Master's thesis defence: Popper a Feyerabend (diskuse o pojetí vědy) | Theses on a related topic
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Social Studies Basics
Master's thesis defence: Popper a Feyerabend (diskuse o pojetí vědy) | Theses on a related topic
65.
Šimša, Jiří
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic
66.
Štrofová, Zuzana
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Sociology / Sociology
Bachelor's thesis defence: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Sociology / Sociology
Bachelor's thesis defence: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Theses on a related topic
67.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Quantitative Formal Methods for High-level Robot Path Planning | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Quantitative Formal Methods for High-level Robot Path Planning | Theses on a related topic
68.
Unčovský, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Theses on a related topic
69.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
70.
Vaššová, Barbora
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Verifikace protokolu AMQP | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Verifikace protokolu AMQP | Theses on a related topic
71.
Wiesner, David
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelizace obrazového simulátoru buněčných populací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelizace obrazového simulátoru buněčných populací | Theses on a related topic