Matches in Library of Congress for { <http://lccn.loc.gov/2010017816> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2010017816 contributor B11758057.
- 2010017816 created "2010.".
- 2010017816 date "2010".
- 2010017816 date "2010.".
- 2010017816 dateCopyrighted "2010.".
- 2010017816 description "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 ... [et al.] -- 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 ... [et al.] -- Boolean aspects of network reliability / Charles J. Colbourn.".
- 2010017816 description "Includes bibliographical references.".
- 2010017816 extent "xviii, 759 p. :".
- 2010017816 identifier "0521847524".
- 2010017816 identifier "9780521847520".
- 2010017816 identifier 9780521847520.jpg.
- 2010017816 identifier 2010017816-b.html.
- 2010017816 identifier 2010017816-d.html.
- 2010017816 identifier 2010017816-t.html.
- 2010017816 isPartOf "Encyclopedia of mathematics and its applications ; [134]".
- 2010017816 isPartOf "Encyclopedia of mathematics and its applications ; v. 134.".
- 2010017816 issued "2010".
- 2010017816 issued "2010.".
- 2010017816 language "eng".
- 2010017816 publisher "Cambridge ; New York : Cambridge University Press,".
- 2010017816 subject "511.3/24 22".
- 2010017816 subject "Algebra, Boolean.".
- 2010017816 subject "Probabilities.".
- 2010017816 subject "QA10.3 .B658 2010".
- 2010017816 tableOfContents "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 ... [et al.] -- 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 ... [et al.] -- Boolean aspects of network reliability / Charles J. Colbourn.".
- 2010017816 title "Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer.".
- 2010017816 type "text".
