Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Text Book | Central Library, IIT Bhubaneswar | Central Library, IIT Bhubaneswar | 005.432 KOC/U (Browse shelf(Opens below)) | Available | 5642 |
Total holds: 0
Browsing Central Library, IIT Bhubaneswar shelves Close shelf browser (Hides shelf browser)
005.432 GAL/L Logic for computer science : foundations of automatic theorem proving / | 005.432 GAL/L Logic for computer science : foundations of automatic theorem proving / | 005.432 KAN/U Unix Shell Programming | 005.432 KOC/U UNIX Shell programming | 005.432 LOV/L Linux kernel development / | 005.432 LOV/L Linux kernel development / | 005.432 LOV/L Linux kernel development / |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.