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 12137 (Browse shelf) | 1 | Available | 0014211 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Depósito 1 , Collection code: Não Ficção Close shelf browser
QA75.5.INT FCT 41364 Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00), held in Montreal, Canada, September 20-23, 2000 | 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 |
There are no comments for this item.