LEADER 00920cam0 2200301 450 001 000011424 005 20090324162607.0 010 $a0-04338073-5 100 $a20080519d1975----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $aa-------001yy 200 1 $aCost-benefit analysis$ean informal introdiction$fE. J. Mishan 205 $a2nd ed. 210 $aLondon$cAllen & Unwin$d1975 215 $aXX, 454 p.$cgraf. e tab.$d23 cm 451 0$1001000011417 500 10$aCost-benefit analysis$928376 610 1 $aTeoria del benessere 610 1 $aInvestimenti pubblici 676 $a332$v17$9Moneta, credito, banche, borse 676 $a658.1554$v19$9Gestione delle entrate 700 1$aMishan,$bE. J.$024593 801 0$aIT$bUNIPARTHENOPE$c20080519$gRICA$2UNIMARC 912 $a000011424 951 $a024/28$b4445$cNAVA2$d2008 996 $aCost-benefit analysis$928376 997 $aUNIPARTHENOPE LEADER 03855nam 22005535 450 001 9910366584903321 005 20200706121846.0 010 $a3-030-20323-9 024 7 $a10.1007/978-3-030-20323-8 035 $a(CKB)4100000008618156 035 $a(MiAaPQ)EBC5813784 035 $a(DE-He213)978-3-030-20323-8 035 $a(PPN)238491935 035 $a(EXLCZ)994100000008618156 100 $a20190708d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvanced Boolean Techniques $eSelected Papers from the 13th International Workshop on Boolean Problems /$fedited by Rolf Drechsler, Mathias Soeken 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (268 pages) 311 $a3-030-20322-0 327 $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. 330 $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. 606 $aElectronic circuits 606 $aLogic design 606 $aElectronics 606 $aMicroelectronics 606 $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068 606 $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050 606 $aElectronics and Microelectronics, Instrumentation$3https://scigraph.springernature.com/ontologies/product-market-codes/T24027 615 0$aElectronic circuits. 615 0$aLogic design. 615 0$aElectronics. 615 0$aMicroelectronics. 615 14$aCircuits and Systems. 615 24$aLogic Design. 615 24$aElectronics and Microelectronics, Instrumentation. 676 $a511.324 676 $a511.324 702 $aDrechsler$b Rolf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSoeken$b Mathias$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910366584903321 996 $aAdvanced Boolean Techniques$92213995 997 $aUNINA