Předměty
- Bezpečnost softwarových systémů v praxiNSWI202 | Matematicko-fyzikální fakulta
- Návrhové vzoryNPRG024 | Matematicko-fyzikální fakulta
- Ročníkový projektNPRG045 | Matematicko-fyzikální fakulta
- Softwarový projektNPRG069 | Matematicko-fyzikální fakulta
- Výzkumný projektNPRG070 | Matematicko-fyzikální fakulta
- Firemní projektNPRG071 | Matematicko-fyzikální fakulta
- Zvýšený rozsah projektuNPRG072 | Matematicko-fyzikální fakulta
- Mezinárodní výzkumný projektNPRG081 | Matematicko-fyzikální fakulta
- Principy distribuovaných systémůNSWI035 | Matematicko-fyzikální fakulta
- Vývoj cloudových aplikací +1NSWI152 | Matematicko-fyzikální fakulta
Publikace
- Slicito: Using Computational Notebooks for Program Comprehension2023 | Matematicko-fyzikální fakulta
- Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages2022 | Matematicko-fyzikální fakulta
- PeachPie: Mature PHP to CLI Compiler2022 | Matematicko-fyzikální fakulta
- Handling Heap Data Structures in Backward Symbolic Execution2020 | Matematicko-fyzikální fakulta
- Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations2020 | Matematicko-fyzikální fakulta
- AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention2019 | Matematicko-fyzikální fakulta
- Source Code Assertion Verification Using Backward Symbolic Execution2019 | Matematicko-fyzikální fakulta
- Portable Timepix3 Compton Camera for Real-time Gamma Imaging2019 | Matematicko-fyzikální fakulta
- Semantic Analysis of Ambiguous Types in Dynamic Languages2018 | Matematicko-fyzikální fakulta
- Player Performance Evaluation in Team-Based First-Person Shooter eSport2018 | Matematicko-fyzikální fakulta
Loading network view...
