  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 | |
 |
Reconstructing the Pygmalion programming environment | 2023/2024 | bakalářská práce | Mgr. Tomáš Petříček, Ph.D. | skrytý |
26.09.2023 | 26.09.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Návrh LLM promptu pro iterativní data exploraci | 2023/2024 | bakalářská práce | Mgr. Tomáš Petříček, Ph.D. | Mikoláš Fromm | 24.09.2023 | 26.09.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
.NET library for the MediaWiki API | 2011/2012 | 2012/2013 | bakalářská práce | IOI | Mgr. Tomáš Petříček, Ph.D. | skrytý |
24.11.2011 | 02.12.2011 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
IntelliSense Integration for Coq Theorem Prover | 2009/2010 | 2011/2012 | diplomová práce | ISS | Mgr. Tomáš Petříček, Ph.D. | skrytý |
06.09.2010 | 09.09.2010 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
Data-driven low-code programming system | 2023/2024 | bakalářská práce | Mgr. Tomáš Petříček, Ph.D. | skrytý |
21.09.2023 | 21.09.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Interactive pandemic simulation to encourage critical thinking | 2023/2024 | bakalářská práce | Mgr. Tomáš Petříček, Ph.D. | skrytý |
22.03.2024 | 25.03.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Query langauge for relational databases | 2023/2024 | bakalářská práce | Mgr. Tomáš Petříček, Ph.D. | skrytý |
28.01.2024 | 01.02.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Patterns for Practical User Interface Development in Functional Languages | 2011/2012 | diplomová práce | ITI | Mgr. Tomáš Petříček, Ph.D. | skrytý |
18.10.2011 | 24.10.2011 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
|
Semantics Engineering with Concrete Syntax and Theorem Proving | 2023/2024 | disertační práce | P4I2 | Mgr. Tomáš Petříček, Ph.D. | skrytý |
27.02.2024 | 28.02.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
AgentLang - Programming Language for Agent-based Modeling | 2023/2024 | bakalářská práce | Mgr. Tomáš Petříček, Ph.D. | Tomáš Boďa | 21.09.2023 | 21.09.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Abstract interpretation of pandas | 2023/2024 | bakalářská práce | Mgr. Tomáš Petříček, Ph.D. | skrytý |
22.03.2024 | 25.03.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Combining effects with dependent types | 2023/2024 | bakalářská práce | Mgr. Tomáš Petříček, Ph.D. | skrytý |
20.03.2024 | 26.03.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
Výsledky 1-12 z 12 1