| 000 | 02718nam a22004095i 4500 | ||
|---|---|---|---|
| 999 |
_c362002 _d362002 _x1 |
||
| 001 | 362002 | ||
| 003 | ES-MaUEC | ||
| 005 | 20230102121456.0 | ||
| 006 | a||||fo|||| 00| 0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 220205s2021 gw | s |1|| 0|eng d | ||
| 020 | _a9783030680718 | ||
| 024 | 7 |
_a10.1007/978-3-030-68071-8 _2doi |
|
| 040 |
_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC |
||
| 050 | 4 |
_aQA10.3 _b2021 EB |
|
| 245 | 0 | 0 |
_aRecent Findings in Boolean Techniques : _bSelected Papers from the 14th International Workshop on Boolean Problems _cedited by Rolf Drechsler, Daniel Große |
| 250 | _aFirst edition 2021 | ||
| 264 | 1 |
_aCham _bSpringer International Publishing _c2021 |
|
| 300 |
_a1 recurso en línea (VII, 197 páginas) _b 68 ilustraciones, 36 ilustraciones a color |
||
| 336 |
_2rdacontent _aTexto _btxt |
||
| 337 |
_2rdamedia _aelectrónico _bc |
||
| 338 |
_2rdacarrier _arecurso electrónico _bcr |
||
| 347 |
_aarchivo de texto _bPDF |
||
| 490 | 0 | _aEngineering (SpringerNature-11647) | |
| 490 | 0 | _aEngineering (R0) (SpringerNature-43712) | |
| 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 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. | |
| 988 | _aSpringer_Engineering_2021 | ||
| 650 | 7 |
_2embne _9405096 _aBoole, Álgebra de _vCongresos y asambleas |
|
| 700 | 1 |
_aDrechsler, Rolf _eeditor literario _4 _4http://id.loc.gov/vocabulary/relators/edt _999112 |
|
| 700 | 1 |
_aDaniel Grosse _eeditor literario _4 _4http://id.loc.gov/vocabulary/relators/edt _9681613 |
|
| 776 | 0 | 8 |
_iPrinted edition: _z9783030680701 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030680725 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030680732 |
| 856 | 4 | 0 |
_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-68071-8 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 942 |
_2lcc _cLE |
||
| 998 |
_b02/2022 _dz _eIG _zSI |
||