|
 Název práce |
 Rok vypsání |
 Rok obhájení |
Typ práce |
Obor práce |  Vedoucí / školitel |
 Řešitel |
 Vypsáno |
Zadáno | Ústav |
Fakulta |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
Výsledky 1-50 z 87 1 2 další
|