Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Teses e dissertações | Biblioteca da FCTUNL Online | Não Ficção | QA76.BAR FCT 99242 (Browse shelf) | 1 | Available | 91852 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Online , Collection code: Não Ficção Close shelf browser
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
QA76.AZE FCT 94479 Image stream similarity search in GPU clusters | QA76.BAR FCT 105344 Multimodal on-the-fly news media exploration | QA76.BAR FCT 99171 Analysis of code blocks for concern detection in MATLAB systems | QA76.BAR FCT 99242 Conflict-free replicated data types in dynamic environments | QA76.BAR FCT 99316 Formally verified bug-free implementations of (logical) algorithms | QA76.BEI FCT 98792 Modelos de risco para inimigos do brócolo | QA76.BOR FCT 101923 Verifying and enforcing application constraints in antidote SQL |
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, para a obtenção do grau de Mestre em Engenharia Informática
There are no comments for this item.