| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca da FCTUNL Depósito 1 | Não Ficção | QA75.5.LEC FCT 21934 (Browse shelf) | 1 | Available | 0014192 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Depósito 1 , Collection code: Não Ficção Close shelf browser
| QA75.5.LEC FCT 2090 Category theory applied to computation and control | QA75.5.LEC FCT 2091 Calculus and computer science theory | QA75.5.LEC FCT 2092 Complementary definitions of programming language semantics | QA75.5.LEC FCT 21934 Category theory and computer science | QA75.5.LEC FCT 22879 Computer science logic | QA75.5.LEC FCT 22880 Computational logic and proof theory | QA75.5.LEC FCT 22881 Programming language implementation and logic programming |
There are no comments for this item.