육군3사관학교 도서관검색
- Home
- 기능목록
- 검색
-
Marc 보기
MARC 닫기
-
LDR
00000nam c2200205 a 4500
-
001
000001268264
-
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
-
LDR
- 바구니담기
- 내서재 담기
- 내보내기
상세정보
Boolean models and methods in mathematics, computer science, and engineering
QR코드| 자료유형 : | 단행본 |
|---|---|
| ISBN : | 9780521847520 (hbk.) |
| 개인저자 : | Crama, Yves, 1958-. |
| 서명/저자사항 : | Boolean models and methods in mathematics, computer science, and engineering /: edited by Yves Crama Peter L. Hammer. |
| 발행사항 : | Cambridge ; New York: Cambridge University Press, c2010. |
| 형태사항 : | xviii, 759 p.: ill.; 25 cm. |
| 총서사항 : | 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 [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. |
| 일반주제명 : | Algebra, Boolean. -- |
| 일반주제명 : | Probabilities. -- |
| 개인저자 : | Crama, Yves, 1958-. |
| 개인저자 : | Hammer, P. L., 1936-2006. |
| 분류기호 : | 410.17 |
| 언어 | 영어 |
예약
- 1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
- 2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
- 3. 기타 문의사항은 도서관에 문의 바랍니다.
무인예약대출
- 1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
- 2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
- 3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
- 4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
- 5. 기타 문의사항은 도서관에 문의 바랍니다.
(新) 수학의 바이블 : 수학I / 제5판
410 민14ㅅ
(新)수학의 바이블 : 수학I 풀이집 / 제5판
410 민14ㅅ5
벌거벗은 통계학 : 복잡한 세상을 꿰뚫은 수학적 통찰력 = Naked statistics
413.8 윌233ㅂ김
개념 있는 수학자 : 대수·미적분·확률과 통계 편
410 이16개
하리하라의 생물학 카페 : 신화에서 발견한 36가지 생물학 이야기
472 이68ㅎ
흩어짐
481.508 리73ㅎ서
서평쓰기