FEEDBACK Smiley face

Logic synthesis and verification algorithms (Record no. 8329)

000 -LEADER
fixed length control field 01276cam a2200313 a 4500
001 - CONTROL NUMBER
control field 14169035
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20171028020003.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 051115s2006 nyua b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2005937330
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788181284839
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TK7874.75
Item number .H33 2006
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.395
Edition number 22
Item number HAC-L
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Hachtel, Gary D.
245 10 - TITLE STATEMENT
Title Logic synthesis and verification algorithms
Statement of responsibility, etc Gary Hachtel, Fabio Somenzi.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc New York :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc c2006.
300 ## - PHYSICAL DESCRIPTION
Extent xxxii, 564 p. :
Other physical details ill. ;
Dimensions 26 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. 537-553) and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Integrated circuits
General subdivision Very large scale integration
-- Design
-- Data processing.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic design
General subdivision Data processing.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Integrated circuits
General subdivision Verification.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer-aided design.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Somenzi, Fabio.
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier http://www.loc.gov/catdir/enhancements/fy0663/2005937330-d.html
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents only
Uniform Resource Identifier http://www.loc.gov/catdir/enhancements/fy0824/2005937330-t.html
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 2
e epcn
f 20
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type Books
Koha issues (borrowed), all copies 1
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 Total Checkouts Full call number Barcode Date last seen Date last borrowed Cost, replacement price Price effective from Koha item type Bill No. Bill Date PO No. PO Date Vendor/Supplier
          Electronics and Communication Engineering IIITD IIITD General Stacks 2013-05-31 446.25 1 621.395 HAC-L 002498 2017-11-01 2017-10-27 595 2013-05-31 Books KBD/2013-2014/6061 2013-05-25 IIITD/LIC/BS/2012/03/28 2013-05-15 Krishna Book Distributors

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