Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Monografia | Biblioteca da FCTUNL Depósito 1 | Não Ficção | CIUL-398 FCT 84315 (Browse shelf) | 1 | Available | 84436 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Depósito 1 , Collection code: Não Ficção Close shelf browser
No cover image available | ||||||||
CIUL-394 FCT 84312 6th conference on automated deduction | CIUL-395 FCT 84313 The handbook of artificial intelligence | CIUL-396 FCT 84314 Intuitionism | CIUL-398 FCT 84315 Software development | CIUL-403 FCT 84316 Mathematical theory of program correctness | CIUL-404 FCT 84317 Structured design | CIUL-405 FCT 84318 A model for error detection and correction |
There are no comments for this item.