MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04838cam a22004574a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
16203249 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240612173835.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100426s2010 enka b 000 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2010017816 |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBB076675 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
015584825 |
| Source |
Uk |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0521847524 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780521847520 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)ocn607985575 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Transcribing agency |
DLC |
| Modifying agency |
BTCTA |
| -- |
YDXCP |
| -- |
YUS |
| -- |
C#P |
| -- |
IOG |
| -- |
BWX |
| -- |
CDX |
| -- |
YHM |
| -- |
IXA |
| -- |
UKM |
| -- |
COD |
| -- |
DLC |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA10.3 |
| Item number |
.B658 2010 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.324 |
| Edition information |
22 |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Crama, Yves |
| Relator term |
Editor |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Boolean models and methods in mathematics, computer science, and engineering / |
| Statement of responsibility, etc. |
edited by Yves Crama, Peter L. Hammer. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Cambridge ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Cambridge University Press, |
| Date of publication, distribution, etc. |
2010. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xviii, 759 p. : |
| Other physical details |
ill. ; |
| Dimensions |
25 cm. |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Encyclopedia of mathematics and its applications ; |
| Volume/sequential designation |
[134] |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Series numbering from jacket. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Algebraic structures. Compositions and clones of Boolean functions / |
| Statement of responsibility |
Reinhard P�oschel and Ivo Rosenberg -- |
| Title |
Decomposition of Boolean functions / |
| Statement of responsibility |
Jan C. Bioch -- |
| Title |
Logic. Proof theory / |
| Statement of responsibility |
Alasdair Urquhart -- |
| Title |
Probabilistic analysis of satisfiability algorithms / |
| Statement of responsibility |
John Franco -- |
| Title |
Optimization methods in logic / |
| Statement of responsibility |
John Hooker -- |
| Title |
Learning theory and cryptography. Probabilistic learning and Boolean functions / |
| Statement of responsibility |
Martin Anthony -- |
| Title |
Learning Boolean functions with queries / |
| Statement of responsibility |
Robert H. Sloan, Bal�azs Sz�or�enyi, and Gy�orgy Tur�an -- |
| Title |
Boolean functions for cryptography and error-correcting codes / |
| Statement of responsibility |
Claude Carlet -- |
| Title |
Vectorial Boolean functions for cryptography / |
| Statement of responsibility |
Claude Carlet -- |
| Title |
Graph representations and efficient computation models. Binary decision diagrams / |
| Statement of responsibility |
Beate Bollig ... [et al.] -- |
| Title |
Circuit complexity / |
| Statement of responsibility |
Matthias Krause and Ingo Wegener -- |
| Title |
Fourier transforms and threshold circuit complexity / |
| Statement of responsibility |
Jehoshua Bruck -- |
| Title |
Neural networks and Boolean functions / |
| Statement of responsibility |
Martin Anthony -- |
| Title |
Decision lists and related classes of Boolean functions / |
| Statement of responsibility |
Martin Anthony -- |
| Title |
Applications in engineering. Hardware equivalence and property verification / |
| Statement of responsibility |
J.-H. Roland Jiang and Tiziano Villa -- |
| Title |
Synthesis of multi-level Boolean networks / |
| Statement of responsibility |
Tiziano Villa ... [et al.] -- |
| Title |
Boolean aspects of network reliability / |
| Statement of responsibility |
Charles J. Colbourn. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory. Many readers will be surprised to discover the countless links between seemingly remote topics discussed in various chapters of the book. This text will help them draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research"--Provided by publisher. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory"-- |
| Assigning source |
Provided by publisher. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Algebra, Boolean. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Probabilities. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hammer, P. L., |
| Dates associated with a name |
1936-2006. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Encyclopedia of mathematics and its applications ; |
| Volume/sequential designation |
v. 134. |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Cover image |
| Uniform Resource Identifier |
<a href="http://assets.cambridge.org/97805218/47520/cover/9780521847520.jpg">http://assets.cambridge.org/97805218/47520/cover/9780521847520.jpg</a> |
| 856 41 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Table of contents only |
| Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/enhancements/fy1009/2010017816-t.html">http://www.loc.gov/catdir/enhancements/fy1009/2010017816-t.html</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Publisher description |
| Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/enhancements/fy1009/2010017816-d.html">http://www.loc.gov/catdir/enhancements/fy1009/2010017816-d.html</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Contributor biographical information |
| Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/enhancements/fy1009/2010017816-b.html">http://www.loc.gov/catdir/enhancements/fy1009/2010017816-b.html</a> |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
|---|
| a |
7 |
| b |
cbc |
| c |
orignew |
| d |
1 |
| e |
ecip |
| f |
20 |
| g |
y-gencatlg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |
| Koha item type |
Carti |
| Suppress in OPAC |
No |