Thesis (Selection of subject)Thesis (Selection of subject)(version: 283)
List of assignments
   Login via CAS
  
                  
results per page
sort in descending ordersort in ascending orderTitle sort in descending ordersort in ascending orderYear of announcement sort in descending ordersort in ascending orderYear of defence Type of assignment Specialization sort in descending ordersort in ascending orderSupervisor sort in descending ordersort in ascending orderAuthor sort in descending ordersort in ascending orderAnnounced Assigned Department Faculty
detail Program Verification Using Finite Abstraction and Logics 2012/2013 dissertation 4I2 RNDr. Pavel Parízek, Ph.D. hidden 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 dissertation 4I2 doc. RNDr. Petr Hnětynka, Ph.D. hidden 24.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Improving code quality based on static program analysis and synthesis 2015/2016 dissertation 4I2 RNDr. Pavel Parízek, Ph.D. hidden 24.03.2016 03.10.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Mobile application for monitoring bird movements 2017/2018 diploma thesis ISDI RNDr. Jan Kofroň, Ph.D. hidden 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 dissertation 4I2 doc. RNDr. Tomáš Bureš, Ph.D. hidden 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 dissertation 4I2 doc. RNDr. Tomáš Bureš, Ph.D. hidden 26.01.2015 26.01.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Pneumatic Circuit Simulator 2015/2016 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 29.06.2016 29.06.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Taxi service back-end 2017/2018 Bachelor's thesis ISDI doc. RNDr. Tomáš Bureš, Ph.D. hidden 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 dissertation 4I2 prof. Ing. Petr Tůma, Dr. hidden 20.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Symbolic methods in software verification 2016/2017 dissertation 4I2 RNDr. Jan Kofroň, Ph.D. hidden 14.04.2016 03.10.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Cross-platform WPF implementation 2017/2018 diploma thesis Mgr. Pavel Ježek, Ph.D. hidden 08.03.2018 08.03.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail GTTG – application for manipulation with train timetable diagrams 2018/2019 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 02.11.2018 02.11.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail C++ Runtime for HelenOS 2017/2018 diploma thesis ISS Mgr. Martin Děcký, Ph.D. hidden 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 Bachelor's thesis I RNDr. Jan Kofroň, Ph.D. hidden 20.11.2014 21.11.2014 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Extending Mainstream Programming Languages to Simplify Construction of Reliable Software Systems 2017/2018 dissertation 4I2 prof. Ing. Petr Tůma, Dr. hidden 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 dissertation 4I2 Ing. Lubomír Bulej, Ph.D. hidden 18.09.2012 26.09.2012 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Configurable Serialization Library for .NET 2015/2016 Bachelor's thesis 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 Programming lessons 2018/2019 Bachelor's thesis RNDr. Jan Kofroň, Ph.D. hidden 31.10.2018 31.10.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail MetaRMS – information systems building platform 2018/2019 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 02.11.2018 02.11.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Personal Transport Information System 2016/2017 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 07.11.2016 07.11.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail UrhoRTS - Platform for Real-time Strategy Game Creation 2017/2018 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 29.06.2018 29.06.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Extracting Information from Database Modeling Tools 2018/2019 Bachelor's thesis RNDr. Pavel Parízek, Ph.D. hidden 28.10.2018 31.10.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Computing cloud with an emphasis on resilience 2015/2016 Bachelor's thesis IOI RNDr. JUDr. Antonín Steinhauser hidden 29.09.2015 29.09.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Force alignment via neural networks 2017/2018 diploma thesis I RNDr. Jan Kofroň, Ph.D. hidden 12.04.2018 23.04.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Analyzing Data Lineage in Database Frameworks 2018/2019 diploma thesis RNDr. Pavel Parízek, Ph.D. hidden 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 dissertation 4I2 RNDr. Jan Kofroň, Ph.D. hidden 30.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Interactive Game for Android 2017/2018 Bachelor's thesis ISDI RNDr. Jan Kofroň, Ph.D. hidden 18.12.2017 20.12.2017 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Face detection and recognition 2018/2019 Bachelor's thesis RNDr. Jan Kofroň, Ph.D. hidden 25.10.2018 25.10.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Latency aware deployment in the edge-cloud environment 2018/2019 diploma thesis doc. RNDr. Petr Hnětynka, Ph.D. hidden 08.02.2019 11.02.2019 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Dynamic Analysis Framework for C#/.NET Programs 2018/2019 diploma thesis RNDr. Pavel Parízek, Ph.D. hidden 20.11.2018 05.12.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Real-Time Position Tracking System 2017/2018 Bachelor's thesis doc. RNDr. Petr Hnětynka, Ph.D. hidden 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 diploma thesis doc. RNDr. Tomáš Bureš, Ph.D. hidden 31.03.2018 04.04.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Cloud-based JDEECo simulator 2014/2015 diploma thesis doc. RNDr. Tomáš Bureš, Ph.D. hidden 10.11.2014 10.11.2014 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
Results 1-33 of 33 1
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html