MARC 닫기

• LDR

  00000nam c2200205 a 4500

• 001

  000000961120

• 005

  20181021161440

• 007

  ta

• 008

  110819s2010 enka b 000 0 eng

• 020

  ▼a  9780521847520 (hbk.)

• 035

  ▼a  (KERIS)BIB000012274399

• 040

  ▼a  211035
  ▼c  211035
  ▼d  247019

• 100

  ▼a  Crama, Yves,
  ▼d  1958-.

• 245

  ▼a  Boolean models and methods in mathematics, computer science, and engineering /:
  ▼c  edited by Yves Crama
  ▼e  Peter L. Hammer.

• 260

  ▼a  Cambridge ;
  ▼a  New York:
  ▼b  Cambridge University Press,
  ▼c  c2010.

• 300

  ▼a  xviii, 759 p.:
  ▼b  ill.;
  ▼c  25 cm.

• 440

  ▼a  Encyclopedia of mathematics and its applications;
  ▼v  134

• 500

  ▼a  Series numbering from jacket.

• 504

  ▼a  Includes bibliographical references.

• 505

  ▼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 [et al.] --
  ▼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 [et al.] --
  ▼t  Boolean aspects of network reliability /
  ▼r  Charles J. Colbourn.

• 650

  ▼a  Algebra, Boolean.

• 650

  ▼a  Probabilities.

• 700

  ▼a  Crama, Yves,
  ▼d  1958-.

• 700

  ▼a  Hammer, P. L.,
  ▼d  1936-2006.

• 990

  ▼a  이수진

• 991

  ▼a  단행본

• 090

  ▼a  410.17
  ▼b  C889b