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 12138 (Browse shelf) | 1 | Available | 0014212 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Depósito 1 , Collection code: Não Ficção Close shelf browser
QA75.5.INT FCT 41367 ASPLOS-IX | QA75.5.LEC FCT 108 Operating systems | QA75.5.LEC FCT 12137 Alternating sequencial parallel processing | QA75.5.LEC FCT 12138 An analytical description of CHILL | QA75.5.LEC FCT 12140 Verifying concurrent processes using temporal logic | QA75.5.LEC FCT 12141 Axiomatising | QA75.5.LEC FCT 12142 Logics of programs |
There are no comments for this item.