Decision Procedures [2nd ed.] [Perpetual] (Record no. 563528)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01005 a2200301 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20210713153412.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 210204b xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783662504963 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | IIT Kanpur |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 519.542 |
| Item number | K913d2 |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Kroening, Daniel |
| 245 ## - TITLE STATEMENT | |
| Title | Decision Procedures [2nd ed.] [Perpetual] |
| Remainder of title | an algorithmic point of view |
| Statement of responsibility, etc | Daniel Kroening and Ofer Strichman |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Name of publisher | Springer-Verlag |
| Year of publication | 2016 |
| Place of publication | Berlin |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | xxi, 356p |
| 440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Texts in theoretical computer science. An EATCS series |
| 490 ## - SERIES STATEMENT | |
| Series statement | / edited by Monika Henzinger |
| 500 ## - GENERAL NOTE | |
| General note | with 64 illustrations, (5 illustrations in color) |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Decision making -- Mathematical models |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Logic, Symbolic and mathematical |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Software engineering |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer science |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Strichman, Ofer |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://link.springer.com/book/10.1007/978-3-662-50497-0 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E books |
| Withdrawn status | Lost status | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Source of acquisition | Cost, normal purchase price | Full call number | Accession Number | Cost, replacement price | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Electronic Resources | PK Kelkar Library, IIT Kanpur | PK Kelkar Library, IIT Kanpur | 20/07/2021 | 88 | 41852.03 | 519.542 K913d2 | EBK10661 | 39859.08 | E books |