| 000 | 03823nam a22005295i 4500 | ||
|---|---|---|---|
| 001 | 978-3-030-20323-8 | ||
| 003 | DE-He213 | ||
| 005 | 20220801213552.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 190708s2020 sz | s |||| 0|eng d | ||
| 020 |
_a9783030203238 _9978-3-030-20323-8 |
||
| 024 | 7 |
_a10.1007/978-3-030-20323-8 _2doi |
|
| 050 | 4 | _aTK7867-7867.5 | |
| 072 | 7 |
_aTJFC _2bicssc |
|
| 072 | 7 |
_aTEC008010 _2bisacsh |
|
| 072 | 7 |
_aTJFC _2thema |
|
| 082 | 0 | 4 |
_a621.3815 _223 |
| 245 | 1 | 0 |
_aAdvanced Boolean Techniques _h[electronic resource] : _bSelected Papers from the 13th International Workshop on Boolean Problems / _cedited by Rolf Drechsler, Mathias Soeken. |
| 250 | _a1st ed. 2020. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2020. |
|
| 300 |
_aVIII, 265 p. 53 illus., 34 illus. in color. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 505 | 0 | _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
Monte Carlo 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. | |
| 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. | ||
| 650 | 0 |
_aElectronic circuits. _919581 |
|
| 650 | 0 |
_aLogic design. _93686 |
|
| 650 | 0 |
_aElectronics. _93425 |
|
| 650 | 1 | 4 |
_aElectronic Circuits and Systems. _932931 |
| 650 | 2 | 4 |
_aLogic Design. _93686 |
| 650 | 2 | 4 |
_aElectronics and Microelectronics, Instrumentation. _932249 |
| 700 | 1 |
_aDrechsler, Rolf. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _91810 |
|
| 700 | 1 |
_aSoeken, Mathias. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _91811 |
|
| 710 | 2 |
_aSpringerLink (Online service) _932932 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030203221 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030203245 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030203252 |
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-20323-8 |
| 912 | _aZDB-2-ENG | ||
| 912 | _aZDB-2-SXE | ||
| 942 | _cEBK | ||
| 999 |
_c75337 _d75337 |
||