Theses on a related topic (having the same keywords):
divine, dios, record, replay, trace, posix, c, c++, proxy, system call, verification, model checking, file system, operating systemKeywords ordered alphabetically | Keywords ordered by occurrence rate
251.
Pobořil, Marcel
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Katastr nemovitostí | Theses on a related topic
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Katastr nemovitostí | Theses on a related topic
252.
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
253.
Pokorný, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Algoritmy pro výpočet jemných stínů | 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: Algoritmy pro výpočet jemných stínů | Theses on a related topic
254.
Poláčková, Alena
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Arts and Visual Creative Works / Secondary School Teacher Training in Arts and Visual Creative Works
Master's thesis defence: Záznamy, otisky, rastry | Theses on a related topic
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Arts and Visual Creative Works / Secondary School Teacher Training in Arts and Visual Creative Works
Master's thesis defence: Záznamy, otisky, rastry | Theses on a related topic
255.
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
256.
Polišenský, Jan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Software k AD převodníku firmy National instruments | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Software k AD převodníku firmy National instruments | Theses on a related topic
257.
Polišenský, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Hra se světlem v enginu OptiX | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Hra se světlem v enginu OptiX | Theses on a related topic
258.
Procházka, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Síťová implementace hry Tunneler | 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: Síťová implementace hry Tunneler | Theses on a related topic
259.
Procházka, Martin
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Kolaborativní editor 3D scény | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Kolaborativní editor 3D scény | Theses on a related topic
260.
Proislová, Johana
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Visual Arts
Master's thesis defence: Prostě to tak je | Theses on a related topic
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Visual Arts
Master's thesis defence: Prostě to tak je | Theses on a related topic
261.
Pšorn Zákopčanová, Kristína
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: On Chaining Divine and Prism Model Checkers | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: On Chaining Divine and Prism Model Checkers | Theses on a related topic
262.
Pupík, Petr
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in Descriptive Geometry, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Užití grupy tříd ideálů při řešení některých diofantických rovnic | Theses on a related topic
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in Descriptive Geometry, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Užití grupy tříd ideálů při řešení některých diofantických rovnic | Theses on a related topic
263.
Raková, Vladimíra
Faculty: Faculty of Law
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Legal Questions of Land Register
Bachelor's thesis defence: Zápis práv do katastru nemovitostí záznamem na základě listin | Theses on a related topic
Bachelor's thesis defence: Zápis práv do katastru nemovitostí záznamem na základě listin | Theses on a related topic
Faculty: Faculty of Law
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Legal Questions of Land Register
Bachelor's thesis defence: Zápis práv do katastru nemovitostí záznamem na základě listin | Theses on a related topic
Bachelor's thesis defence: Zápis práv do katastru nemovitostí záznamem na základě listin | Theses on a related topic
264.
Rehuš, Patrik
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Networks and Communication
Master's thesis defence: WAN optimization for satellite networking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Networks and Communication
Master's thesis defence: WAN optimization for satellite networking | Theses on a related topic
265.
Režný, Pavel
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Memory managemet in C++ | Theses on a related topic
Bachelor's thesis defence: Memory managemet in C++ | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Memory managemet in C++ | Theses on a related topic
Bachelor's thesis defence: Memory managemet in C++ | Theses on a related topic
266.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Multi-Threaded Nested DFS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Multi-Threaded Nested DFS | Theses on a related topic
267.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Partial Order Reduction in Parallel Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Partial Order Reduction in Parallel Model Checking | Theses on a related topic
268.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Software | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Software | Theses on a related topic
269.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Model Checking Software | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Model Checking Software | Theses on a related topic
270.
Rosecký, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Kešování stavů při procházení stavových prostorů | 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: Kešování stavů při procházení stavových prostorů | Theses on a related topic
271.
Rozum, Peter
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Vizuální reprezentace databázového schématu relační databáze | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Vizuální reprezentace databázového schématu relační databáze | Theses on a related topic
272.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vliv specifikačních automatů na ověřování modelu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vliv specifikačních automatů na ověřování modelu | Theses on a related topic
273.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Refined Büchi automata for faster model checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Refined Büchi automata for faster model checking | Theses on a related topic
274.
Ryšavá, Marta
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Legal Questions of Land Register
Bachelor's thesis defence: Evidování věcných břemen v katastru nemovitostí | Theses on a related topic
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Legal Questions of Land Register
Bachelor's thesis defence: Evidování věcných břemen v katastru nemovitostí | Theses on a related topic
275.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
276.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: On Extensions of Process Rewrite Systems | 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: On Extensions of Process Rewrite Systems | Theses on a related topic
277.
Sedláček, Jindřich
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: May-Happen-in-Parallel Analysis for Slicing of Parallel Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: May-Happen-in-Parallel Analysis for Slicing of Parallel Programs | Theses on a related topic
278.
Sedlák, Miroslav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: C++ Unit testing frameworks | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: C++ Unit testing frameworks | Theses on a related topic
279.
Senko, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems
Master's thesis defence: Formální návrh distribuované hašovací tabulky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems
Master's thesis defence: Formální návrh distribuované hašovací tabulky | Theses on a related topic
280.
Shyshkina, Hanna
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Simulace chování NMR v cloudu | 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: Simulace chování NMR v cloudu | Theses on a related topic
281.
Skotnica, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroje pro monitorování akcí uživatele (keyloggers) | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroje pro monitorování akcí uživatele (keyloggers) | Theses on a related topic
282.
Slabá, Iva
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Srovnání problematiky elektronických identifikačních karet v Itálii a v České republice | Theses on a related topic
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Srovnání problematiky elektronických identifikačních karet v Itálii a v České republice | Theses on a related topic
283.
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
284.
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
285.
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
286.
Stana, Ivan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Využití knihovny FreeLing pro češtinu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Využití knihovny FreeLing pro češtinu | Theses on a related topic
287.
Staňa, Tomáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Runtime Verification of Linear Temporal Specifications with Degradation | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Runtime Verification of Linear Temporal Specifications with Degradation | Theses on a related topic
288.
Stašák, Marek
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Útoky s využitím transparentného web proxy | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Útoky s využitím transparentného web proxy | Theses on a related topic
289.
Stejskalová, Kateřina maiden name: Dvořáková
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Hejno | Theses on a related topic
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Hejno | Theses on a related topic
290.
Stráník, František
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in Natural Science
Bachelor's thesis defence: Zhodnocení volně stažitelných mobilních aplikací pro měření pohybové aktivity a využití ve výuce zeměpisu | Theses on a related topic
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in Natural Science
Bachelor's thesis defence: Zhodnocení volně stažitelných mobilních aplikací pro měření pohybové aktivity a využití ve výuce zeměpisu | Theses on a related topic
291.
Stražovský, Oldřich
Faculty: Faculty of Informatics
Year: 2003, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Efektivní analýza ohraničených Petriho sítí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2003, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Efektivní analýza ohraničených Petriho sítí | Theses on a related topic
292.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic
293.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Efektivní identifikace parametrů genových regulačních sítí | 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: Efektivní identifikace parametrů genových regulačních sítí | Theses on a related topic
294.
Strehovský, Michal
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Statická analýza ukazatelů pro jazyk C | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Statická analýza ukazatelů pro jazyk C | Theses on a related topic
295.
Strejček, Jan
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Expressiveness and Model Checking of Temporal Logics | 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: Expressiveness and Model Checking of Temporal Logics | Theses on a related topic
296.
Stuchlík, Mikoláš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Idiomatické rozhraní jazyka Swift pro práci s knihovnou GTK+ | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Idiomatické rozhraní jazyka Swift pro práci s knihovnou GTK+ | Theses on a related topic
297.
Stupka, Pavel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafický engine na základech OpenGL pro podporu 3D animací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafický engine na základech OpenGL pro podporu 3D animací | Theses on a related topic
298.
Suchomel, Vít
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Automatické testování nástroje DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Automatické testování nástroje DiVinE | Theses on a related topic
299.
Svěchotová, Zdenka maiden name: Janotová
Faculty: Faculty of Law
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Public Policy / Public Administration
Master's thesis defence: Protokol o podání vysvětlení v kontextu správního řízení | Theses on a related topic
Faculty: Faculty of Law
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Public Policy / Public Administration
Master's thesis defence: Protokol o podání vysvětlení v kontextu správního řízení | Theses on a related topic
300.
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