![]() Thesis title |
![]() Year of announcement |
![]() Year of defence |
Thesis type | Thesis discipline | ![]() Supervisor |
![]() Author |
![]() Announced |
Assigned | Department | Faculty | |
![]() |
Techniques for equivalence checking in the context of compiler optimizations | 2025/2026 | Bachelor's thesis | IPA, IPP | doc. RNDr. Jan Kofroň, Ph.D. | 18.09.2025 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
![]() |
Heap Support For Hornix | 2025/2026 | diploma thesis | ISWSP, ISWSPA | doc. RNDr. Jan Kofroň, Ph.D. | 18.09.2025 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
Results 1-2 of 2 1



