Boolean models and methods in mathematics, computer science, and engineering /:
"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 l...
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York :
Cambridge University Press,
2010.
|
| Schriftenreihe: | Encyclopedia of mathematics and its applications ;
v. 134. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | "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 "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"-- |
| Beschreibung: | Series numbering from jacket. |
| Beschreibung: | 1 online resource (xviii, 759 pages) : illustrations |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9781107266940 1107266947 9780511780448 0511780443 9781107270022 1107270022 9781107263383 1107263387 1139887033 9781139887038 1107266637 9781107266636 1107264472 9781107264472 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn847527186 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130610s2010 enka ob 000 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d CAMBR |d YDXCP |d IDEBK |d OCLCF |d EBLCP |d DEBSZ |d EUX |d OCLCQ |d COO |d REB |d OCLCQ |d HEBIS |d OCLCO |d UAB |d OCLCQ |d WYU |d OCLCQ |d AU@ |d UKAHL |d OCLCA |d OCLCQ |d K6U |d VLY |d LUN |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d SFB |d OCLCQ | ||
| 016 | 7 | |a 015584825 |2 Uk | |
| 019 | |a 847520374 |a 850080589 |a 1066437119 |a 1162309675 |a 1170359763 |a 1171678701 |a 1241846760 | ||
| 020 | |a 9781107266940 |q (electronic bk.) | ||
| 020 | |a 1107266947 |q (electronic bk.) | ||
| 020 | |a 9780511780448 |q (electronic bk.) | ||
| 020 | |a 0511780443 |q (electronic bk.) | ||
| 020 | |a 9781107270022 | ||
| 020 | |a 1107270022 | ||
| 020 | |a 9781107263383 |q (e-book) | ||
| 020 | |a 1107263387 |q (e-book) | ||
| 020 | |a 1139887033 | ||
| 020 | |a 9781139887038 | ||
| 020 | |a 1107266637 | ||
| 020 | |a 9781107266636 | ||
| 020 | |a 1107264472 | ||
| 020 | |a 9781107264472 | ||
| 020 | |z 0521847524 | ||
| 020 | |z 9780521847520 | ||
| 035 | |a (OCoLC)847527186 |z (OCoLC)847520374 |z (OCoLC)850080589 |z (OCoLC)1066437119 |z (OCoLC)1162309675 |z (OCoLC)1170359763 |z (OCoLC)1171678701 |z (OCoLC)1241846760 | ||
| 050 | 4 | |a QA10.3 |b .B658 2010eb | |
| 072 | 7 | |a MAT |x 002000 |2 bisacsh | |
| 082 | 7 | |a 511.3/24 |2 22 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Boolean models and methods in mathematics, computer science, and engineering / |c edited by Yves Crama, Peter L. Hammer. |
| 260 | |a Cambridge ; |a New York : |b Cambridge University Press, |c 2010. | ||
| 300 | |a 1 online resource (xviii, 759 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Encyclopedia of mathematics and its applications ; |v [134] | |
| 500 | |a Series numbering from jacket. | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | 0 | |t Algebraic structures. Compositions and clones of Boolean functions / |r Reinhard Pöschel and Ivo Rosenberg -- |t Decomposition of Boolean functions / |r Jan C. Bioch -- |t Logic. Proof theory / |r Alasdair Urquhart -- |t Probabilistic analysis of satisfiability algorithms / |r John Franco -- |t Optimization methods in logic / |r John Hooker -- |t Learning theory and cryptography. Probabilistic learning and Boolean functions / |r Martin Anthony -- |t Learning Boolean functions with queries / |r Robert H. Sloan, Balázs Szörényi, and György Turán -- |t Boolean functions for cryptography and error-correcting codes / |r Claude Carlet -- |t Vectorial Boolean functions for cryptography / |r Claude Carlet -- |t Graph representations and efficient computation models. Binary decision diagrams / |r Beate Bollig [and others] -- |t Circuit complexity / |r Matthias Krause and Ingo Wegener -- |t Fourier transforms and threshold circuit complexity / |r Jehoshua Bruck -- |t Neural networks and Boolean functions / |r Martin Anthony -- |t Decision lists and related classes of Boolean functions / |r Martin Anthony -- |t Applications in engineering. Hardware equivalence and property verification / |r J.-H. Roland Jiang and Tiziano Villa -- |t Synthesis of multi-level Boolean networks / |r Tiziano Villa [and others] -- |t Boolean aspects of network reliability / |r Charles J. Colbourn. |
| 520 | |a "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 | |a "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"-- |c Provided by publisher | ||
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 650 | 0 | |a Algebra, Boolean. |0 http://id.loc.gov/authorities/subjects/sh85003429 | |
| 650 | 0 | |a Probabilities. |0 http://id.loc.gov/authorities/subjects/sh85107090 | |
| 650 | 2 | |a Probability |0 https://id.nlm.nih.gov/mesh/D011336 | |
| 650 | 6 | |a Algèbre de Boole. | |
| 650 | 6 | |a Probabilités. | |
| 650 | 7 | |a probability. |2 aat | |
| 650 | 7 | |a MATHEMATICS |x Algebra |x General. |2 bisacsh | |
| 650 | 7 | |a Algebra, Boolean |2 fast | |
| 650 | 7 | |a Probabilities |2 fast | |
| 650 | 7 | |a Boolesche Algebra |2 gnd |0 http://d-nb.info/gnd/4146280-4 | |
| 650 | 7 | |a Statistische Entscheidungstheorie |2 gnd |0 http://d-nb.info/gnd/4077850-2 | |
| 650 | 7 | |a Maschinelles Lernen |2 gnd | |
| 700 | 1 | |a Crama, Yves, |d 1958- |1 https://id.oclc.org/worldcat/entity/E39PBJcwFtprgbtFTKhxck4rMP |0 http://id.loc.gov/authorities/names/n94039448 | |
| 700 | 1 | |a Hammer, P. L., |d 1936-2006. |1 https://id.oclc.org/worldcat/entity/E39PCjC4dFWdMM4tJCBCmKDhxP |0 http://id.loc.gov/authorities/names/n87900874 | |
| 776 | 0 | 8 | |i Print version: |t Boolean models and methods in mathematics, computer science, and engineering. |d Cambridge ; New York : Cambridge University Press, 2010 |z 0521847524 |w (DLC) 2010017816 |w (OCoLC)607985575 |
| 830 | 0 | |a Encyclopedia of mathematics and its applications ; |v v. 134. |0 http://id.loc.gov/authorities/names/n42010632 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=589167 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH25219957 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26385539 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1218100 | ||
| 938 | |a EBSCOhost |b EBSC |n 589167 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis25780878 | ||
| 938 | |a YBP Library Services |b YANK |n 10755462 | ||
| 938 | |a YBP Library Services |b YANK |n 10759692 | ||
| 938 | |a YBP Library Services |b YANK |n 10760971 | ||
| 938 | |a YBP Library Services |b YANK |n 10799075 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn847527186 |
|---|---|
| _version_ | 1816882234904281088 |
| adam_text | |
| any_adam_object | |
| author2 | Crama, Yves, 1958- Hammer, P. L., 1936-2006 |
| author2_role | |
| author2_variant | y c yc p l h pl plh |
| author_GND | http://id.loc.gov/authorities/names/n94039448 http://id.loc.gov/authorities/names/n87900874 |
| author_additional | Reinhard Pöschel and Ivo Rosenberg -- Jan C. Bioch -- Alasdair Urquhart -- John Franco -- John Hooker -- Martin Anthony -- Robert H. Sloan, Balázs Szörényi, and György Turán -- Claude Carlet -- Beate Bollig [and others] -- Matthias Krause and Ingo Wegener -- Jehoshua Bruck -- J.-H. Roland Jiang and Tiziano Villa -- Tiziano Villa [and others] -- Charles J. Colbourn. |
| author_facet | Crama, Yves, 1958- Hammer, P. L., 1936-2006 |
| author_sort | Crama, Yves, 1958- |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA10 |
| callnumber-raw | QA10.3 .B658 2010eb |
| callnumber-search | QA10.3 .B658 2010eb |
| callnumber-sort | QA 210.3 B658 42010EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Algebraic structures. Compositions and clones of Boolean functions / Decomposition of Boolean functions / Logic. Proof theory / Probabilistic analysis of satisfiability algorithms / Optimization methods in logic / Learning theory and cryptography. Probabilistic learning and Boolean functions / Learning Boolean functions with queries / Boolean functions for cryptography and error-correcting codes / Vectorial Boolean functions for cryptography / Graph representations and efficient computation models. Binary decision diagrams / Circuit complexity / Fourier transforms and threshold circuit complexity / Neural networks and Boolean functions / Decision lists and related classes of Boolean functions / Applications in engineering. Hardware equivalence and property verification / Synthesis of multi-level Boolean networks / Boolean aspects of network reliability / |
| ctrlnum | (OCoLC)847527186 |
| dewey-full | 511.3/24 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/24 |
| dewey-search | 511.3/24 |
| dewey-sort | 3511.3 224 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>07027cam a2200877 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn847527186</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">130610s2010 enka ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">CAMBR</subfield><subfield code="d">YDXCP</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCF</subfield><subfield code="d">EBLCP</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">EUX</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">COO</subfield><subfield code="d">REB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">HEBIS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">UAB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AU@</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">VLY</subfield><subfield code="d">LUN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">015584825</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">847520374</subfield><subfield code="a">850080589</subfield><subfield code="a">1066437119</subfield><subfield code="a">1162309675</subfield><subfield code="a">1170359763</subfield><subfield code="a">1171678701</subfield><subfield code="a">1241846760</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107266940</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107266947</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511780448</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511780443</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107270022</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107270022</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107263383</subfield><subfield code="q">(e-book)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107263387</subfield><subfield code="q">(e-book)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1139887033</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139887038</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107266637</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107266636</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107264472</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107264472</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521847524</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521847520</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)847527186</subfield><subfield code="z">(OCoLC)847520374</subfield><subfield code="z">(OCoLC)850080589</subfield><subfield code="z">(OCoLC)1066437119</subfield><subfield code="z">(OCoLC)1162309675</subfield><subfield code="z">(OCoLC)1170359763</subfield><subfield code="z">(OCoLC)1171678701</subfield><subfield code="z">(OCoLC)1241846760</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA10.3</subfield><subfield code="b">.B658 2010eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">002000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3/24</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Boolean models and methods in mathematics, computer science, and engineering /</subfield><subfield code="c">edited by Yves Crama, Peter L. Hammer.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2010.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xviii, 759 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Encyclopedia of mathematics and its applications ;</subfield><subfield code="v">[134]</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Series numbering from jacket.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Algebraic structures. Compositions and clones of Boolean functions /</subfield><subfield code="r">Reinhard Pöschel and Ivo Rosenberg --</subfield><subfield code="t">Decomposition of Boolean functions /</subfield><subfield code="r">Jan C. Bioch --</subfield><subfield code="t">Logic. Proof theory /</subfield><subfield code="r">Alasdair Urquhart --</subfield><subfield code="t">Probabilistic analysis of satisfiability algorithms /</subfield><subfield code="r">John Franco --</subfield><subfield code="t">Optimization methods in logic /</subfield><subfield code="r">John Hooker --</subfield><subfield code="t">Learning theory and cryptography. Probabilistic learning and Boolean functions /</subfield><subfield code="r">Martin Anthony --</subfield><subfield code="t">Learning Boolean functions with queries /</subfield><subfield code="r">Robert H. Sloan, Balázs Szörényi, and György Turán --</subfield><subfield code="t">Boolean functions for cryptography and error-correcting codes /</subfield><subfield code="r">Claude Carlet --</subfield><subfield code="t">Vectorial Boolean functions for cryptography /</subfield><subfield code="r">Claude Carlet --</subfield><subfield code="t">Graph representations and efficient computation models. Binary decision diagrams /</subfield><subfield code="r">Beate Bollig [and others] --</subfield><subfield code="t">Circuit complexity /</subfield><subfield code="r">Matthias Krause and Ingo Wegener --</subfield><subfield code="t">Fourier transforms and threshold circuit complexity /</subfield><subfield code="r">Jehoshua Bruck --</subfield><subfield code="t">Neural networks and Boolean functions /</subfield><subfield code="r">Martin Anthony --</subfield><subfield code="t">Decision lists and related classes of Boolean functions /</subfield><subfield code="r">Martin Anthony --</subfield><subfield code="t">Applications in engineering. Hardware equivalence and property verification /</subfield><subfield code="r">J.-H. Roland Jiang and Tiziano Villa --</subfield><subfield code="t">Synthesis of multi-level Boolean networks /</subfield><subfield code="r">Tiziano Villa [and others] --</subfield><subfield code="t">Boolean aspects of network reliability /</subfield><subfield code="r">Charles J. Colbourn.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"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</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"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"--</subfield><subfield code="c">Provided by publisher</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Algebra, Boolean.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85003429</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Probabilities.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85107090</subfield></datafield><datafield tag="650" ind1=" " ind2="2"><subfield code="a">Probability</subfield><subfield code="0">https://id.nlm.nih.gov/mesh/D011336</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Algèbre de Boole.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Probabilités.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">probability.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Algebra</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebra, Boolean</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Probabilities</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Boolesche Algebra</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4146280-4</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Statistische Entscheidungstheorie</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4077850-2</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Maschinelles Lernen</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Crama, Yves,</subfield><subfield code="d">1958-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJcwFtprgbtFTKhxck4rMP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n94039448</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hammer, P. L.,</subfield><subfield code="d">1936-2006.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjC4dFWdMM4tJCBCmKDhxP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n87900874</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Boolean models and methods in mathematics, computer science, and engineering.</subfield><subfield code="d">Cambridge ; New York : Cambridge University Press, 2010</subfield><subfield code="z">0521847524</subfield><subfield code="w">(DLC) 2010017816</subfield><subfield code="w">(OCoLC)607985575</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Encyclopedia of mathematics and its applications ;</subfield><subfield code="v">v. 134.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42010632</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=589167</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH25219957</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH26385539</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1218100</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">589167</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis25780878</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10755462</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10759692</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10760971</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10799075</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn847527186 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:25:23Z |
| institution | BVB |
| isbn | 9781107266940 1107266947 9780511780448 0511780443 9781107270022 1107270022 9781107263383 1107263387 1139887033 9781139887038 1107266637 9781107266636 1107264472 9781107264472 |
| language | English |
| oclc_num | 847527186 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xviii, 759 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | Encyclopedia of mathematics and its applications ; |
| series2 | Encyclopedia of mathematics and its applications ; |
| spelling | Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer. Cambridge ; New York : Cambridge University Press, 2010. 1 online resource (xviii, 759 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Encyclopedia of mathematics and its applications ; [134] Series numbering from jacket. Includes bibliographical references. Algebraic structures. Compositions and clones of Boolean functions / Reinhard Pöschel and Ivo Rosenberg -- Decomposition of Boolean functions / Jan C. Bioch -- Logic. Proof theory / Alasdair Urquhart -- Probabilistic analysis of satisfiability algorithms / John Franco -- Optimization methods in logic / John Hooker -- Learning theory and cryptography. Probabilistic learning and Boolean functions / Martin Anthony -- Learning Boolean functions with queries / Robert H. Sloan, Balázs Szörényi, and György Turán -- Boolean functions for cryptography and error-correcting codes / Claude Carlet -- Vectorial Boolean functions for cryptography / Claude Carlet -- Graph representations and efficient computation models. Binary decision diagrams / Beate Bollig [and others] -- Circuit complexity / Matthias Krause and Ingo Wegener -- Fourier transforms and threshold circuit complexity / Jehoshua Bruck -- Neural networks and Boolean functions / Martin Anthony -- Decision lists and related classes of Boolean functions / Martin Anthony -- Applications in engineering. Hardware equivalence and property verification / J.-H. Roland Jiang and Tiziano Villa -- Synthesis of multi-level Boolean networks / Tiziano Villa [and others] -- Boolean aspects of network reliability / Charles J. Colbourn. "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 "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"-- Provided by publisher Print version record. English. Algebra, Boolean. http://id.loc.gov/authorities/subjects/sh85003429 Probabilities. http://id.loc.gov/authorities/subjects/sh85107090 Probability https://id.nlm.nih.gov/mesh/D011336 Algèbre de Boole. Probabilités. probability. aat MATHEMATICS Algebra General. bisacsh Algebra, Boolean fast Probabilities fast Boolesche Algebra gnd http://d-nb.info/gnd/4146280-4 Statistische Entscheidungstheorie gnd http://d-nb.info/gnd/4077850-2 Maschinelles Lernen gnd Crama, Yves, 1958- https://id.oclc.org/worldcat/entity/E39PBJcwFtprgbtFTKhxck4rMP http://id.loc.gov/authorities/names/n94039448 Hammer, P. L., 1936-2006. https://id.oclc.org/worldcat/entity/E39PCjC4dFWdMM4tJCBCmKDhxP http://id.loc.gov/authorities/names/n87900874 Print version: Boolean models and methods in mathematics, computer science, and engineering. Cambridge ; New York : Cambridge University Press, 2010 0521847524 (DLC) 2010017816 (OCoLC)607985575 Encyclopedia of mathematics and its applications ; v. 134. http://id.loc.gov/authorities/names/n42010632 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=589167 Volltext |
| spellingShingle | Boolean models and methods in mathematics, computer science, and engineering / Encyclopedia of mathematics and its applications ; Algebraic structures. Compositions and clones of Boolean functions / Decomposition of Boolean functions / Logic. Proof theory / Probabilistic analysis of satisfiability algorithms / Optimization methods in logic / Learning theory and cryptography. Probabilistic learning and Boolean functions / Learning Boolean functions with queries / Boolean functions for cryptography and error-correcting codes / Vectorial Boolean functions for cryptography / Graph representations and efficient computation models. Binary decision diagrams / Circuit complexity / Fourier transforms and threshold circuit complexity / Neural networks and Boolean functions / Decision lists and related classes of Boolean functions / Applications in engineering. Hardware equivalence and property verification / Synthesis of multi-level Boolean networks / Boolean aspects of network reliability / Algebra, Boolean. http://id.loc.gov/authorities/subjects/sh85003429 Probabilities. http://id.loc.gov/authorities/subjects/sh85107090 Probability https://id.nlm.nih.gov/mesh/D011336 Algèbre de Boole. Probabilités. probability. aat MATHEMATICS Algebra General. bisacsh Algebra, Boolean fast Probabilities fast Boolesche Algebra gnd http://d-nb.info/gnd/4146280-4 Statistische Entscheidungstheorie gnd http://d-nb.info/gnd/4077850-2 Maschinelles Lernen gnd |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85003429 http://id.loc.gov/authorities/subjects/sh85107090 https://id.nlm.nih.gov/mesh/D011336 http://d-nb.info/gnd/4146280-4 http://d-nb.info/gnd/4077850-2 |
| title | Boolean models and methods in mathematics, computer science, and engineering / |
| title_alt | Algebraic structures. Compositions and clones of Boolean functions / Decomposition of Boolean functions / Logic. Proof theory / Probabilistic analysis of satisfiability algorithms / Optimization methods in logic / Learning theory and cryptography. Probabilistic learning and Boolean functions / Learning Boolean functions with queries / Boolean functions for cryptography and error-correcting codes / Vectorial Boolean functions for cryptography / Graph representations and efficient computation models. Binary decision diagrams / Circuit complexity / Fourier transforms and threshold circuit complexity / Neural networks and Boolean functions / Decision lists and related classes of Boolean functions / Applications in engineering. Hardware equivalence and property verification / Synthesis of multi-level Boolean networks / Boolean aspects of network reliability / |
| title_auth | Boolean models and methods in mathematics, computer science, and engineering / |
| title_exact_search | Boolean models and methods in mathematics, computer science, and engineering / |
| title_full | Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer. |
| title_fullStr | Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer. |
| title_full_unstemmed | Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer. |
| title_short | Boolean models and methods in mathematics, computer science, and engineering / |
| title_sort | boolean models and methods in mathematics computer science and engineering |
| topic | Algebra, Boolean. http://id.loc.gov/authorities/subjects/sh85003429 Probabilities. http://id.loc.gov/authorities/subjects/sh85107090 Probability https://id.nlm.nih.gov/mesh/D011336 Algèbre de Boole. Probabilités. probability. aat MATHEMATICS Algebra General. bisacsh Algebra, Boolean fast Probabilities fast Boolesche Algebra gnd http://d-nb.info/gnd/4146280-4 Statistische Entscheidungstheorie gnd http://d-nb.info/gnd/4077850-2 Maschinelles Lernen gnd |
| topic_facet | Algebra, Boolean. Probabilities. Probability Algèbre de Boole. Probabilités. probability. MATHEMATICS Algebra General. Algebra, Boolean Probabilities Boolesche Algebra Statistische Entscheidungstheorie Maschinelles Lernen |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=589167 |
| work_keys_str_mv | AT cramayves booleanmodelsandmethodsinmathematicscomputerscienceandengineering AT hammerpl booleanmodelsandmethodsinmathematicscomputerscienceandengineering |