000 02931nam a22005175i 4500
001 978-3-030-68071-8
003 DE-He213
005 20220801220243.0
007 cr nn 008mamaa
008 210429s2021 sz | s |||| 0|eng d
020 _a9783030680718
_9978-3-030-68071-8
024 7 _a10.1007/978-3-030-68071-8
_2doi
050 4 _aTK7895.E42
072 7 _aUKM
_2bicssc
072 7 _aTEC008010
_2bisacsh
072 7 _aUKM
_2thema
082 0 4 _a006.22
_223
245 1 0 _aRecent Findings in Boolean Techniques
_h[electronic resource] :
_bSelected Papers from the 14th International Workshop on Boolean Problems /
_cedited by Rolf Drechsler, Daniel Große.
250 _a1st ed. 2021.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2021.
300 _aVII, 197 p. 68 illus., 36 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
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 14th 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 14th annual International Workshop on Boolean Problems; Covers Boolean algebras, Boolean logic, Boolean modeling, combinatorial search, Boolean and bitwise arithmetic, symbolic computer algebra, 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.
650 0 _aEmbedded computer systems.
_97792
650 0 _aElectronic circuit design.
_94185
650 0 _aCooperating objects (Computer systems).
_96195
650 1 4 _aEmbedded Systems.
_932486
650 2 4 _aElectronics Design and Verification.
_938529
650 2 4 _aCyber-Physical Systems.
_932475
700 1 _aDrechsler, Rolf.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_91810
700 1 _aGroße, Daniel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_949215
710 2 _aSpringerLink (Online service)
_949216
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030680701
776 0 8 _iPrinted edition:
_z9783030680725
776 0 8 _iPrinted edition:
_z9783030680732
856 4 0 _uhttps://doi.org/10.1007/978-3-030-68071-8
912 _aZDB-2-ENG
912 _aZDB-2-SXE
942 _cEBK
999 _c78372
_d78372