Recent Findings in Boolean Techniques (Record no. 78372)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02931nam a22005175i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-030-68071-8 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220801220243.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 210429s2021 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783030680718 |
| -- | 978-3-030-68071-8 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 006.22 |
| 245 10 - TITLE STATEMENT | |
| Title | Recent Findings in Boolean Techniques |
| Sub Title | Selected Papers from the 14th International Workshop on Boolean Problems / |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2021. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | VII, 197 p. 68 illus., 36 illus. in color. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This 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. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Drechsler, Rolf. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Große, Daniel. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://doi.org/10.1007/978-3-030-68071-8 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2021. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Embedded computer systems. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Electronic circuit design. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Cooperating objects (Computer systems). |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Embedded Systems. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Electronics Design and Verification. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Cyber-Physical Systems. |
| 912 ## - | |
| -- | ZDB-2-ENG |
| 912 ## - | |
| -- | ZDB-2-SXE |
No items available.