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, logic

Keywords ordered alphabetically | Keywords ordered by occurrence rate

201.
Plöschner, Martin
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Physics / Theoretical Physics and Astrophysics
Master's thesis defence: Teorie homodynní detekce | Theses on a related topic Display description

202.
Pomykal, David
Faculty: Faculty of Law
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Soudní kontrola veřejné správy, úloha správního a ústavního soudnictví v systému kontroly veřejné správy | Theses on a related topic

203.
Posolda, Marek
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Interaktivní typová kontrola XML a ladění XML transformací | Theses on a related topic

204.
Prokopová, Michaela
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Teorie MHS (Mutually Hurting Stalemate) a MEO (Mutually Enticing Opportunity) a aplikace na libanonskou občanskou válku v letech 1975- 1990 | Theses on a related topic

205.
Rambousek, Adam
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Lexikografická platforma na vývoj slovníkových aplikací | Theses on a related topic

206.
Richter, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro interaktivní dokazování tvrzení o formálních jazycích | Theses on a related topic

207.
Rusňák, Vít
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická tvorba multimediálních záznamů přednášek | Theses on a related topic

208.
Růžička, Michal
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Budování a provoz digitální knihovny s přihlédnutím k bezpečnosti | Theses on a related topic

209.
Ružôň, Matej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Detekce a výpočet charakteristik proteinů | Theses on a related topic

210.
Rychtářová, Pavla
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Metadata Object Description Schema | Theses on a related topic

211.
Řehák, Zdeněk
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Překlad a analýza VHDL programů prostřednictvím XML mezikódu | Theses on a related topic

212.
Říhová, Jana
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: Epikúros versus stoikové | Theses on a related topic

213.
Sahánek, Petr
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Výměna dat mezi ERP systémy | Theses on a related topic

214.
Sänger, Michal
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: XML části projektu 10@FI a grafická prezentace výsledku pomocí CSS

215.
Sedláček, Jan
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systém pro podporu DocBook dokumentů | Theses on a related topic

216.
Sedláček, Jiří
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Evidence úloh v superpočítačovém centru | Theses on a related topic

217.
Sekerka, Jan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Tvorba vizuálního stylu firmy Koproms a interaktivní internetové aplikace | Theses on a related topic

218.
Schirmbeck, Štěpánka
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systém pro indexování XML dokumentů

219.
Schreiner, Vladimír
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Transformace dat formátu XML DocBook | Theses on a related topic

220.
Schuppler, Petr
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Mobilní aplikace na platformě Android pro MZK | Theses on a related topic
Bachelor's thesis defence: Mobilní aplikace na platformě Android pro MZK | Theses on a related topic

221.
Skipala, Ondřej
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Nízkoúdržbový bioinformatický portál pro výuku a výzkum | Theses on a related topic

222.
Smrčka, Michal
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Zrychlení interakce uživatele s webovou aplikací | Theses on a related topic

223.
Spurný, Robert
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Tomáš Kulka: Pro et Contra | Theses on a related topic

224.
Stolina, Tomáš
Faculty: Faculty of Law
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Donucovací opatření v rámci OSN | Theses on a related topic

225.
Straka, Stanislav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Segmentace obrazu | Theses on a related topic
Master's thesis defence: Minimalizace Chan-Vese funkcionálu pomocí techniky grafových řezů | Theses on a related topic

226.
Stuchlý, Tomáš
Faculty: Faculty of Informatics
Year: 2006, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Informační systém úřadu | Theses on a related topic

227.
Suchánek, Otto
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: Logika v učebnicích středních škol | Theses on a related topic

228.
Suchopar, Miroslav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vliv přenosných IT zařízení na lidské zdraví | Theses on a related topic
Bachelor's thesis defence: Vliv přenosných IT zařízení na životní prostředí a zdraví člověka | Theses on a related topic

229.
Sukaný, Albert
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Analýza diskuzních příspěvků z české Wikipedie | Theses on a related topic

230.
Sukupčák, Michal
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Synopsy PHP Framework | Theses on a related topic

231.
Svoboda, Jiří
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Kartografická vizualizace zdravotního stavu obyvatelstva pomocí interaktivních map | Theses on a related topic

232.
Svoboda, Jiří
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Katalogová služba mapové sbírky Geografického ústavu | Theses on a related topic

233.
Svoboda, Petr
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systémy elektronických podpisů | Theses on a related topic

234.
Svoboda, Rostislav
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Automatické zpracování informací webových portálů | Theses on a related topic

235.
Szotkowski, Jakub
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Automatické testování webových aplikací společnosti Unicorn | Theses on a related topic

236.
Szydlowská, Markéta
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Bezpečnost OS Android | Theses on a related topic

237.
Šafář, Pavel
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Front-end k autorské části e-learningového systému

238.
Šálek, Lubomír
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Design and implementation of convertor from ATML (Automated Test Mark-Up Language) to technical documentation. | Theses on a related topic

239.
Šavelka, Jaromír
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Značkování právních dokumentů | Theses on a related topic

240.
Šimík, Michal
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: SkautIS pro iOS | Theses on a related topic

241.
Šimkovič, Petr
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém pro správu publikací Laboratoře NLP | Theses on a related topic
Bachelor's thesis defence: Systém pro správu publikací Laboratoře NLP

242.
Škrabálek, Jaroslav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Tvorba bohatých webových aplikací | Theses on a related topic

243.
Šmijáková, Eva
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic

244.
Šrom, Roman
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Komponenta pro WYSIWYG editaci XML v prostředí Swing | Theses on a related topic

245.
Šrubař, Štěpán
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Digitalizace zpěvníků a jejich zpřístupňování na webu

246.
Šťastný, Jan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj na automatickou detekci chyb v jazyce C | Theses on a related topic

247.
Šťava, Michal
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Vizualizace statistik ve vebovém prostředí | Theses on a related topic

248.
Štefek, Adam
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Organic Chemistry
Master's thesis defence: Glykolurily pro přípravu molekulárních klecí | Theses on a related topic

249.
Štofko, Martin
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Prezentační systém pro informační panely | Theses on a related topic

250.
Štursa, Vojtěch
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Knihovna pro tvorbu GUI v mobilních zařízeních | Theses on a related topic