Image from Amazon.com
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: Reference, Collection: Computer Science Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 005.1 ThoI Introduction to Algorithms [3rd ed.] / | REF 005.1 TurD Design Concepts in Programming Languages / | REF 005.1 WirH Hands-On Genetic Algorithms with Python : Applying Genetic Algorithms to Solve Real-World Deep Learning and Artificial Intelligence Problems / | REF 005.1015113 HutL2 Logic in Computers Science : | REF 005.11 SkiA3 The Algorithm Design Manual / | REF 005.117 FowU UML DISTILLED A BRIEF GUIDE TO THE STANDARD OBJECT MODELING LANGUAGE | REF 005.117 LarA3 Applying UML and Patterns: An Introduction to Object Oriented Analysis and Design and Iterative Development |
There are no comments on this title.
Log in to your account to post a comment.