Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Monografia | Biblioteca da FCTUNL Sala azul/Piso 2 | Não Ficção | QA76.6.LOG FCT 31401 (Browse shelf) | 1 | Available | 0014652 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Sala azul/Piso 2 , Collection code: Não Ficção Close shelf browser
QA76.6.LAN FCT 23471 Languages for parallel architectures | QA76.6.LOE FCT 22855 The foundations of program verification | QA76.6.LOG FCT 31394 Logic programming | QA76.6.LOG FCT 31401 Logic programming | QA76.6.LOG FCT 31414 Logic programming | QA76.6.MAD FCT 21655 Operating systems | QA76.6.MAN FCT 21135 The temporal logic of reactive and concurrent systems |
There are no comments for this item.