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.BOR FCT 94937 (Browse shelf) | 1 | Available | 90518 |
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.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 | QA76.BOR FCT 94937 Practical isolated searchable encryption in a trusted computing environment | QA76.BOT FCT 100896 Sistema para avaliação de postura com utilização de sensores | QA76.BOT FCT 102354 Automatically selecting patients for clinical trials with justifications | QA76.BRI FCT 102011 Tomographic image processing using Julia and GPU |
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.