LEADER 00824nam0-2200289---450- 001 990008221470403321 005 20051109125343.0 010 $a0-521-56477-8 035 $a000822147 035 $aFED01000822147 035 $a(Aleph)000822147FED01 035 $a000822147 100 $a20051109d2003----km-y0itay50------ba 101 0 $aeng 105 $aa-------001yy 200 1 $aDiffusion Mass Transfer in Fluid Systems$fE.L. Cussler 205 $a2nd ed. 210 $aCambridge$cCambrige University Press$d2003 215 $aXVIII, 580 p.$cill.$d26 cm 700 1$aCussler,$bE.L.$015601 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008221470403321 952 $a04 161-197$bDIC 4346$fDINCH 959 $aDINCH 996 $aDiffusion. Mass transfer in fluid systems$9125177 997 $aUNINA LEADER 03847nam 22006495 450 001 9910728387303321 005 20251008155048.0 010 $a3-031-28916-1 024 7 $a10.1007/978-3-031-28916-3 035 $a(MiAaPQ)EBC30554478 035 $a(Au-PeEL)EBL30554478 035 $a(DE-He213)978-3-031-28916-3 035 $a(BIP)088809418 035 $a(PPN)270619461 035 $a(CKB)26801497100041 035 $a(OCoLC)1381096106 035 $a(EXLCZ)9926801497100041 100 $a20230529d2023 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 15th International Workshop on Boolean Problems /$fedited by Rolf Drechsler, Sebastian Huhn 205 $a1st ed. 2023. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2023. 215 $a1 online resource (174 pages) 225 0 $aEngineering Series 311 08$aPrint version: Drechsler, Rolf Advanced Boolean Techniques Cham : Springer International Publishing AG,c2023 9783031289156 327 $aChapter 1. Arithmetic Satisfiability-Modulo-Theory Solving Applied to Non-Standard Analysis Problems of Cyber-Physical Systems -- Chapter 2. Fast AIG-based Approximate Logic Synthesis -- Chapter 3. External Don?t Cares in Logic Synthesis -- Chapter 4. Maiorana-McFarland Boolean Bent Functions Characterized by their Reed-Muller Spectra -- Chapter 5. Towards System-level Assertions for Heterogeneous Systems -- Chapter 6. SAT-based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms -- Chapter 7. Autosymmetric and D-reducible Functions: Theory and Application to Security -- Chapter 8. Two-operands modular multiplication to small bit-ranges -- Chapter 9. Low Latency Real-Time Inference for Multilayer Perceptrons on FPGAs -- Chapter 10. Thirty-six Officers of Euler - New Insights Computed Using XBOOLE -- Chapter 11. Start Small but Dream Big: On Choosing a Static Variable Order for Multiplier BDDs. 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 15th annual International Workshop on Boolean Problems. Provides a single-source reference to the state-of-the-art in logic synthesis and Boolean techniques; Includes a selection of the best papers presented at the 15th annual International Workshop on Boolean Problems; Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, Boolean and bitwise arithmetic and more. 606 $aElectronic circuits 606 $aComputer science$xMathematics 606 $aEmbedded computer systems 606 $aElectronic circuit design 606 $aElectronic Circuits and Systems 606 $aMathematical Applications in Computer Science 606 $aEmbedded Systems 606 $aElectronics Design and Verification 615 0$aElectronic circuits. 615 0$aComputer science$xMathematics. 615 0$aEmbedded computer systems. 615 0$aElectronic circuit design. 615 14$aElectronic Circuits and Systems. 615 24$aMathematical Applications in Computer Science. 615 24$aEmbedded Systems. 615 24$aElectronics Design and Verification. 676 $a621.3815 700 $aDrechsler$b Rolf$0720580 701 $aHuhn$b Sebastian$0853544 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910728387303321 996 $aAdvanced Boolean Techniques$93382359 997 $aUNINA