000			03630nam a22004335c 4500
942			_2lcc _cLE
988			_aSpringer_Engineering_2020
999			_c114379 _d114379 _x1
001			114379
003			ES-MaUEC
005			20230110040219.0
006			a||||fo|||| 00| 0
007			cr nn nnnaamaa
008			190708s2020 gw a o |||| 0|eng d
020			_a9783030203238
024	7		_a10.1007/978-3-030-20323-8 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA10.3 _b2020 EB
245	0	0	_aAdvanced Boolean Techniques : _bSelected Papers from the 13th International Workshop on Boolean Problems _cedited by Rolf Drechsler, Mathias Soeken
250			_aFirst edition
264		1	_aCham _bSpringer International Publishing _c2020
300			_a1 recurso en línea (VIII, 265 páginas) _b53 ilustraciones, 34 ilustraciones a color
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_atext file _bPDF
490	0		_aEngineering (Springer-11647)
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	3		_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		7	_2embne _9405096 _aBoole, Álgebra de
650		7	_2embne _aLógica matemática _9139136
650		7	_2embne _aDiseño de sistemas _9158356
700	1		_aDrechsler, Rolf _eeditor _4edt _4http://id.loc.gov/vocabulary/relators/edt _999112
700	1		_aSoeken, Mathias _eeditor _4edt _4http://id.loc.gov/vocabulary/relators/edt
776	0	8	_iPrinted edition: _z9783030203221
776	0	8	_iPrinted edition: _z9783030203245
776	0	8	_iPrinted edition: _z9783030203252
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-20323-8 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
998			_aSI _cm _dz _feng _ggw _h0 _b12/2019 _eel _zSI