//]]>

Correct hardware design and verification methods : (Record no. 30515)

000 -LEADER
fixed length control field 01325cam a22003017a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200111094411.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 050826s2005 gw a b 101 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540291059 (pbk.)
International Standard Book Number 9783540291053
041 ## - Language
Language code of text/sound track or separate title eng
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.395
Edition number 22
Item number C824
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element CHARME 2005
Date of meeting (2005 :
Location of meeting Saarbrucken, Germany)
9 (RLIN) 29853
245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE
Title Correct hardware design and verification methods :
Remainder of title 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005 : proceedings /
Statement of responsibility, etc Dominique Borrione, Wolfgang Paul (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title CHARME 2005
Title proper/short title IFIP CHARME 2005
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin ;
-- New York :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc 2005.
300 ## - PHYSICAL DESCRIPTION
Extent xii, 412 p. :
Other physical details ill. ;
Dimensions 24 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
9 (RLIN) 5927
Title Lecture notes in computer science ;
International Standard Serial Number 0302-9743 ;
Volume number/sequential designation 3725
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE
Additional physical form available note Also issued online.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Integrated circuits
General subdivision Very large scale integration
-- Computer-aided design
9 (RLIN) 29855
Topical term or geographic name as entry element Integrated circuits
General subdivision Verification
9 (RLIN) 22741
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Borrione, Dominique.
9 (RLIN) 29856
Relator term editor
Personal name Paul, Wolfgang J.,
Dates associated with a name 1951-
9 (RLIN) 29857
Relator term editor
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element IFIP WG 10.5.
9 (RLIN) 29858
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents only
Uniform Resource Identifier http://www.loc.gov/catdir/enhancements/fy1401/2005932937-t.html
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type Book
Copies
Price effective from Permanent location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Barcode Damaged status Lost status Shelving location Withdrawn status Current location Full call number
2014-09-24AUM Main Library2014-09-24 2014-09-24 BookAUM-019898  English Collections Hall AUM Main Library621.395 C824
2014-09-24AUM Main Library2014-09-24 2014-09-24 BookAUM-019899  English Collections Hall AUM Main Library621.395 C824
2014-09-24AUM Main Library2014-09-24 2014-09-24 BookAUM-019900  English Collections Hall AUM Main Library621.395 C824

Languages: 
English |
العربية