Logic in Computers Science : Modelling And Reasoning About Systems
Material type:
TextLanguage: English Publication details: Cambridge Cambridge University Press 2004Edition: 2ndDescription: 427ISBN: - 9780521670890
- 005.1015113Â SRI/O
| Item type | Current library | Collection | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Indian Institute of Technology Tirupati General Stacks | Computer Science | 005.1015113 HUT/L (Browse shelf(Opens below)) | Available | 07505 | |
Books
|
Indian Institute of Technology Tirupati General Stacks | Computer Science | 005.1015113 HUT/L (Browse shelf(Opens below)) | Available | 07301 | |
Books
|
Indian Institute of Technology Tirupati General Stacks | Computer Science | 005.1015113 HUT/L (Browse shelf(Opens below)) | Available | 07302 | |
Reference
|
Indian Institute of Technology Tirupati Reference | Computer Science | REF 005.1015113 HutL2 (Browse shelf(Opens below)) | Not for loan | 07303 |
Browsing Indian Institute of Technology Tirupati shelves, Shelving location: General Stacks, Collection: Computer Science Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.1 WIR/H Hands-On Genetic Algorithms with Python : Applying Genetic Algorithms to Solve Real-World Deep Learning and Artificial Intelligence Problems / | 005.1 WOH/E Experimentation in Software Engineering | 005.1015113 HUT/L Logic in Computers Science : | 005.1015113 HUT/L Logic in Computers Science : | 005.1015113 HUT/L Logic in Computers Science : | 005.1068 BRO/M The Mythical Man-Month : Essays on Software Engineering / | 005.11 SKI/A The Algorithm Design Manual / |
There are no comments on this title.
Log in to your account to post a comment.