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 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 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 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 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 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 Využití strojového učení pro predikci výsledku tenisového utkání v jeho průběhu 2019/2020 2019/2020 bakalářská práce IOI doc. RNDr. Jan Kofroň, Ph.D. skrytý 09.04.2020 10.04.2020 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 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 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 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 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 Systém pre rezerváciu chát 2021/2022 2021/2022 diplomová práce ISDI doc. RNDr. Jan Kofroň, Ph.D. skrytý 29.10.2021 02.11.2021 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 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 Verifikace LLVM bit-kódu pomocí systému Hornových klauzulí s omezujícími podmínkami 2023/2024 diplomová práce ISWSP doc. RNDr. Jan Kofroň, Ph.D. skrytý 02.04.2024 15.04.2024 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 Výuka programovania 2018/2019 2018/2019 bakalářská práce doc. RNDr. Jan Kofroň, Ph.D. skrytý 31.10.2018 31.10.2018 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 doc. RNDr. Jan Kofroň, Ph.D. skrytý 13.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail STP řešič pro OpenSMT 2019/2020 2019/2020 bakalářská práce IOI doc. RNDr. Jan Kofroň, Ph.D. skrytý 14.04.2020 23.04.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 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 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 Správa dát fariem 2018/2019 2018/2019 bakalářská práce I doc. RNDr. Jan Kofroň, Ph.D. skrytý 24.04.2019 24.04.2019 Katedra distribuovaných a spolehlivých systémů (32-KDSS) 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 Podpora neinterpretovaných funkcí v SMT řešiči Yaga 2023/2024 bakalářská práce IPP3 doc. RNDr. Jan Kofroň, Ph.D. Milan Malačka 02.04.2024 09.04.2024 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 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 Rozhodovací procedura pro lineární celočíselnou aritmetiku v moderním SMT řešiči 2023/2024 diplomová práce I doc. RNDr. Jan Kofroň, Ph.D.   07.11.2019 Ne 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 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 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 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 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 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 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 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 Správca športových súťaží 2021/2022 2021/2022 bakalářská práce IPP doc. RNDr. Jan Kofroň, Ph.D. Bc. Ricardo Bolemant 21.02.2022 22.02.2022 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 REST API pro SAP Business One a jeho využití v praxi 2020/2021 2020/2021 bakalářská práce ISDI doc. RNDr. Jan Kofroň, Ph.D. skrytý 29.10.2020 29.10.2020 Katedra distribuovaných a spolehlivých systémů (32-KDSS) 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 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 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 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 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 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 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 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 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 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
Výsledky 1-50 z 77 1 2 další
 
Univerzita Karlova | Informační systém UK