Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 278)
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 Program Verification Using Finite Abstraction and Logics 2012/2013 disertační práce 4I2 RNDr. Pavel Parízek, Ph.D. skrytý 15.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Methods for using natural language specifications in software components development 2013/2014 disertační práce 4I2 doc. RNDr. Petr Hnětynka, Ph.D. skrytý 24.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Zvyšování kvality kódu pomocí statické analýzy a syntézy programů 2015/2016 disertační práce 4I2 RNDr. Pavel Parízek, Ph.D. skrytý 24.03.2016 03.10.2016 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 Component-based design of smart cyber-physical systems 2014/2015 disertační práce 4I2 doc. RNDr. Tomáš Bureš, Ph.D. skrytý 26.01.2015 26.01.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Modeling and analysis of smart cyber-physical systems 2014/2015 disertační práce 4I2 doc. RNDr. Tomáš Bureš, Ph.D. skrytý 26.01.2015 26.01.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Simulátor pneumatických obvodů 2015/2016 bakalářská práce Mgr. Pavel Ježek, Ph.D. skrytý 29.06.2016 29.06.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Taxi service back-end 2017/2018 bakalářská práce ISDI doc. RNDr. Tomáš Bureš, Ph.D. skrytý 10.11.2017 10.11.2017 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Performance Awareness in Adaptive Software Systems 2012/2013 disertační práce 4I2 prof. Ing. Petr Tůma, Dr. skrytý 20.04.2013 27.09.2013 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 Multiplatformní implementace WPF 2017/2018 diplomová práce Mgr. Pavel Ježek, Ph.D. skrytý 08.03.2018 08.03.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail GTTG – aplikace pro práci s grafikonem vlakové dopravy 2018/2019 bakalářská práce Mgr. Pavel Ježek, Ph.D. skrytý 02.11.2018 02.11.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail C++ běhová podpora pro HelenOS 2017/2018 diplomová práce ISS Mgr. Martin Děcký, Ph.D. skrytý 30.04.2018 01.05.2018 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 Rozšíření běžných programovacích jazyků pro zjednodušení vývoje spolehlivých softwarových systémů 2017/2018 disertační práce 4I2 prof. Ing. Petr Tůma, Dr. skrytý 19.04.2018 27.09.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Verification and prediction of properties of service-oriented system 2012/2013 disertační práce 4I2 Ing. Lubomír Bulej, Ph.D. skrytý 18.09.2012 26.09.2012 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Konfigurovatelná serializační knihovna pro .NET 2015/2016 bakalářská práce Mgr. Pavel Ježek, Ph.D. Kateřina Zákravská 29.09.2016 29.09.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Výuka programovania 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 MetaRMS – platforma pro tvorbu informačních systémů 2018/2019 bakalářská práce Mgr. Pavel Ježek, Ph.D. skrytý 02.11.2018 02.11.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Informační systém osobní přepravy 2016/2017 bakalářská práce Mgr. Pavel Ježek, Ph.D. skrytý 07.11.2016 07.11.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail UrhoRTS - platforma pro tvorbu realtimových strategických her 2017/2018 bakalářská práce Mgr. Pavel Ježek, Ph.D. skrytý 29.06.2018 29.06.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Extrakce informací z modelovacích nástrojů pro databáze 2018/2019 bakalářská práce RNDr. Pavel Parízek, Ph.D. skrytý 28.10.2018 31.10.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Výpočetní cloud se zaměřením na odolnost proti výpadkům 2015/2016 bakalářská práce IOI RNDr. JUDr. Antonín Steinhauser skrytý 29.09.2015 29.09.2015 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 Analýza datových toků ve databázových systémech 2018/2019 diplomová práce RNDr. Pavel Parízek, Ph.D. skrytý 11.10.2018 25.10.2018 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 Interaktivní hra na platformu Android 2017/2018 bakalářská práce ISDI RNDr. Jan Kofroň, Ph.D. skrytý 18.12.2017 20.12.2017 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Detekce a rozpoznání obličeje 2018/2019 bakalářská práce RNDr. Jan Kofroň, Ph.D. skrytý 25.10.2018 25.10.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Knihovna pro dynamickou analýzu programů v jazyce C# na platformě .NET 2018/2019 diplomová práce RNDr. Pavel Parízek, Ph.D. skrytý 20.11.2018 05.12.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Systém pro sledování pozice v reálném čase 2017/2018 bakalářská práce doc. RNDr. Petr Hnětynka, Ph.D. skrytý 03.11.2017 09.11.2017 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Performance assessment of cloud applications 2017/2018 diplomová práce doc. RNDr. Tomáš Bureš, Ph.D. skrytý 31.03.2018 04.04.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Cloud-based JDEECo simulator 2014/2015 diplomová práce doc. RNDr. Tomáš Bureš, Ph.D. skrytý 10.11.2014 10.11.2014 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
Výsledky 1-32 z 32 1
 
Univerzita Karlova | Informační systém UK