| 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 30586 (Browse shelf) | 1 | Available | 0014267 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Depósito 1 , Collection code: Não Ficção Close shelf browser
| QA75.5.LEC FCT 27538 Information theory and applications | QA75.5.LEC FCT 30533 Logic program synthesis and transformation - Meta-programming in logic | QA75.5.LEC FCT 30584 Computer science logic | QA75.5.LEC FCT 30586 Computer aided verification | QA75.5.LEC FCT 30587 Automata, languages and programming | QA75.5.LEC FCT 30588 Category theory and computer science | QA75.5.LEC FCT 30589 Logic and computational complexity |
Colocação: Dep. 1
There are no comments for this item.