Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 368)
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 Algoritmus PD-KIND v řešiči Golem 2023/2024 bakalářská práce I doc. RNDr. Jan Kofroň, Ph.D. skrytý 06.02.2024 11.03.2024 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 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 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 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
detail Anomaly detection for stock market trading data 2019/2020 2019/2020 bakalářská práce IOI doc. RNDr. Jan Kofroň, Ph.D. skrytý 21.10.2019 22.10.2019 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 Aplikace pro správu výukových kurzů 2020/2021 2020/2021 bakalářská práce ISDI doc. RNDr. Jan Kofroň, Ph.D. skrytý 02.10.2020 07.10.2020 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 doc. RNDr. Jan Kofroň, Ph.D. skrytý 30.09.2008 30.09.2008 Katedra softwarového inženýrství (32-KSI) 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 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 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 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 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 Cube Fighter 2018/2019 2018/2019 bakalářská práce IPSS doc. RNDr. Jan Kofroň, Ph.D. skrytý 09.05.2019 13.05.2019 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Detekce a rozpoznání obličeje 2018/2019 2018/2019 bakalářská práce ISDI doc. RNDr. Jan Kofroň, Ph.D. skrytý 25.10.2018 25.10.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail DiaSynth - Syntezátor audia pomocí diagramů, přehrávač a analyzátor 2019/2020 2020/2021 bakalářská práce I doc. RNDr. Jan Kofroň, Ph.D. skrytý 05.02.2020 06.02.2020 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 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 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 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 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 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 Forced Alignment via Neural Networks 2017/2018 2019/2020 diplomová práce IPGVPH doc. RNDr. Jan Kofroň, Ph.D. skrytý 12.04.2018 23.04.2018 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 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 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 IncomeMate 2023/2024 bakalářská práce IPP doc. RNDr. Jan Kofroň, Ph.D. skrytý 04.03.2024 05.03.2024 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 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 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 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 Interaktivní hra na platformu Android 2017/2018 2018/2019 bakalářská práce ISDI doc. RNDr. Jan Kofroň, Ph.D. skrytý 18.12.2017 20.12.2017 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 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 Loop Analysis for LLVM IR Translation Validation Framework 2022/2023 bakalářská práce IPP1 doc. RNDr. Jan Kofroň, Ph.D. skrytý 17.03.2023 24.03.2023 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 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 Mobilná aplikácia na sledovanie pohybu vtákov 2017/2018 diplomová práce ISDI doc. RNDr. Jan Kofroň, Ph.D. skrytý 05.01.2018 08.01.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Mobilná aplikácia pre rodiny 2021/2022 2021/2022 bakalářská práce IOI doc. RNDr. Jan Kofroň, Ph.D. Bc. Tomáš Kuraňko 27.10.2021 01.11.2021 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 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 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 Nákupní mapa 2020/2021 2022/2023 bakalářská práce ISDI doc. RNDr. Jan Kofroň, Ph.D. skrytý 19.10.2020 19.10.2020 Katedra distribuovaných a spolehlivých systémů (32-KDSS) 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 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 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 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
Výsledky 1-50 z 77 1 2 další
 
Univerzita Karlova | Informační systém UK