Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 285)
Seznam prací
   Přihlásit přes CAS
  
                  
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 Vizualizácia algoritmov 2007/2008 2008/2009 bakalářská práce IP RNDr. Jan Kofroň, Ph.D. skrytý 18.10.2007 05.11.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 RNDr. Jan Kofroň, Ph.D. skrytý 01.11.2006 01.11.2006 Katedra softwarového inženýrství (32-KSI) MFF
detail M-lizer 2010/2011 2010/2011 bakalářská práce IP RNDr. Jan Kofroň, Ph.D. skrytý 09.12.2010 15.12.2010 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 RNDr. Jan Kofroň, Ph.D. skrytý 18.11.2013 18.11.2013 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 RNDr. Jan Kofroň, Ph.D. skrytý 11.04.2016 11.04.2016 Katedra softwarového inženýrství (32-KSI) MFF
detail Informační systém pro restaurace 2012/2013 bakalářská práce IP RNDr. Jan Kofroň, Ph.D. skrytý 08.11.2012 14.11.2012 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Mobilná aplikácia na sledovanie pohybu vtákov 2017/2018 diplomová práce ISDI RNDr. Jan Kofroň, Ph.D. skrytý 05.01.2018 08.01.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Memory demand optimization of fixpoint algorithm for PHP analysis 2017/2018 diplomová práce I RNDr. Jan Kofroň, Ph.D.   27.08.2015 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Automatic refactoring for dynamic languages 2017/2018 diplomová práce I, II, ISS RNDr. Jan Kofroň, Ph.D.   05.11.2014 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Webový systém pro prodej předplacených služeb 2007/2008 2007/2008 bakalářská práce IOI 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 výzkumné skupiny 2006/2007 2007/2008 bakalářská práce IP 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 společnost na výrobu součástek do dopravní techniky 2007/2008 2007/2008 bakalářská práce IP RNDr. Jan Kofroň, Ph.D. skrytý 16.11.2007 16.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Distribuovaný systém správy objednávek pro restaurační zařízení 2013/2014 2013/2014 bakalářská práce IP RNDr. Jan Kofroň, Ph.D. skrytý 12.11.2013 12.11.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Webový frontend pro analyzátor PHP aplikací 2018/2019 bakalářská práce RNDr. Jan Kofroň, Ph.D.   09.05.2016 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Symbolické metody ve verifikaci software 2016/2017 disertační práce 4I2 RNDr. Jan Kofroň, Ph.D. skrytý 14.04.2016 03.10.2016 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 RNDr. Jan Kofroň, Ph.D. skrytý 22.05.2015 22.05.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 RNDr. Jan Kofroň, Ph.D. Bc. Anikó Kuklisová 20.04.2015 20.04.2015 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 RNDr. Jan Kofroň, Ph.D. skrytý 20.04.2017 20.04.2017 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Grafový editor v .NET 2012/2013 bakalářská práce IP RNDr. Jan Kofroň, Ph.D. skrytý 07.11.2012 07.11.2012 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Cube Fighter 2018/2019 bakalářská práce IPSS RNDr. Jan Kofroň, Ph.D. skrytý 09.05.2019 13.05.2019 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 RNDr. Jan Kofroň, Ph.D. skrytý 20.11.2014 21.11.2014 Katedra distribuovaných a spolehlivých systémů (32-KDSS) 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 RNDr. Jan Kofroň, Ph.D. skrytý 16.11.2007 16.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Distributed Behavior Protocol Checker 2005/2006 2005/2006 diplomová práce ISS RNDr. Jan Kofroň, Ph.D. skrytý 06.10.2005 10.11.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail Analysis of Interface Automata with On-Demand Replication 2012/2013 2012/2013 diplomová práce ISS RNDr. Jan Kofroň, Ph.D. skrytý 30.09.2011 14.11.2012 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 RNDr. Jan Kofroň, Ph.D. skrytý 29.01.2016 01.02.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Sobo Mariáš 2007/2008 2008/2009 bakalářská práce IP RNDr. Jan Kofroň, Ph.D. skrytý 05.11.2007 09.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Automatized Data Abstraction 2005/2006 2006/2007 diplomová práce ISS RNDr. Jan Kofroň, Ph.D. skrytý 06.10.2005 11.11.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail BashCommander 2006/2007 2006/2007 bakalářská práce IP RNDr. Jan Kofroň, Ph.D. skrytý 10.10.2006 17.01.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Kolaborativní vektorový editor 2006/2007 2006/2007 bakalářská práce IP RNDr. Jan Kofroň, Ph.D. skrytý 06.10.2006 23.10.2006 Katedra softwarového inženýrství (32-KSI) MFF
detail Analysis of a File System Using the Verifying C Compiler 2012/2013 2014/2015 diplomová práce ISS RNDr. Jan Kofroň, Ph.D. skrytý 08.11.2012 08.11.2012 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 RNDr. Jan Kofroň, Ph.D. skrytý 17.03.2016 24.03.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Výuka programovania 2018/2019 2018/2019 bakalářská práce RNDr. Jan Kofroň, Ph.D. skrytý 31.10.2018 31.10.2018 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 RNDr. Jan Kofroň, Ph.D. skrytý 09.06.2016 09.06.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Force alignment pomocí neuronových sítí 2017/2018 diplomová práce I RNDr. Jan Kofroň, Ph.D. skrytý 12.04.2018 23.04.2018 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 RNDr. Jan Kofroň, Ph.D. skrytý 24.05.2010 06.08.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Bezpečnostní analýza frameworku WordPress 2018/2019 bakalářská práce I RNDr. Jan Kofroň, Ph.D.   03.11.2015 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Aplikácia na správu nehnuteľností 2008/2009 2008/2009 bakalářská práce RNDr. Jan Kofroň, Ph.D. skrytý 30.09.2008 30.09.2008 Katedra softwarového inženýrství (32-KSI) MFF
detail Wave editor 2010/2011 2010/2011 bakalářská práce 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 2011/2012 bakalářská práce IP RNDr. Jan Kofroň, Ph.D. skrytý 09.12.2010 15.12.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail COSIM - Simulace povlakování 2009/2010 2011/2012 diplomová práce ISS RNDr. Jan Kofroň, Ph.D. skrytý 15.02.2010 02.03.2010 Katedra softwarového inženýrství (32-KSI) MFF
detail Output breakpoints for Java 2011/2012 2011/2012 diplomová práce ISS RNDr. Jan Kofroň, Ph.D. skrytý 05.09.2011 07.10.2011 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Solving the missing environment problem in Bandera 2004/2005 2004/2005 diplomová práce I RNDr. Jan Kofroň, Ph.D. skrytý 06.10.2004 15.11.2004 Katedra softwarového inženýrství (32-KSI) MFF
detail KarlFTP: FTP klient pre mobilné zariadenia so systémom Android 2013/2014 2013/2014 bakalářská práce ISPS RNDr. Jan Kofroň, Ph.D. skrytý 17.04.2014 17.04.2014 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 RNDr. Jan Kofroň, Ph.D. skrytý 03.11.2016 03.11.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Efficient Representation of Program States 2010/2011 2016/2017 disertační práce 4I2 RNDr. Jan Kofroň, Ph.D. skrytý 22.04.2010 10.11.2010 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 RNDr. Jan Kofroň, Ph.D. skrytý 30.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Instant Messenger s podporou šifrování 2007/2008 bakalářská práce IP RNDr. Jan Kofroň, Ph.D. skrytý 13.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Checking Primitive Component Behavior 2005/2006 2006/2007 diplomová práce ISS RNDr. Jan Kofroň, Ph.D. skrytý 06.10.2005 11.11.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail Online class 2007/2008 2009/2010 bakalářská práce IP RNDr. Jan Kofroň, Ph.D. skrytý 15.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Survey of Code Review Tools 2010/2011 2010/2011 diplomová práce ISS RNDr. Jan Kofroň, Ph.D. skrytý 14.10.2010 21.10.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
Výsledky 1-50 z 61 1 2 další
 
Univerzita Karlova | Informační systém UK