Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 005.1 SCH (Browse shelf) | Available | 023159 |
005.1 SCE Programming ADO | 005.1 SCE Programming ADO | 005.1 SCH Automated Theorem Proving in Software Engineering | 005.1 SCH Software engineering | 005.1 SCH Applying use cases: A practical guide | 005.1 SED Algorithms | 005.1 SED Introduction to the analysis of algorithms |
There are no comments for this item.