LEADER 00817nam0-22002651i-450- 001 990004575520403321 005 19990530 035 $a000457552 035 $aFED01000457552 035 $a(Aleph)000457552FED01 035 $a000457552 100 $a19990530d1900----km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $a<>Johannesevangelium$eEine Untersuchung seiner Entstehung und seines geschichtliche Wertes$fvon Hans Hinrich Wendt 210 $aGottingen$cDandenhorck und Ruprecht$d1900 215 $aVI, 240 p.$d22 cm 700 1$aWendt,$bHans Hinrich$f<1853-1928>$0181062 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004575520403321 952 $a6/III F 18$bBIBL.11764$fFLFBC 959 $aFLFBC 996 $aJohannesevangelium$9548217 997 $aUNINA LEADER 03778nam 22006255 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(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) 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