Theses on a related topic (having the same keywords):
automatic correction of resolution proof, rezolucia, rezolucne dokazy, resolution, resolution proof, logika, automaticka kontrola rezolucnych dokazov, xml, tikz, logicKeywords ordered alphabetically | Keywords ordered by occurrence rate
251.
Štverák, Ondřej
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace vrstvy pro ukládání dat v systému XIQE | 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 vrstvy pro ukládání dat v systému XIQE | Theses on a related topic
252.
Šupolík, Radoslav
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Systém pre správu faktúr a podporu podávania daňového priznania | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Systém pre správu faktúr a podporu podávania daňového priznania | Theses on a related topic
253.
Šustáček, Josef
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace rozhraní W3C DOM v systému XIQE | 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 rozhraní W3C DOM v systému XIQE | Theses on a related topic
254.
Švancara, Dušan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza strukturovaných dat z distribuovaných úložišť | Theses on a related topic
Bachelor's thesis defence: Analýza strukturovaných dat z distribuovaných úložišť | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza strukturovaných dat z distribuovaných úložišť | Theses on a related topic
Bachelor's thesis defence: Analýza strukturovaných dat z distribuovaných úložišť | Theses on a related topic
255.
Švandová, Veronika maiden name: Mrázová
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry with a view to Education, Mathematics with a view to Education
Bachelor's thesis defence: Názvosloví anorganické chemie (soubor testových položek) | Theses on a related topic
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry with a view to Education, Mathematics with a view to Education
Bachelor's thesis defence: Názvosloví anorganické chemie (soubor testových položek) | Theses on a related topic
256.
Švenda, Petr
Faculty: Faculty of Informatics
Year: 2004, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Digital Rights Management
Faculty: Faculty of Informatics
Year: 2004, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Digital Rights Management
257.
Takácsová, Barbara
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Analytical Chemist - Manager of Chemical Laboratory
Bachelor's thesis defence: Spektrální interference v optické spektrometrii indukčně vázaného plazmatu | Theses on a related topic
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Analytical Chemist - Manager of Chemical Laboratory
Bachelor's thesis defence: Spektrální interference v optické spektrometrii indukčně vázaného plazmatu | Theses on a related topic
258.
Talaš, Jakub
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Sémantické značkování textu | 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: Sémantické značkování textu | Theses on a related topic
259.
Talaš, Jakub
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Wiki s podporou zpracování sémantiky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Wiki s podporou zpracování sémantiky | Theses on a related topic
260.
Tesařík, Vladislav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Převodník elektronických testů | 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: Převodník elektronických testů | Theses on a related topic
261.
Tomola, Martin
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: API pro tvorbu otázek a testů
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: API pro tvorbu otázek a testů
262.
Trnka, Jan
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: General Theory and History of Arts and Culture (4-years) / Theory and History of Theatre, Film and Audio-Visual Culture Studies
Doctoral thesis defence: Dobrý scenárista Josef Neuberg. Procesy psaní a vývoje scénáře v české kinematografii 1919–1965 | Theses on a related topic
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: General Theory and History of Arts and Culture (4-years) / Theory and History of Theatre, Film and Audio-Visual Culture Studies
Doctoral thesis defence: Dobrý scenárista Josef Neuberg. Procesy psaní a vývoje scénáře v české kinematografii 1919–1965 | Theses on a related topic
263.
Turek, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Digitalní podepisování XML | 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: Digitalní podepisování XML | Theses on a related topic
264.
Uhýrek, Jiří
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Editování webových stránek pomocí dialogu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Editování webových stránek pomocí dialogu | Theses on a related topic
265.
Uličný, Marek
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Vizuální editor pro návrh GUI | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Vizuální editor pro návrh GUI | Theses on a related topic
266.
Václavík, Tomáš
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Tvorba archívu gramofonových desek
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Tvorba archívu gramofonových desek
267.
Válek, Karel
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Public Administration Informatics
Bachelor's thesis defence: Serializace datových struktur konfigurace datových úložišť | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Public Administration Informatics
Bachelor's thesis defence: Serializace datových struktur konfigurace datových úložišť | Theses on a related topic
268.
Válent, Oskár Adam
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Rust library for SBML model manipulation | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Rust library for SBML model manipulation | Theses on a related topic
269.
Váňa, Martin
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Oběcně použitelný editor pro testovací JSON data Zen aplikací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Oběcně použitelný editor pro testovací JSON data Zen aplikací | Theses on a related topic
270.
Vaněk, Jiří
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroje pro konverzi E-learningových materiálů | Theses on a related topic
Bachelor's thesis defence: Nástroje pro konverzi E-learningových materiálů | 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: Nástroje pro konverzi E-learningových materiálů | Theses on a related topic
Bachelor's thesis defence: Nástroje pro konverzi E-learningových materiálů | Theses on a related topic
271.
Vávra, David
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Podpora konfigurovatelné tvorby CSV souborů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Podpora konfigurovatelné tvorby CSV souborů | Theses on a related topic
272.
Včelák, Martin
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Konfigurátor instalací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Konfigurátor instalací | Theses on a related topic
273.
Vepřek, Peter
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace pro informační systém pro základní školy | 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: Aplikace pro informační systém pro základní školy | Theses on a related topic
274.
Veselý, Martin
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Geography / Cartography, Geoinformatics and Remote Sensing
Doctoral thesis defence: TopoXML - výměnný formát topologie vektorových dat | Theses on a related topic
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Geography / Cartography, Geoinformatics and Remote Sensing
Doctoral thesis defence: TopoXML - výměnný formát topologie vektorových dat | Theses on a related topic
275.
Vlček, Petr
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Optimalizace XPath dotazů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Optimalizace XPath dotazů | Theses on a related topic
276.
Vránová, Sandra maiden name: Dedíková
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Český diskuzní robot pomocí AIML | Theses on a related topic
Master's thesis defence: Český diskuzní robot pomocí AIML | Theses on a related topic
Master's thesis defence: Český diskuzní robot pomocí AIML | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Český diskuzní robot pomocí AIML | Theses on a related topic
Master's thesis defence: Český diskuzní robot pomocí AIML | Theses on a related topic
Master's thesis defence: Český diskuzní robot pomocí AIML | Theses on a related topic
277.
Wagner, Petr
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Economic Information Systems
Bachelor's thesis defence: Elektronické obchodování-případová studie | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Economic Information Systems
Bachelor's thesis defence: Elektronické obchodování-případová studie | Theses on a related topic
278.
Warchil, Miroslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Export grafu scény do XML | 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: Export grafu scény do XML | Theses on a related topic
279.
Wetter, Jiří
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Vývoj značkovacích jazyků s ohledem na tzv. sémantický web | Theses on a related topic
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Vývoj značkovacích jazyků s ohledem na tzv. sémantický web | Theses on a related topic
280.
Zahradníčková, Alena
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Generování nových logických úloh pro IB000 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Generování nových logických úloh pro IB000 | Theses on a related topic
281.
Zajíček, Adam
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh a implementace GUI pro Inteligentní logovací server | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh a implementace GUI pro Inteligentní logovací server | Theses on a related topic
282.
Zapletal, Jiří
Faculty: Faculty of Informatics
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace pro práci s formuláři ve formátu 602XML Form | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace pro práci s formuláři ve formátu 602XML Form | Theses on a related topic
283.
Zapletal, Marek
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dynamický webový portál | 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: Dynamický webový portál | Theses on a related topic
284.
Zelenková, Laura
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modernizace hudebního serveru freemusic.cz | 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: Modernizace hudebního serveru freemusic.cz | Theses on a related topic
285.
Ziembová, Lucie
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Special Education for Education
Bachelor's thesis defence: Středoškolska matematika se zaměřením na zrakově znevýhodněné studenty | Theses on a related topic
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Special Education for Education
Bachelor's thesis defence: Středoškolska matematika se zaměřením na zrakově znevýhodněné studenty | Theses on a related topic
286.
Zikán, Zdeněk
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikační rozhraní pro práci s XML v jazyce Java | 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: Aplikační rozhraní pro práci s XML v jazyce Java | Theses on a related topic
287.
Župka, Ondřej
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Informační systém pro ubytovací zařízení
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Informační systém pro ubytovací zařízení