Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 393)
Seznam prací
   Přihlásit přes CAS
   
--:--
 
 Seznam prací
 
 
 
 
Změnit třídění na kód - název
 
               
výsledků na stránku
seřadit sestupněseřadit vzestupněNázev práce seřadit sestupněseřadit vzestupněRok vypsání seřadit sestupněseřadit vzestupněRok obhájení Typ práce Obor práce seřadit sestupněseřadit vzestupněVedoucí / školitel seřadit sestupněseřadit vzestupněŘešitel seřadit sestupněseřadit vzestupněVypsáno Zadáno Ústav Fakulta
detail Solving the missing environment problem in Bandera 2004/2005 2004/2005 diplomová práce I doc. RNDr. Jan Kofroň, Ph.D. skrytý 06.10.2004 15.11.2004 Katedra softwarového inženýrství (32-KSI) MFF
detail Automatized Data Abstraction 2005/2006 2006/2007 diplomová práce ISS doc. RNDr. Jan Kofroň, Ph.D. skrytý 06.10.2005 11.11.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail Distributed Behavior Protocol Checker 2005/2006 2005/2006 diplomová práce ISS doc. RNDr. Jan Kofroň, Ph.D. skrytý 06.10.2005 10.11.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail Checking Primitive Component Behavior 2005/2006 2006/2007 diplomová práce ISS doc. RNDr. Jan Kofroň, Ph.D. skrytý 06.10.2005 11.11.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail Kolaborativní vektorový editor 2006/2007 2006/2007 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 06.10.2006 23.10.2006 Katedra softwarového inženýrství (32-KSI) MFF
detail BashCommander 2006/2007 2006/2007 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 10.10.2006 17.01.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail 4-kanálový mixážny pult s real-time efektamy 2006/2007 2006/2007 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 01.11.2006 01.11.2006 Katedra softwarového inženýrství (32-KSI) MFF
detail Mzdový a personální systém 2006/2007 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 14.11.2006 14.11.2006 Katedra softwarového inženýrství (32-KSI) MFF
detail Informační systém pro výzkumné skupiny 2006/2007 2007/2008 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 14.11.2006 14.11.2006 Katedra softwarového inženýrství (32-KSI) MFF
detail Vizualizácia algoritmov 2007/2008 2008/2009 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 18.10.2007 05.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Editor elektrotechnických schémat 2007/2008 2007/2008 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 05.11.2007 20.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Sobo Mariáš 2007/2008 2008/2009 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 05.11.2007 09.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Instant Messenger s podporou šifrování 2007/2008 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 13.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Webový systém pro prodej předplacených služeb 2007/2008 2007/2008 bakalářská práce IOI doc. RNDr. Jan Kofroň, Ph.D. skrytý 15.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Simulation of traffic infrastructure 2007/2008 2009/2010 bakalářská práce IOI doc. RNDr. Jan Kofroň, Ph.D. skrytý 15.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Simulation of traffic infrastructure 2007/2008 2009/2010 bakalářská práce IOI doc. RNDr. Jan Kofroň, Ph.D. skrytý 15.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Online class 2007/2008 2009/2010 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 15.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Informační systém pro společnost na výrobu součástek do dopravní techniky 2007/2008 2007/2008 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 16.11.2007 16.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Informační systém pro společnost na výrobu součástek do dopravní techniky 2007/2008 2007/2008 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 16.11.2007 16.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Aplikácia na správu nehnuteľností 2008/2009 2008/2009 bakalářská práce doc. RNDr. Jan Kofroň, Ph.D. skrytý 30.09.2008 30.09.2008 Katedra softwarového inženýrství (32-KSI) MFF
detail COSIM - Simulace povlakování 2009/2010 2011/2012 diplomová práce ISS doc. RNDr. Jan Kofroň, Ph.D. skrytý 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 disertační práce 4I2 doc. RNDr. Jan Kofroň, Ph.D. skrytý 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 diplomová práce doc. RNDr. Jan Kofroň, Ph.D. skrytý 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 diplomová práce ISS doc. RNDr. Jan Kofroň, Ph.D. skrytý 14.10.2010 21.10.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Wave editor 2010/2011 2010/2011 bakalářská práce doc. RNDr. Jan Kofroň, Ph.D. skrytý 05.11.2010 07.11.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail M-lizer 2010/2011 2010/2011 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 09.12.2010 15.12.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail M-lizer 2010/2011 2011/2012 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 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 diplomová práce ISS doc. RNDr. Jan Kofroň, Ph.D. skrytý 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 diplomová práce ISS doc. RNDr. Jan Kofroň, Ph.D. skrytý 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 diplomová práce ISS doc. RNDr. Jan Kofroň, Ph.D. skrytý 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 bakalářská práce IOI doc. RNDr. Jan Kofroň, Ph.D. skrytý 07.11.2011 07.11.2011 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Grafový editor v .NET 2012/2013 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 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 diplomová práce ISS doc. RNDr. Jan Kofroň, Ph.D. skrytý 08.11.2012 08.11.2012 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Informační systém pro restaurace 2012/2013 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 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 disertační práce 4I2 doc. RNDr. Jan Kofroň, Ph.D. skrytý 30.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Distribuovaný systém správy objednávek pro restaurační zařízení 2013/2014 2013/2014 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 12.11.2013 12.11.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Generátor karetních her 2013/2014 2013/2014 bakalářská práce IOI doc. RNDr. Jan Kofroň, Ph.D. skrytý 18.11.2013 18.11.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail KarlFTP: FTP klient pre mobilné zariadenia so systémom Android 2013/2014 2013/2014 bakalářská práce ISPS doc. RNDr. Jan Kofroň, Ph.D. skrytý 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 bakalářská práce I doc. RNDr. Jan Kofroň, Ph.D. skrytý 20.11.2014 21.11.2014 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Multiplatformní mobilní aplikace databázového systému Matylda 2014/2015 2015/2016 diplomová práce ISS doc. RNDr. Jan Kofroň, Ph.D. skrytý 20.02.2015 20.02.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Výuková aplikace pro malé děti 2014/2015 2014/2015 bakalářská práce 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 Podpora fraktúr pre jbox2d engine 2014/2015 2014/2015 bakalářská práce IP doc. RNDr. Jan Kofroň, Ph.D. skrytý 22.05.2015 22.05.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Rozvrhová aplikace pro Android 2015/2016 2015/2016 bakalářská práce IOI doc. RNDr. Jan Kofroň, Ph.D. skrytý 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 diplomová práce ITI doc. RNDr. Jan Kofroň, Ph.D. skrytý 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 rigorózní práce ISS doc. RNDr. Jan Kofroň, Ph.D. skrytý 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 disertační práce P4I2 doc. RNDr. Jan Kofroň, Ph.D. skrytý 14.04.2016 03.10.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Ověřování asercí kódu pomocí zpětné symbolické exekuce 2015/2016 2016/2017 diplomová práce ISDI doc. RNDr. Jan Kofroň, Ph.D. skrytý 09.06.2016 09.06.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Anzora: Zotero klient pro Android 2016/2017 2016/2017 diplomová práce ISS doc. RNDr. Jan Kofroň, Ph.D. skrytý 03.11.2016 03.11.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Mobilní aplikace pro jídelny 2016/2017 2017/2018 bakalářská práce IOI doc. RNDr. Jan Kofroň, Ph.D. skrytý 20.04.2017 20.04.2017 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Analýza letových dat 2017/2018 2017/2018 bakalářská práce IPSS doc. RNDr. Jan Kofroň, Ph.D. skrytý 11.12.2017 11.12.2017 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
Výsledky 1-50 z 87 1 2 další
 
Univerzita Karlova | Informační systém UK