Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 004.0151257 HIL (Browse shelf) | Available | 028884 |
004.015113 SIM Theory of formal languages with applications | 004.015113 TAY Models of Computation and Formal Languages | 004.0151135 MIT Verifying cyber-physical systems : a path to safe autonomy | 004.0151257 HIL Foundations of geometric algebra computing | 004.01513 ERC Digital arithmetic | 004.01513 FLY Advanced computer arithmetic design | 004.01513 KUL Advanced arithmetic for the digital computer : Design of arithmetic units |
There are no comments for this item.