FEEDBACK Smiley face

Decision procedures : (Record no. 117460)

000 -LEADER
fixed length control field 00761nam a22002657a 4500
003 - CONTROL NUMBER IDENTIFIER
control field IIITD
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200303161123.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 200227b xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783662504963
040 ## - CATALOGING SOURCE
Original cataloging agency IIITD
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 519.542
Item number KRO-D
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Kroening, Daniel
245 ## - TITLE STATEMENT
Title Decision procedures :
Remainder of title an algorithmic point of view
Statement of responsibility, etc by Daniel Kroening and Ofer Strichman
250 ## - EDITION STATEMENT
Edition statement 2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc Springer,
Place of publication, distribution, etc Berlin :
Date of publication, distribution, etc ©2016
300 ## - PHYSICAL DESCRIPTION
Extent xxi, 356 p. ;
Dimensions 24cm.
490 ## - SERIES STATEMENT
Series statement Texts in theoretical computer science an EATCS
500 ## - GENERAL NOTE
General note Includes index
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algorithms
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software engineering
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Strichman, Ofer
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Permanent Location Current Location Shelving location Date acquired Cost, normal purchase price Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type Bill No. Bill Date PO No. PO Date Vendor/Supplier
        Not For Loan Mathematics IIITD IIITD Reference 2020-02-27 3646 REF 519.542 KRO-D 010161 2020-02-27 €66.99 2020-02-27 Reference TB2390 2020-02-22 IIITD/LIC/BS/2018/04/44 2019-12-30 Technical Bureau India Pvt. Ltd.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in