000922105 000__ 04030cam\a2200493Ii\4500
000922105 001__ 922105
000922105 005__ 20230306150814.0
000922105 006__ m\\\\\o\\d\\\\\\\\
000922105 007__ cr\un\nnnunnun
000922105 008__ 190710s2020\\\\sz\a\\\\ob\\\\101\0\eng\d
000922105 019__ $$a1108148031$$a1108440593$$a1110239576$$a1110740614$$a1111671565$$a1112115640$$a1112470999$$a1114185576$$a1114921203$$a1117486215$$a1119477553$$a1119764572
000922105 020__ $$a9783030203238$$q(electronic book)
000922105 020__ $$a3030203239$$q(electronic book)
000922105 020__ $$z3030203220
000922105 020__ $$z9783030203221
000922105 0248_ $$a10.1007/978-3-030-20
000922105 035__ $$aSP(OCoLC)on1107875979
000922105 035__ $$aSP(OCoLC)1107875979$$z(OCoLC)1108148031$$z(OCoLC)1108440593$$z(OCoLC)1110239576$$z(OCoLC)1110740614$$z(OCoLC)1111671565$$z(OCoLC)1112115640$$z(OCoLC)1112470999$$z(OCoLC)1114185576$$z(OCoLC)1114921203$$z(OCoLC)1117486215$$z(OCoLC)1119477553$$z(OCoLC)1119764572
000922105 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dN$T$$dOCLCO$$dLQU$$dUKMGB$$dOCLCF$$dGW5XE
000922105 049__ $$aISEA
000922105 050_4 $$aQA10.3$$b.I58 2018eb
000922105 08204 $$a511.3/24$$223
000922105 1112_ $$aInternational Workshop on Boolean Problems$$n(13th :$$d2018 :$$cBremen, Germany)
000922105 24510 $$aAdvanced Boolean techniques :$$bselected papers from the 13th International Workshop on Boolean Problems /$$ceditors, Rolf Drechsler and Mathias Soeken.
000922105 264_1 $$aCham :$$bSpringer,$$c[2020]
000922105 264_4 $$c©2020
000922105 300__ $$a1 online resource :$$billustrations.
000922105 336__ $$atext$$btxt$$2rdacontent
000922105 337__ $$acomputer$$bc$$2rdamedia
000922105 338__ $$aonline resource$$bcr$$2rdacarrier
000922105 504__ $$aIncludes bibliographical references and index.
000922105 5050_ $$aChapter 1. Self-Explaining Digital Systems: Technical View, Implementation Aspects, and Completeness -- Chapter 2.Secure Implementation of Lattice-Based Encryption Schemes -- Chapter 3. Derivative Operations for Classes CN of Boolean Functions -- Chapter 4.Towards the Structure of a Class of Permutation Matrices Associated With Bent Functions -- Chapter 5. Improving SAT Solving Using MONteCarlo Tree Search-based Clause Learning -- Chapter 6.Synthesis of Majority Expressions through Primitive Function Manipulation -- Chapter 7. Literal Selection in Switching Lattice Design -- Chapter 8. Exact Synthesis of ESOP Forms -- Chapter 9.An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions -- Chapter 10.New Results on Reversible Boolean Functions Having Component Functions with Specified Properties -- Chapter 11. Efficient hardware operations for the residue number system by Boolean minimization.
000922105 506__ $$aAccess limited to authorized users.
000922105 520__ $$aThis book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems. Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques; Includes a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems; Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, Boolean and bitwise arithmetic, Software and tools for the solution of Boolean problems, Applications of Boolean logic and algebras, Applications to real-world problems, Boolean constraint solving, and Extensions of Boolean logic.
000922105 588__ $$aOnline resource ; title from PDF title page (viewed July 15, 2019).
000922105 650_0 $$aAlgebra, Boolean$$vCongresses.
000922105 655_7 $$aConference papers and proceedings.
000922105 7001_ $$aDrechsler, Rolf,$$eeditor.
000922105 7001_ $$aSoeken, Mathias,$$eeditor.
000922105 77608 $$iPrint version:$$z3030203220$$z9783030203221$$w(OCoLC)1097254341
000922105 852__ $$bebk
000922105 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-20323-8$$zOnline Access$$91397441.1
000922105 909CO $$ooai:library.usi.edu:922105$$pGLOBAL_SET
000922105 980__ $$aEBOOK
000922105 980__ $$aBIB
000922105 982__ $$aEbook
000922105 983__ $$aOnline
000922105 994__ $$a92$$bISE