Thesis (Selection of subject)Thesis (Selection of subject)(version: 368)
List of theses
   Login via CAS
Change order to code - title
 
               
results per page
sort in descending ordersort in ascending orderThesis title sort in descending ordersort in ascending orderYear of announcement sort in descending ordersort in ascending orderYear of defence Thesis type Thesis discipline sort in descending ordersort in ascending orderSupervisor sort in descending ordersort in ascending orderAuthor sort in descending ordersort in ascending orderAnnounced Assigned Department Faculty
detail Solving the missing environment problem in Bandera 2004/2005 2004/2005 diploma thesis I doc. RNDr. Jan Kofroň, Ph.D. hidden 06.10.2004 15.11.2004 Katedra softwarového inženýrství (32-KSI) MFF
detail Automatized Data Abstraction 2005/2006 2006/2007 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 06.10.2005 11.11.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail Checking Primitive Component Behavior 2005/2006 2006/2007 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 06.10.2005 11.11.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail Distributed Behavior Protocol Checker 2005/2006 2005/2006 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 06.10.2005 10.11.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail Collaborative vector editor 2006/2007 2006/2007 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 06.10.2006 23.10.2006 Katedra softwarového inženýrství (32-KSI) MFF
detail BashCommander 2006/2007 2006/2007 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 10.10.2006 17.01.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail 4-channel mixer with real-time effects 2006/2007 2006/2007 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 01.11.2006 01.11.2006 Katedra softwarového inženýrství (32-KSI) MFF
detail Information system for research groups 2006/2007 2007/2008 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 14.11.2006 14.11.2006 Katedra softwarového inženýrství (32-KSI) MFF
detail Human Resource Management System 2006/2007 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 14.11.2006 14.11.2006 Katedra softwarového inženýrství (32-KSI) MFF
detail Algorithms' visualization 2007/2008 2008/2009 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 18.10.2007 05.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Electrical circuit editor 2007/2008 2007/2008 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 05.11.2007 20.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Sobo Marias 2007/2008 2008/2009 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 05.11.2007 09.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Instant Messenger with encryption support 2007/2008 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 13.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Online class 2007/2008 2009/2010 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 15.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Simulation of traffic infrastructure 2007/2008 2009/2010 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 15.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Web system for sale of prepaid services 2007/2008 2007/2008 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 15.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Simulation of traffic infrastructure 2007/2008 2009/2010 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 15.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Information system for a company making parts of transportation devices 2007/2008 2007/2008 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 16.11.2007 16.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Information system for a company making parts of transportation devices 2007/2008 2007/2008 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 16.11.2007 16.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Application for Real Estate Management 2008/2009 2008/2009 Bachelor's thesis doc. RNDr. Jan Kofroň, Ph.D. hidden 30.09.2008 30.09.2008 Katedra softwarového inženýrství (32-KSI) MFF
detail COSIM - Coating Simulation 2009/2010 2011/2012 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 15.02.2010 02.03.2010 Katedra softwarového inženýrství (32-KSI) MFF
detail Efficient Representation of Program States 2010/2011 2016/2017 dissertation 4I2 doc. RNDr. Jan Kofroň, Ph.D. hidden 22.04.2010 10.11.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Survey of state-of-the-art static analysis technologies 2010/2011 diploma thesis doc. RNDr. Jan Kofroň, Ph.D. hidden 24.05.2010 06.08.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Survey of Code Review Tools 2010/2011 2010/2011 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 14.10.2010 21.10.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Wave editor 2010/2011 2010/2011 Bachelor's thesis doc. RNDr. Jan Kofroň, Ph.D. hidden 05.11.2010 07.11.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail M-lizer 2010/2011 2010/2011 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 09.12.2010 15.12.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail M-lizer 2010/2011 2011/2012 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 09.12.2010 15.12.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Output breakpoints for Java 2011/2012 2011/2012 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 05.09.2011 07.10.2011 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Analysis of Interface Automata with On-Demand Replication 2012/2013 2012/2013 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 30.09.2011 14.11.2012 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Support for C++ in GMC 2011/2012 2012/2013 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 07.11.2011 07.11.2011 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Automobile Mirror Testing 2011/2012 2011/2012 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 07.11.2011 07.11.2011 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Graph editor in .NET 2012/2013 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 07.11.2012 07.11.2012 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Analysis of a File System Using the Verifying C Compiler 2012/2013 2014/2015 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 08.11.2012 08.11.2012 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Information system for restaurants 2012/2013 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 08.11.2012 14.11.2012 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Applying Multilayer Modeling and Verification to All-Optical Computer Networks 2013/2014 dissertation 4I2 doc. RNDr. Jan Kofroň, Ph.D. hidden 30.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Distributed order management for restaurants 2013/2014 2013/2014 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 12.11.2013 12.11.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Card games generator 2013/2014 2013/2014 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 18.11.2013 18.11.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail KarlFTP: FTP client for Android devices 2013/2014 2013/2014 Bachelor's thesis ISPS doc. RNDr. Jan Kofroň, Ph.D. hidden 17.04.2014 17.04.2014 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Employing runtime data in static analysis 2014/2015 Bachelor's thesis I doc. RNDr. Jan Kofroň, Ph.D. hidden 20.11.2014 21.11.2014 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Multi-platform mobile application of database system Matylda 2014/2015 2015/2016 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 20.02.2015 20.02.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Education app for kids 2014/2015 2014/2015 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. Mgr. Anikó Kuklisová 20.04.2015 20.04.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Support for fractures in jbox2d engine 2014/2015 2014/2015 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 22.05.2015 22.05.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Teaching schedule for Android 2015/2016 2015/2016 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 29.01.2016 01.02.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Methods for reduction of Craig's interpolant size using partial variable assignment 2015/2016 2015/2016 diploma thesis ITI doc. RNDr. Jan Kofroň, Ph.D. hidden 17.03.2016 24.03.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Analysis of Interface Automata with On-Demand Replication 2015/2016 2015/2016 rigorosum thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 11.04.2016 11.04.2016 Katedra softwarového inženýrství (32-KSI) MFF
detail Effective Automated Software Verification: A Multilayered Approach 2016/2017 2022/2023 dissertation P4I2 doc. RNDr. Jan Kofroň, Ph.D. hidden 14.04.2016 03.10.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Code Assertions Verification Using Backward Symbolic Execution 2015/2016 2016/2017 diploma thesis ISDI doc. RNDr. Jan Kofroň, Ph.D. hidden 09.06.2016 09.06.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Anzora: Zotero client for Android devices 2016/2017 2016/2017 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 03.11.2016 03.11.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Mobile application for canteens 2016/2017 2017/2018 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 20.04.2017 20.04.2017 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Flight data analysis 2017/2018 2017/2018 Bachelor's thesis IPSS doc. RNDr. Jan Kofroň, Ph.D. hidden 11.12.2017 11.12.2017 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
Results 1-50 of 77 1 2 next
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html