Boolean models and methods in mathematics, computer science, and engineering / (Record no. 517200)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03723nam a22003858i 4500 |
| 001 - CONTROL NUMBER | |
| control field | CR9780511780448 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | UkCbUP |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200124160226.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION | |
| fixed length control field | m|||||o||d|||||||| |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr|||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 100519s2010||||enk o ||1 0|eng|d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780511780448 (ebook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Cancelled/invalid ISBN | 9780521847520 (hardback) |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | UkCbUP |
| Language of cataloging | eng |
| Description conventions | rda |
| Transcribing agency | UkCbUP |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA10.3 |
| Item number | .B658 2010 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3/24 |
| Edition number | 22 |
| 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. |
| 246 3# - VARYING FORM OF TITLE | |
| Title proper/short title | Boolean Models & Methods in Mathematics, Computer Science, & Engineering |
| 264 #1 - Production, Publication, Distribution, Manufacture, and Copyright Notice (R) | |
| Place of production, publication, distribution, manufacture (R) | Cambridge : |
| Name of producer, publisher, distributor, manufacturer (R) | Cambridge University Press, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2010. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (xviii, 759 pages) : |
| Other physical details | digital, PDF file(s). |
| 336 ## - Content Type (R) | |
| Content type term (R) | text |
| Content type code (R) | txt |
| Source (NR) | rdacontent |
| 337 ## - Media Type (R) | |
| Media type term (R) | computer |
| Media type code (R) | c |
| Source (NR) | rdamedia |
| 338 ## - Carrier Type (R) | |
| Carrier type term (R) | online resource |
| Carrier type code (R) | cr |
| Source (NR) | rdacarrier |
| 490 1# - SERIES STATEMENT | |
| სერიის ცნობა | Encyclopedia of mathematics and its applications ; |
| Volume number/sequential designation | volume 134 |
| 500 ## - GENERAL NOTE | |
| General note | Title from publisher's bibliographic system (viewed on 05 Oct 2015). |
| 505 00 - FORMATTED CONTENTS NOTE | |
| Title | Algebraic structures. Compositions and clones of Boolean functions / |
| Statement of responsibility | Reinhard Pöschel 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ázs Szörényi, and György Turán -- |
| 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Algebra, Boolean. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Probabilities. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Crama, Yves, |
| Dates associated with a name | 1958- |
| Relator term | editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Hammer, P. L., |
| Dates associated with a name | 1936-2006, |
| Relator term | editor. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Print version: |
| International Standard Book Number | 9780521847520 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Encyclopedia of mathematics and its applications ; |
| Volume number/sequential designation | v. 134. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1017/CBO9780511780448">https://doi.org/10.1017/CBO9780511780448</a> |
No items available.