Kim, Kwang Ho; Mesnager, Sihem; Kim, Chung Hyok; Jo, Myong Chol Completely characterizing a class of permutation quadrinomials. (English) Zbl 07661806 Finite Fields Appl. 87, Article ID 102155, 27 p. (2023). MSC: 94C10 94A60 06E30 14G50 11T55 PDF BibTeX XML Cite \textit{K. H. Kim} et al., Finite Fields Appl. 87, Article ID 102155, 27 p. (2023; Zbl 07661806) Full Text: DOI OpenURL
Herbst, Michael F.; Levitt, Antoine A robust and efficient line search for self-consistent field iterations. (English) Zbl 07525125 J. Comput. Phys. 459, Article ID 111127, 17 p. (2022). MSC: 65Fxx 35Qxx 81Vxx PDF BibTeX XML Cite \textit{M. F. Herbst} and \textit{A. Levitt}, J. Comput. Phys. 459, Article ID 111127, 17 p. (2022; Zbl 07525125) Full Text: DOI arXiv OpenURL
Kumar, Raj; Kumar, Avneesh Dynamical behavior of similarity solutions of CKOEs with conservation law. (English) Zbl 07488763 Appl. Math. Comput. 422, Article ID 126976, 18 p. (2022). MSC: 35Qxx 35Cxx 35Axx PDF BibTeX XML Cite \textit{R. Kumar} and \textit{A. Kumar}, Appl. Math. Comput. 422, Article ID 126976, 18 p. (2022; Zbl 07488763) Full Text: DOI OpenURL
Bajrić, Samed EA-inequivalence of bent functions. (English) Zbl 07447204 Appl. Algebra Eng. Commun. Comput. 32, No. 6, 651-663 (2021). MSC: 68R01 11T71 94C10 PDF BibTeX XML Cite \textit{S. Bajrić}, Appl. Algebra Eng. Commun. Comput. 32, No. 6, 651--663 (2021; Zbl 07447204) Full Text: DOI OpenURL
Amaba, Takafumi; Friedrich, Roland Controlled Loewner-Kufarev equation embedded into the universal Grassmannian. (English) Zbl 1459.35363 SIGMA, Symmetry Integrability Geom. Methods Appl. 16, Paper 108, 25 p. (2020). Reviewer: Mohamed Majdoub (Dammam) MSC: 35Q99 30F10 35C10 58J65 93C20 30C25 81T40 PDF BibTeX XML Cite \textit{T. Amaba} and \textit{R. Friedrich}, SIGMA, Symmetry Integrability Geom. Methods Appl. 16, Paper 108, 25 p. (2020; Zbl 1459.35363) Full Text: DOI arXiv OpenURL
Slofstra, William Tsirelson’s problem and an embedding theorem for groups arising from non-local games. (English) Zbl 1480.20083 J. Am. Math. Soc. 33, No. 1, 1-56 (2020). MSC: 20F06 20F10 20F05 81P40 81P13 81R15 PDF BibTeX XML Cite \textit{W. Slofstra}, J. Am. Math. Soc. 33, No. 1, 1--56 (2020; Zbl 1480.20083) Full Text: DOI arXiv OpenURL
Drechsler, Rolf (ed.); Soeken, Mathias (ed.) Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19–21, 2018. (English) Zbl 1416.94005 Cham: Springer (ISBN 978-3-030-20322-1/hbk; 978-3-030-20323-8/ebook). viii, 265 p. (2020). MSC: 94-02 00B25 94C10 PDF BibTeX XML Cite \textit{R. Drechsler} (ed.) and \textit{M. Soeken} (ed.), Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19--21, 2018. Cham: Springer (2020; Zbl 1416.94005) Full Text: DOI OpenURL
LaMeres, Brock J. Introduction to logic circuits & logic design with Verilog. 2nd edition. (English) Zbl 1412.68001 Cham: Springer (ISBN 978-3-319-85265-2/hbk; 978-3-030-13605-5/ebook). xvi, 485 p. (2019). MSC: 68-01 68M07 94C10 PDF BibTeX XML Cite \textit{B. J. LaMeres}, Introduction to logic circuits \& logic design with Verilog. 2nd edition. Cham: Springer (2019; Zbl 1412.68001) Full Text: DOI Link OpenURL
Vlad, Serban E. Boolean functions. Topics in asynchronicity. (English) Zbl 1409.94002 Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-51747-4/hbk; 978-1-119-51752-8/ebook). xvi, 182 p. (2019). MSC: 94-02 94C10 06E30 PDF BibTeX XML Cite \textit{S. E. Vlad}, Boolean functions. Topics in asynchronicity. Hoboken, NJ: John Wiley \& Sons (2019; Zbl 1409.94002) Full Text: DOI OpenURL
Fu, Shihui; Feng, Xiutao Involutory differentially 4-uniform permutations from known constructions. (English) Zbl 1403.94058 Des. Codes Cryptography 87, No. 1, 31-56 (2019). MSC: 94A60 94C10 14G50 PDF BibTeX XML Cite \textit{S. Fu} and \textit{X. Feng}, Des. Codes Cryptography 87, No. 1, 31--56 (2019; Zbl 1403.94058) Full Text: DOI OpenURL
Lauer, Fabien; Bloch, Gérard Hybrid system identification. Theory and algorithms for learning switching models. (English) Zbl 1402.93010 Lecture Notes in Control and Information Sciences 478. Cham: Springer (ISBN 978-3-030-00192-6/hbk; 978-3-030-00193-3/ebook). xxi, 253 p. (2019). MSC: 93-02 93B30 93C10 94C10 PDF BibTeX XML Cite \textit{F. Lauer} and \textit{G. Bloch}, Hybrid system identification. Theory and algorithms for learning switching models. Cham: Springer (2019; Zbl 1402.93010) Full Text: DOI OpenURL
Donzellini, Giuliano; Oneto, Luca; Ponta, Domenico; Anguita, Davide Introduction to digital systems design. (English) Zbl 1397.78002 Cham: Springer (ISBN 978-3-319-92803-6/hbk; 978-3-319-92804-3/ebook). xxiii, 536 p. (2019). MSC: 68-01 94-01 68M07 94C10 PDF BibTeX XML Cite \textit{G. Donzellini} et al., Introduction to digital systems design. Cham: Springer (2019; Zbl 1397.78002) Full Text: DOI Link OpenURL
Page, Rex; Gamboa, Ruben Essential logic for computer science. (English) Zbl 1407.68008 Cambridge, MA: MIT Press (ISBN 978-0-262-03918-5/hbk). xvi, 288 p. (2018). MSC: 68-01 03B70 68M07 68P05 68P10 68Q60 68T15 94C10 94C12 PDF BibTeX XML Cite \textit{R. Page} and \textit{R. Gamboa}, Essential logic for computer science. Cambridge, MA: MIT Press (2018; Zbl 1407.68008) OpenURL
Proceedings of the 48th IEEE international symposium on multiple-valued logic, ISMVL 2018, Linz, Austria, May 16–18, 2018. (English) Zbl 1403.94009 Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-5386-4463-8). xiii, 270 p. (2018). MSC: 94-06 03-06 03B50 94C10 00B25 PDF BibTeX XML Cite Proceedings of the 48th IEEE international symposium on multiple-valued logic, ISMVL 2018, Linz, Austria, May 16--18, 2018. Los Alamitos, CA: IEEE Computer Society (2018; Zbl 1403.94009) Full Text: Link OpenURL
Steinbach, Bernd (ed.) Further improvements in the Boolean domain. (English) Zbl 1402.94002 Newcastle upon Tyne: Cambridge Scholars Publishing (ISBN 978-1-5275-0371-7/hbk). xli, 494 p. (2018). MSC: 94-02 94C10 06E30 PDF BibTeX XML Cite \textit{B. Steinbach} (ed.), Further improvements in the Boolean domain. Newcastle upon Tyne: Cambridge Scholars Publishing (2018; Zbl 1402.94002) OpenURL
Kari, Jarkko (ed.); Ulidowski, Irek (ed.) Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. (English) Zbl 1396.68017 Lecture Notes in Computer Science 11106. Cham: Springer (ISBN 978-3-319-99497-0/pbk; 978-3-319-99498-7/ebook). xiii, 353 p. (2018). MSC: 68-06 68Q05 68Q10 81P68 94C10 00B25 PDF BibTeX XML Cite \textit{J. Kari} (ed.) and \textit{I. Ulidowski} (ed.), Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12--14, 2018. Proceedings. Cham: Springer (2018; Zbl 1396.68017) Full Text: DOI OpenURL
De Vos, Alexis; De Baerdemacker, Stijn; Van Rentergem, Yvan Synthesis of quantum circuits vs. synthesis of classical reversible circuits. (English) Zbl 1405.81006 Synthesis Lectures on Digital Circuits and Systems 54. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-68173-379-1/pbk; 978-1-68173-381-4/hbk; 978-1-68173-380-7/ebook). xv, 109 p. (2018). Reviewer: Liviu Goraş (Iaşi) MSC: 81-02 94-02 81P68 94C10 PDF BibTeX XML Cite \textit{A. De Vos} et al., Synthesis of quantum circuits vs. synthesis of classical reversible circuits. San Rafael, CA: Morgan \& Claypool Publishers (2018; Zbl 1405.81006) Full Text: DOI OpenURL
Gao, Zuguang; Chen, Xudong; Başar, Tamer Stability structures of conjunctive Boolean networks. (English) Zbl 1387.93092 Automatica 89, 8-20 (2018). MSC: 93C30 93C55 94C10 94C15 37E15 PDF BibTeX XML Cite \textit{Z. Gao} et al., Automatica 89, 8--20 (2018; Zbl 1387.93092) Full Text: DOI arXiv OpenURL
Zhu, Qunxi; Liu, Yang; Lu, Jianquan; Cao, Jinde On the optimal control of Boolean control networks. (English) Zbl 1403.49039 SIAM J. Control Optim. 56, No. 2, 1321-1341 (2018). MSC: 49N99 49J99 93C30 93B15 93A15 93B25 94C10 94C15 PDF BibTeX XML Cite \textit{Q. Zhu} et al., SIAM J. Control Optim. 56, No. 2, 1321--1341 (2018; Zbl 1403.49039) Full Text: DOI OpenURL
Procaccia, Eviatar B. Book review of: C. Garban and J. E. Steif, Noise sensitivity of Boolean functions and percolation. (English) Zbl 1378.00064 Bull. Am. Math. Soc., New Ser. 55, No. 1, 131-138 (2018). MSC: 00A17 06-02 60-02 06E10 94C10 60H40 60K35 60J67 PDF BibTeX XML Cite \textit{E. B. Procaccia}, Bull. Am. Math. Soc., New Ser. 55, No. 1, 131--138 (2018; Zbl 1378.00064) Full Text: DOI OpenURL
Reis, André Inácio (ed.); Drechsler, Rolf (ed.) Advanced logic synthesis. (English) Zbl 1384.94005 Cham: Springer (ISBN 978-3-319-67294-6/hbk; 978-3-319-67295-3/ebook). x, 232 p. (2018). MSC: 94-06 94C10 PDF BibTeX XML Cite \textit{A. I. Reis} (ed.) and \textit{R. Drechsler} (ed.), Advanced logic synthesis. Cham: Springer (2018; Zbl 1384.94005) Full Text: DOI OpenURL
Barkalov, Alexander; Titarenko, Larysa; Bieganowski, Jacek Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges. (English) Zbl 1375.68006 Studies in Systems, Decision and Control 113. Cham: Springer (ISBN 978-3-319-59836-9/hbk; 978-3-319-59837-6/ebook). viii, 225 p. (2018). MSC: 68-02 68M07 68Q45 94C10 PDF BibTeX XML Cite \textit{A. Barkalov} et al., Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges. Cham: Springer (2018; Zbl 1375.68006) Full Text: DOI OpenURL
LaMeres, Brock J. Introduction to logic circuits & logic design with Verilog. (English) Zbl 1402.68005 Cham: Springer (ISBN 978-3-319-53882-2/hbk; 978-3-319-53883-9/ebook). xvi, 459 p. (2017). MSC: 68-01 68M07 94C10 PDF BibTeX XML Cite \textit{B. J. LaMeres}, Introduction to logic circuits \& logic design with Verilog. Cham: Springer (2017; Zbl 1402.68005) Full Text: DOI Link OpenURL
Bindal, Ahmet Fundamentals of computer architecture and design. (English) Zbl 1409.68002 Cham: Springer (ISBN 978-3-319-25809-6/hbk; 978-3-319-25811-9/ebook). xiv, 533 p. (2017). Reviewer: Jozef Woźniak (Gdańsk) MSC: 68-01 68M07 68M10 68M12 68M20 94C10 PDF BibTeX XML Cite \textit{A. Bindal}, Fundamentals of computer architecture and design. Cham: Springer (2017; Zbl 1409.68002) Full Text: DOI OpenURL
Zhang, Lingzhong; Yang, Yongqing; Wang, Fei Projective synchronization of fractional-order memristive neural networks with switching jumps mismatch. (English) Zbl 1400.34129 Physica A 471, 402-415 (2017). MSC: 34K37 34A08 34D06 34K20 94C10 PDF BibTeX XML Cite \textit{L. Zhang} et al., Physica A 471, 402--415 (2017; Zbl 1400.34129) Full Text: DOI OpenURL
Proceedings of the 47th IEEE international symposium on multiple-valued logic, ISMVL 2017, Novi Sad, Serbia, May 22–24, 2017. (English) Zbl 1380.94001 Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-5090-5495-4/print; 978-1-5090-5496-1/ebook). xv, 292 p. (2017). MSC: 94-06 03-06 03B50 94C10 00B25 PDF BibTeX XML Cite Proceedings of the 47th IEEE international symposium on multiple-valued logic, ISMVL 2017, Novi Sad, Serbia, May 22--24, 2017. Los Alamitos, CA: IEEE Computer Society (2017; Zbl 1380.94001) Full Text: Link OpenURL
Tournier, Laurent; Goelzer, Anne; Fromion, Vincent Optimal resource allocation enables mathematical exploration of microbial metabolic configurations. (English) Zbl 1373.90131 J. Math. Biol. 75, No. 6-7, 1349-1380 (2017). MSC: 90C27 92B05 92-08 94C10 PDF BibTeX XML Cite \textit{L. Tournier} et al., J. Math. Biol. 75, No. 6--7, 1349--1380 (2017; Zbl 1373.90131) Full Text: DOI OpenURL
Seiffertt, John Digital logic for computing. (English) Zbl 1401.68005 Cham: Springer (ISBN 978-3-319-56837-9/hbk; 978-3-319-56839-3/ebook). xvi, 319 p. (2017). MSC: 68-01 94-01 68M07 68N15 94C10 PDF BibTeX XML Cite \textit{J. Seiffertt}, Digital logic for computing. Cham: Springer (2017; Zbl 1401.68005) Full Text: DOI OpenURL
Dwivedi, Atul Kumar; Ghosh, Subhojit; Londhe, Narendra D. Low-power FIR filter design using hybrid artificial bee colony algorithm with experimental validation over FPGA. (English) Zbl 1379.94068 Circuits Syst. Signal Process. 36, No. 1, 156-180 (2017). MSC: 94C10 94C30 93E11 90C90 PDF BibTeX XML Cite \textit{A. K. Dwivedi} et al., Circuits Syst. Signal Process. 36, No. 1, 156--180 (2017; Zbl 1379.94068) Full Text: DOI OpenURL
Steinbach, Bernd; Posthoff, Christian Boolean differential calculus. (English) Zbl 1421.06001 Synthesis Lectures on Digital Circuits and Systems 52. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-922-0/pbk; 978-1-62705-617-5/ebook). xii, 203 p. (2017). Reviewer: Ioan Tomescu (Bucureşti) MSC: 06-02 06Exx 26E99 94-02 94C10 94A60 PDF BibTeX XML Cite \textit{B. Steinbach} and \textit{C. Posthoff}, Boolean differential calculus. San Rafael, CA: Morgan \& Claypool Publishers (2017; Zbl 1421.06001) Full Text: DOI OpenURL
Nahin, Paul J. The logician and the engineer. How George Boole and Claude Shannon created the information age. Reprint of the 2013 hardback edition. (English) Zbl 1366.94003 Princeton, NJ: Princeton University Press (ISBN 978-0-691-17600-0/pbk; 978-1-4008-4465-4/ebook). xii, 228 p. (2017). MSC: 94-03 01A55 01A60 01A70 94-01 94A15 94A17 94A24 94C10 PDF BibTeX XML Cite \textit{P. J. Nahin}, The logician and the engineer. How George Boole and Claude Shannon created the information age. Reprint of the 2013 hardback edition. Princeton, NJ: Princeton University Press (2017; Zbl 1366.94003) Full Text: DOI OpenURL
Phillips, Iain (ed.); Rahaman, Hafizur (ed.) Reversible computation. 9th international conference, RC 2017, Kolkata, India, July 6–7, 2017. Proceedings. (English) Zbl 1364.68013 Lecture Notes in Computer Science 10301. Cham: Springer (ISBN 978-3-319-59935-9/pbk; 978-3-319-59936-6/ebook). xii, 255 p. (2017). MSC: 68-06 68Q05 68Q10 81P68 94C10 00B25 PDF BibTeX XML Cite \textit{I. Phillips} (ed.) and \textit{H. Rahaman} (ed.), Reversible computation. 9th international conference, RC 2017, Kolkata, India, July 6--7, 2017. Proceedings. Cham: Springer (2017; Zbl 1364.68013) Full Text: DOI OpenURL
Amarù, Luca Gaetano New data structures and algorithms for logic synthesis and verification. (English) Zbl 1362.68004 Cham: Springer (ISBN 978-3-319-43173-4/hbk; 978-3-319-43174-1/ebook). xvi, 156 p. (2017). MSC: 68-02 68P05 94C10 PDF BibTeX XML Cite \textit{L. G. Amarù}, New data structures and algorithms for logic synthesis and verification. Cham: Springer (2017; Zbl 1362.68004) Full Text: DOI Link OpenURL
Golomb, Solomon W. Shift register sequences. Secure and limited-access code generators, efficiency code generators, prescribed property generators, mathematical models. 3rd revised edition. (English) Zbl 1408.94004 Hackensack, NJ: World Scientific (ISBN 978-981-4632-00-3/hbk; 978-981-4632-02-7/ebook). xxii, 249 p. (2017). MSC: 94-02 94A55 94C10 68Q45 PDF BibTeX XML Cite \textit{S. W. Golomb}, Shift register sequences. Secure and limited-access code generators, efficiency code generators, prescribed property generators, mathematical models. 3rd revised edition. Hackensack, NJ: World Scientific (2017; Zbl 1408.94004) Full Text: DOI OpenURL
Salibra, Antonino; Manzonetto, Giulio; Favro, Giordano Factor varieties and symbolic computation. (English) Zbl 1394.03019 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 739-748 (2016). MSC: 03B35 03B05 03B10 03B50 03G25 08B05 68Q42 94C10 PDF BibTeX XML Cite \textit{A. Salibra} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 739--748 (2016; Zbl 1394.03019) Full Text: DOI Link OpenURL
Mayo-Maldonado, Jonathan C.; Rapisarda, Paolo Dissipative switched linear differential systems. (English) Zbl 1359.93432 IEEE Trans. Autom. Control 61, No. 12, 3813-3825 (2016). MSC: 93D25 34A38 34D20 94C10 PDF BibTeX XML Cite \textit{J. C. Mayo-Maldonado} and \textit{P. Rapisarda}, IEEE Trans. Autom. Control 61, No. 12, 3813--3825 (2016; Zbl 1359.93432) Full Text: DOI OpenURL
Gadouleau, Maximilien; Richard, Adrien; Fanchon, Eric Reduction and fixed points of Boolean networks and linear network coding solvability. (English) Zbl 1359.94949 IEEE Trans. Inf. Theory 62, No. 5, 2504-2519 (2016). MSC: 94C15 94A29 94C10 PDF BibTeX XML Cite \textit{M. Gadouleau} et al., IEEE Trans. Inf. Theory 62, No. 5, 2504--2519 (2016; Zbl 1359.94949) Full Text: DOI arXiv OpenURL
Proceedings of the 46th IEEE international symposium on multiple-valued logic, ISMVL 2016, Sapporo, Japan, May 18–20, 2016. (English) Zbl 1355.94002 Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4673-9488-8/print; 978-1-4673-9489-5/ebook). xv, 284 p. (2016). MSC: 94-06 03-06 03B50 94C10 00B25 PDF BibTeX XML Cite Proceedings of the 46th IEEE international symposium on multiple-valued logic, ISMVL 2016, Sapporo, Japan, May 18--20, 2016. Los Alamitos, CA: IEEE Computer Society (2016; Zbl 1355.94002) Full Text: Link OpenURL
Mesnager, Sihem Bent functions. Fundamentals and results. (English) Zbl 1364.94008 Cham: Springer (ISBN 978-3-319-32593-4/hbk; 978-3-319-32595-8/ebook). xxvi, 544 p. (2016). Reviewer: Wilfried Meidl (Linz) MSC: 94-02 94A60 94C10 94D05 94B05 06E30 PDF BibTeX XML Cite \textit{S. Mesnager}, Bent functions. Fundamentals and results. Cham: Springer (2016; Zbl 1364.94008) Full Text: DOI OpenURL
Devitt, Simon (ed.); Lanese, Ivan (ed.) Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. (English) Zbl 1342.68013 Lecture Notes in Computer Science 9720. Cham: Springer (ISBN 978-3-319-40577-3/pbk; 978-3-319-40578-0/ebook). xiii, 339 p. (2016). MSC: 68-06 68Q05 68Q10 81P68 94C10 00B25 PDF BibTeX XML Cite \textit{S. Devitt} (ed.) and \textit{I. Lanese} (ed.), Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7--8, 2016. Proceedings. Cham: Springer (2016; Zbl 1342.68013) Full Text: DOI OpenURL
Kumm, Martin [Zipf, Peter] Multiple constant multiplication optimizations for field programmable gate arrays. With a preface by Prof. Dr.-Ing. Peter Zipf. (English) Zbl 1336.68004 Wiesbaden: Springer Vieweg (ISBN 978-3-658-13322-1/pbk; 978-3-658-13323-8/ebook). xxxiii, 206 p. (2016). MSC: 68-02 68M07 68M20 68W35 90C10 90C59 94A12 94C10 94C15 PDF BibTeX XML Cite \textit{M. Kumm}, Multiple constant multiplication optimizations for field programmable gate arrays. With a preface by Prof. Dr.-Ing. Peter Zipf. Wiesbaden: Springer Vieweg (2016; Zbl 1336.68004) Full Text: DOI OpenURL
Li, Chunlei; Helleseth, Tor Quasi-perfect linear codes from planar and APN functions. (English) Zbl 1358.94098 Cryptogr. Commun. 8, No. 2, 215-227 (2016). MSC: 94B15 94C10 11T71 94B75 PDF BibTeX XML Cite \textit{C. Li} and \textit{T. Helleseth}, Cryptogr. Commun. 8, No. 2, 215--227 (2016; Zbl 1358.94098) Full Text: DOI OpenURL
Gilbert, Anna C.; Hoskins, Jeremy G.; Schotland, John C. Diffuse scattering on graphs. (English) Zbl 1331.05207 Linear Algebra Appl. 496, 1-35 (2016). MSC: 05C85 05C25 05C50 68R10 35Q99 PDF BibTeX XML Cite \textit{A. C. Gilbert} et al., Linear Algebra Appl. 496, 1--35 (2016; Zbl 1331.05207) Full Text: DOI arXiv OpenURL
Nixon, Mark Digital electronics: a primer. Introductory logic circuit design. (English) Zbl 1400.94001 ICP Primers in Electronics and Computer Science 1. London: Imperial College Press (ISBN 978-1-78326-490-2/pbk; 978-1-78326-489-6/hbk). xi, 222 p. (2015). MSC: 94-01 94C10 PDF BibTeX XML Cite \textit{M. Nixon}, Digital electronics: a primer. Introductory logic circuit design. London: Imperial College Press (2015; Zbl 1400.94001) Full Text: DOI OpenURL
Feger, Robert; Kephart, Thomas W. LieART – a Mathematica application for Lie algebras and representation theory. (English) Zbl 1375.68226 Comput. Phys. Commun. 192, 166-195 (2015). MSC: 68W30 17-04 17B10 17B81 PDF BibTeX XML Cite \textit{R. Feger} and \textit{T. W. Kephart}, Comput. Phys. Commun. 192, 166--195 (2015; Zbl 1375.68226) Full Text: DOI arXiv OpenURL
Batzies, Ekkehard; Katthän, Lukas; Welker, Volkmar; Zirn, Oliver Commissioning rules for optimal velocity controller damping of servo axes using elimination methods. (English) Zbl 1364.93531 Optim. Eng. 16, No. 1, 183-201 (2015). MSC: 93C95 93C80 13P25 PDF BibTeX XML Cite \textit{E. Batzies} et al., Optim. Eng. 16, No. 1, 183--201 (2015; Zbl 1364.93531) Full Text: DOI OpenURL
Kumar, Amit; Yadav, Neelam; Ritu Reliability forecast of a parallel redundant power supply plant by using B. f. technique. (English) Zbl 1359.94940 Int. J. Adv. Appl. Math. Mech. 3, No. 2, 113-120 (2015). MSC: 94C12 94C10 68M15 PDF BibTeX XML Cite \textit{A. Kumar} et al., Int. J. Adv. Appl. Math. Mech. 3, No. 2, 113--120 (2015; Zbl 1359.94940) Full Text: Link OpenURL
Vasin, A. V. On a wide class of bases with unreliability coefficient equal to one. (Russian) Zbl 1349.94168 Diskretn. Anal. Issled. Oper. 22, No. 1, 5-18 (2015). MSC: 94C05 94C10 PDF BibTeX XML Cite \textit{A. V. Vasin}, Diskretn. Anal. Issled. Oper. 22, No. 1, 5--18 (2015; Zbl 1349.94168) Full Text: MNR OpenURL
Yekhanin, Sergey Book review of: S. Jukna, Boolean function complexity. Advances and frontiers. (English) Zbl 1336.00099 SIAM Rev. 57, No. 3, 479-480 (2015). MSC: 00A17 94-02 94C10 03F20 68Q05 68Q17 68Q25 PDF BibTeX XML Cite \textit{S. Yekhanin}, SIAM Rev. 57, No. 3, 479--480 (2015; Zbl 1336.00099) Full Text: DOI OpenURL
Proceedings of the 45th IEEE international symposium on multiple-valued logic, ISMVL 2015, Waterloo, Canada, May 18th–20th, 2015. (English) Zbl 1334.94005 Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-1777-8). xiii, 212 p. (2015). MSC: 94-06 03-06 03B50 94C10 00B25 PDF BibTeX XML Cite Proceedings of the 45th IEEE international symposium on multiple-valued logic, ISMVL 2015, Waterloo, Canada, May 18th--20th, 2015. Los Alamitos, CA: IEEE Computer Society (2015; Zbl 1334.94005) Full Text: Link OpenURL
Vasin, A. V. On bases which contain functions dependent on five variables with unreliability coefficient 1. (English. Russian original) Zbl 1353.94096 Russ. Math. 59, No. 9, 1-8 (2015); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2015, No. 9, 3-11 (2015). MSC: 94C10 94C12 94D99 PDF BibTeX XML Cite \textit{A. V. Vasin}, Russ. Math. 59, No. 9, 1--8 (2015; Zbl 1353.94096); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2015, No. 9, 3--11 (2015) Full Text: DOI OpenURL
Krivine, Jean (ed.); Stefani, Jean-Bernard (ed.) Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. (English) Zbl 1342.68026 Lecture Notes in Computer Science 9138. Cham: Springer (ISBN 978-3-319-20859-6/pbk; 978-3-319-20860-2/ebook). viii, 291 p. (2015). MSC: 68-06 68Q05 81P68 94C10 00B25 PDF BibTeX XML Cite \textit{J. Krivine} (ed.) and \textit{J.-B. Stefani} (ed.), Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16--17, 2015. Proceedings. Cham: Springer (2015; Zbl 1342.68026) Full Text: DOI OpenURL
Richard, Adrien Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks. (English) Zbl 1310.94244 Theor. Comput. Sci. 583, 1-26 (2015). MSC: 94C10 92C42 94C15 PDF BibTeX XML Cite \textit{A. Richard}, Theor. Comput. Sci. 583, 1--26 (2015; Zbl 1310.94244) Full Text: DOI arXiv OpenURL
Horváth, Eszter K.; Makay, Géza; Pöschel, Reinhard; Waldhauser, Tamás Invariance groups of finite functions and orbit equivalence of permutation groups. (English) Zbl 1319.06003 Open Math. 13, 83-95 (2015). MSC: 06A07 06A15 08A40 06E30 20B35 94C10 PDF BibTeX XML Cite \textit{E. K. Horváth} et al., Open Math. 13, 83--95 (2015; Zbl 1319.06003) Full Text: DOI arXiv OpenURL
Garban, Christophe; Steif, Jeffrey E. Noise sensitivity of Boolean functions and percolation. (English) Zbl 1355.06001 Institute of Mathematical Statistics Textbooks 5. Cambridge: Cambridge University Press (ISBN 978-1-107-07643-3/hbk; 978-1-107-43255-0/pbk; 978-1-139-92416-0/ebook). xvii, 203 p. (2015). Reviewer: Ioan Tomescu (Bucureşti) MSC: 06-02 60-02 06E10 94C10 60H40 60K35 60J67 PDF BibTeX XML Cite \textit{C. Garban} and \textit{J. E. Steif}, Noise sensitivity of Boolean functions and percolation. Cambridge: Cambridge University Press (2015; Zbl 1355.06001) Full Text: DOI OpenURL
Steinbach, Bernd; Posthoff, Christian EAGLE-STARTING AID. Efficient computations with XBOOLE. Boolean equations, sets and graphs, digital circuits. (EAGLE-STARTHILFE. Effiziente Berechnungen mit XBOOLE. Boolesche Gleichungen, Mengen und Graphen, digitale Schaltungen.) (German) Zbl 1329.94002 EAGLE 81. Leipzig: Edition am Gutenbergplatz Leipzig (EAGLE) (ISBN 978-3-95922-081-1/pbk). 99 p. (2015). Reviewer: Wilfried Meidl (Linz) MSC: 94-01 94-04 94C10 06E30 PDF BibTeX XML Cite \textit{B. Steinbach} and \textit{C. Posthoff}, EAGLE-STARTHILFE. Effiziente Berechnungen mit XBOOLE. Boolesche Gleichungen, Mengen und Graphen, digitale Schaltungen. Leipzig: Edition am Gutenbergplatz Leipzig (EAGLE) (2015; Zbl 1329.94002) OpenURL
Rosin, David P. Dynamics of complex autonomous Boolean networks. (English) Zbl 1305.94004 Springer Theses. Cham: Springer; Berlin: TU Berlin (Diss. 2014) (ISBN 978-3-319-13577-9/hbk; 978-3-319-13578-6/ebook). xx, 199 p. (2015). MSC: 94-02 94C10 92B20 PDF BibTeX XML Cite \textit{D. P. Rosin}, Dynamics of complex autonomous Boolean networks. Cham: Springer; Berlin: TU Berlin (Diss. 2014) (2015; Zbl 1305.94004) Full Text: DOI Link OpenURL
Kumar Sarkar, Subir; Kumar De, Asish; Sarkar, Souvik Foundation of digital electronics and logic design. (English) Zbl 1305.94001 Boca Raton, FL: CRC Press (ISBN 978-981-4364-58-4/hbk; 978-981-4364-59-1). 380 p. (2015). MSC: 94-01 94C10 PDF BibTeX XML Cite \textit{S. Kumar Sarkar} et al., Foundation of digital electronics and logic design. Boca Raton, FL: CRC Press (2015; Zbl 1305.94001) OpenURL
Li, Fangfei Synchronization of coupled large-scale Boolean networks. (English) Zbl 1374.93027 Chaos 24, No. 1, 013115, 6 p. (2014). MSC: 93A15 94C10 94C15 PDF BibTeX XML Cite \textit{F. Li}, Chaos 24, No. 1, 013115, 6 p. (2014; Zbl 1374.93027) Full Text: DOI OpenURL
Steinbach, Bernd (ed.) Recent progress in the Boolean domain. (English) Zbl 1357.94004 Newcastle upon Tyne: Cambridge Scholars Publishing (ISBN 978-1-4438-5638-6/hbk). xxx, 428 p. (2014). MSC: 94-02 94C10 94C12 81P10 94-06 00B15 PDF BibTeX XML Cite \textit{B. Steinbach} (ed.), Recent progress in the Boolean domain. Newcastle upon Tyne: Cambridge Scholars Publishing (2014; Zbl 1357.94004) OpenURL
van der Waall, Robert Book review of: P. J. Nahin, The logician and the engineer. How George Boole and Claude Shannon created the information age. (Dutch) Zbl 1347.00056 Nieuw Arch. Wiskd. (5) 15, No. 4, 288-288 (2014). MSC: 00A17 94-03 01A55 01A60 01A70 94-01 94A15 94A17 94A24 94C10 PDF BibTeX XML Cite \textit{R. van der Waall}, Nieuw Arch. Wiskd. (5) 15, No. 4, 288--288 (2014; Zbl 1347.00056) OpenURL
Gorgin, Saeid; Jaberipur, Ghassem; Asl, Reza Hashemi Efficient ASIC and FPGA implementation of binary-coded decimal digit multipliers. (English) Zbl 1344.68019 Circuits Syst. Signal Process. 33, No. 12, 3883-3899 (2014). MSC: 68M07 65Y04 68W35 94C10 PDF BibTeX XML Cite \textit{S. Gorgin} et al., Circuits Syst. Signal Process. 33, No. 12, 3883--3899 (2014; Zbl 1344.68019) Full Text: DOI OpenURL
Bibilo, P. N. Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram. (English. Russian original) Zbl 1325.94173 Autom. Remote Control 75, No. 7, 1173-1194 (2014); translation from Avtom. Telemekh. 2014, No. 7, 17-42 (2014). MSC: 94C10 94C15 PDF BibTeX XML Cite \textit{P. N. Bibilo}, Autom. Remote Control 75, No. 7, 1173--1194 (2014; Zbl 1325.94173); translation from Avtom. Telemekh. 2014, No. 7, 17--42 (2014) Full Text: DOI OpenURL
Gavrilova, L. (ed.); Tan, Kenneth (ed.); Thapliyal, Himanshu (ed.); Ranganathan, Nagarajan (ed.) Transactions on Computational Science XXIV. Special issue on reversible computing. (English) Zbl 1318.68019 Lecture Notes in Computer Science 8911. Journal Subline. Berlin: Springer (ISBN 978-3-662-45710-8/pbk; 978-3-662-45711-5/ebook). xiii, 147 p. (2014). MSC: 68-06 68M07 81P68 94C10 00B15 PDF BibTeX XML Cite \textit{L. Gavrilova} (ed.) et al., Transactions on Computational Science XXIV. Special issue on reversible computing. Berlin: Springer (2014; Zbl 1318.68019) Full Text: DOI OpenURL
Nannicini, Antonella Lectures in linear algebra. (Lezioni di algebra lineare.) (Italian) Zbl 1336.15001 Bologna: Pitagora Editrice (ISBN 978-88-371-1903-4/pbk). ix, 211 p. (2014). Reviewer: Raffaella Pavani (Milano) MSC: 15-01 00A06 15A03 15A04 15A06 15A15 15A18 PDF BibTeX XML Cite \textit{A. Nannicini}, Lezioni di algebra lineare (Italian). Bologna: Pitagora Editrice (2014; Zbl 1336.15001) OpenURL
Degond, Pierre; Herty, Michael; Liu, Jian-Guo Flow on sweeping networks. (English) Zbl 1316.35222 Multiscale Model. Simul. 12, No. 2, 538-565 (2014). MSC: 35Q20 82C40 82C31 90B15 90B18 90B20 94C10 60J20 82C20 68Q80 PDF BibTeX XML Cite \textit{P. Degond} et al., Multiscale Model. Simul. 12, No. 2, 538--565 (2014; Zbl 1316.35222) Full Text: DOI arXiv OpenURL
Olshanskii, Alexander Yu.; Osin, Denis V. \(C^*\)-simple groups without free subgroups. (English) Zbl 1354.22009 Groups Geom. Dyn. 8, No. 3, 933-983 (2014). MSC: 22D25 20F06 20F50 20F67 46L05 PDF BibTeX XML Cite \textit{A. Yu. Olshanskii} and \textit{D. V. Osin}, Groups Geom. Dyn. 8, No. 3, 933--983 (2014; Zbl 1354.22009) Full Text: DOI arXiv OpenURL
Yamashita, Shigeru (ed.); Minato, Shin-ichi (ed.) Reversible computation. 6th international conference, RC 2014, Kyoto, Japan, July 10–11, 2014. Proceedings. (English) Zbl 1293.68036 Lecture Notes in Computer Science 8507. Berlin: Springer (ISBN 978-3-319-08493-0/pbk). x, 231 p. (2014). MSC: 68-06 68Q05 81P68 94C10 00B25 PDF BibTeX XML Cite \textit{S. Yamashita} (ed.) and \textit{S.-i. Minato} (ed.), Reversible computation. 6th international conference, RC 2014, Kyoto, Japan, July 10--11, 2014. Proceedings. Berlin: Springer (2014; Zbl 1293.68036) Full Text: DOI OpenURL
Muthsam, H. Book review of: Y. Shapira, Solving PDEs in C++. Numerical methods in a unified object-oriented approach. 2nd ed. (English) Zbl 1286.00028 Monatsh. Math. 174, No. 1, 165 (2014). MSC: 00A17 65-02 65Mxx 65Nxx 68W30 65Fxx 35Qxx 65Y05 PDF BibTeX XML Cite \textit{H. Muthsam}, Monatsh. Math. 174, No. 1, 165 (2014; Zbl 1286.00028) Full Text: DOI OpenURL
Steinbach, Bernd; Posthoff, Christian EAGLE-STARTING AID. Technical informatics. Logical funcions – Boolean models. (EAGLE-STARTHILFE. Technische Informatik. Logische Funktionen – Boolesche Modelle.) (German) Zbl 1297.68004 EAGLE 77. Leipzig: Edition am Gutenbergplatz Leipzig (EAGLE) (ISBN 978-3-937219-77-6/pbk). 100 p. (2014). Reviewer: Gottfried Vossen (Münster) MSC: 68-01 68M07 68N15 94C10 00A06 PDF BibTeX XML Cite \textit{B. Steinbach} and \textit{C. Posthoff}, EAGLE-STARTHILFE. Technische Informatik. Logische Funktionen -- Boolesche Modelle. Leipzig: Edition am Gutenbergplatz Leipzig (EAGLE) (2014; Zbl 1297.68004) OpenURL
O’Malley, Robert E. jun. Book review of: P. J. Nahin, The logician and the engineer. How George Boole and Claude Shannon created the information age. (English) Zbl 1333.00014 SIAM Rev. 55, No. 2, 410 (2013). MSC: 00A17 94-03 01A55 01A60 01A70 94-01 94A15 94A17 94A24 94C10 PDF BibTeX XML Cite \textit{R. E. O'Malley jun.}, SIAM Rev. 55, No. 2, 410 (2013; Zbl 1333.00014) Full Text: DOI OpenURL
Glück, Robert (ed.); Yokoyama, Tetsuo (ed.) Reversible computation. 4th international workshop, RC 2012, Copenhagen, Denmark, July 2–3, 2012. Revised papers. (English) Zbl 1322.68013 Lecture Notes in Computer Science 7581. Berlin: Springer (ISBN 978-3-642-36314-6/pbk). x, 241 p. (2013). MSC: 68-06 68Q05 94C10 00B25 PDF BibTeX XML Cite \textit{R. Glück} (ed.) and \textit{T. Yokoyama} (ed.), Reversible computation. 4th international workshop, RC 2012, Copenhagen, Denmark, July 2--3, 2012. Revised papers. Berlin: Springer (2013; Zbl 1322.68013) Full Text: DOI OpenURL
Davis, Martin Book review of: P. J. Nahin, The logician and the engineer. (English) Zbl 1322.00009 Notices Am. Math. Soc. 60, No. 9, 1170-1172 (2013). MSC: 00A17 94-03 01A55 01A60 01A70 94-01 94A15 94A17 94A24 94C10 PDF BibTeX XML Cite \textit{M. Davis}, Notices Am. Math. Soc. 60, No. 9, 1170--1172 (2013; Zbl 1322.00009) Full Text: DOI OpenURL
Bibilo, P. N. Minimization of binary decision diagrams for systems of incompletely defined Boolean functions. (English. Russian original) Zbl 1320.94114 J. Comput. Syst. Sci. Int. 52, No. 6, 909-927 (2013); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2013, No. 6, 68-86 (2013). MSC: 94C10 94C15 PDF BibTeX XML Cite \textit{P. N. Bibilo}, J. Comput. Syst. Sci. Int. 52, No. 6, 909--927 (2013; Zbl 1320.94114); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2013, No. 6, 68--86 (2013) Full Text: DOI OpenURL
Matrosova, A. Yu.; Ostanin, S. A.; Singh, V. Detection of false paths in logical circuits by joint analysis of the AND/OR trees and SSBDD-graphs. (English. Russian original) Zbl 1302.94075 Autom. Remote Control 74, No. 7, 1164-1177 (2013); translation from Avtom. Telemekh. 2013, No. 7, 126-142 (2013). MSC: 94C10 94C15 PDF BibTeX XML Cite \textit{A. Yu. Matrosova} et al., Autom. Remote Control 74, No. 7, 1164--1177 (2013; Zbl 1302.94075); translation from Avtom. Telemekh. 2013, No. 7, 126--142 (2013) Full Text: DOI OpenURL
Saeedi, Mehdi; Markov, Igor L. Synthesis and optimization of reversible circuits – a survey. (English) Zbl 1293.94141 ACM Comput. Surv. 45, No. 2, Paper No. 9, 34 p. (2013). MSC: 94C10 81P68 94-02 PDF BibTeX XML Cite \textit{M. Saeedi} and \textit{I. L. Markov}, ACM Comput. Surv. 45, No. 2, Paper No. 9, 34 p. (2013; Zbl 1293.94141) Full Text: DOI arXiv OpenURL
Jukna, Stasys; Sergeev, Igor Complexity of linear Boolean operators. (English) Zbl 1280.68004 Found. Trends Theor. Comput. Sci. 9, No. 1, 1-123 (2013). MSC: 68-02 68Q25 94C10 68Q17 PDF BibTeX XML Cite \textit{S. Jukna} and \textit{I. Sergeev}, Found. Trends Theor. Comput. Sci. 9, No. 1, 1--123 (2013; Zbl 1280.68004) Full Text: DOI OpenURL
Şuhubi, Erdoğan S. Exterior analysis. Using applications of differential forms. (English) Zbl 1277.53001 Amsterdam: Elsevier (ISBN 978-0-12-415902-0/hbk; 978-0-12-415928-0/ebook). xii, 767 p. (2013). Reviewer: Dumitru Motreanu (Perpignan) MSC: 53-02 58A10 53-XX 35Qxx 00A69 00A06 PDF BibTeX XML Cite \textit{E. S. Şuhubi}, Exterior analysis. Using applications of differential forms. Amsterdam: Elsevier (2013; Zbl 1277.53001) Full Text: Link OpenURL
Flori, Jean-Pierre; Mesnager, Sihem An efficient characterization of a family of hyper-bent functions with multiple trace terms. (English) Zbl 1316.94136 J. Math. Cryptol. 7, No. 1, 43-68 (2013). MSC: 94C10 11T71 14G50 PDF BibTeX XML Cite \textit{J.-P. Flori} and \textit{S. Mesnager}, J. Math. Cryptol. 7, No. 1, 43--68 (2013; Zbl 1316.94136) Full Text: DOI HAL OpenURL
Dueck, Gerhard W. (ed.); Miller, D. Michael (ed.) Reversible computation. 5th international conference, RC 2013, Victoria, BC, Canada, July 4–5, 2013. Proceedings. (English) Zbl 1277.68008 Lecture Notes in Computer Science 7948. Berlin: Springer (ISBN 978-3-642-38985-6/pbk). x, 263 p. (2013). MSC: 68-06 68Q05 94C10 00B25 PDF BibTeX XML Cite \textit{G. W. Dueck} (ed.) and \textit{D. M. Miller} (ed.), Reversible computation. 5th international conference, RC 2013, Victoria, BC, Canada, July 4--5, 2013. Proceedings. Berlin: Springer (2013; Zbl 1277.68008) Full Text: DOI OpenURL
Hoffmann, Dirk W. Foundations of technical computer science. 3rd revised ed. (Grundlagen der technischen Informatik.) (German) Zbl 1266.68021 München: Hanser (ISBN 978-3-446-43757-9/hbk; 978-3-446-43796-8/ebook). 447 p. (2013). MSC: 68M07 68-01 94C10 PDF BibTeX XML Cite \textit{D. W. Hoffmann}, Grundlagen der technischen Informatik. 3rd revised ed. München: Hanser (2013; Zbl 1266.68021) OpenURL
Aracena, J.; Demongeot, J.; Fanchon, E.; Montalva, M. On the number of different dynamics in Boolean networks with deterministic update schedules. (English) Zbl 1402.92195 Math. Biosci. 242, No. 2, 188-194 (2013). MSC: 92C42 94C10 05C90 92-04 PDF BibTeX XML Cite \textit{J. Aracena} et al., Math. Biosci. 242, No. 2, 188--194 (2013; Zbl 1402.92195) Full Text: DOI Link OpenURL
Czerwinski, Robert; Kania, Dariusz Finite state machine logic synthesis for complex programmable logic devices. (English) Zbl 1258.94001 Lecture Notes in Electrical Engineering 231. Berlin: Springer (ISBN 978-3-642-36165-4/hbk; 978-3-642-36166-1/ebook). xvi, 172 p. (2013). MSC: 94-02 94C10 PDF BibTeX XML Cite \textit{R. Czerwinski} and \textit{D. Kania}, Finite state machine logic synthesis for complex programmable logic devices. Berlin: Springer (2013; Zbl 1258.94001) Full Text: DOI OpenURL
Declerck, Philippe Discrete event systems in dioid algebra and conventional algebra. (English) Zbl 1304.93003 Focus. Automation and Control Series. Hoboken, NJ: John Wiley & Sons; London: ISTE (ISBN 978-1-84821-461-3/hbk; 978-1-118-57968-8/ebook). viii, 156 p. (2013). MSC: 93-02 93C65 93C95 93A30 15A80 90C05 PDF BibTeX XML Cite \textit{P. Declerck}, Discrete event systems in dioid algebra and conventional algebra. Hoboken, NJ: John Wiley \& Sons; London: ISTE (2013; Zbl 1304.93003) Full Text: DOI OpenURL
Nahin, Paul J. The logician and the engineer. How George Boole and Claude Shannon created the information age. (English) Zbl 1256.94004 Princeton, NJ: Princeton University Press (ISBN 978-0-691-15100-7/hbk; 978-1-400-84465-4/ebook). xii, 228 p. (2013). Reviewer: Antonín Slavík (Praha) MSC: 94-03 01A55 01A60 01A70 94-01 94A15 94A17 94A24 94C10 PDF BibTeX XML Cite \textit{P. J. Nahin}, The logician and the engineer. How George Boole and Claude Shannon created the information age. Princeton, NJ: Princeton University Press (2013; Zbl 1256.94004) Full Text: DOI OpenURL
Jamil, Tariq Complex binary number system. Algorithms and circuits. (English) Zbl 1262.94003 SpringerBriefs in Electrical and Computer Engineering. New Delhi: Springer (ISBN 978-81-322-0853-2/pbk; 978-81-322-0854-9/ebook). xii, 83 p. (2013). Reviewer: Antoni Michalski (Warszawa) MSC: 94-02 65-02 68-02 65Y04 94C10 PDF BibTeX XML Cite \textit{T. Jamil}, Complex binary number system. Algorithms and circuits. New Delhi: Springer (2013; Zbl 1262.94003) Full Text: DOI OpenURL
Borowik, Bohdan; Karpinskyy, Mykola; Lahno, Valery; Petrov, Oleksandr Theory of digital automata. (English) Zbl 1260.94001 Intelligent Systems, Control and Automation. Science and Engineering 63. Dordrecht: Springer (ISBN 978-94-007-5227-6/hbk; 978-94-007-5228-3/ebook). xii, 206 p. (2013). Reviewer: Ioan Tomescu (Bucureşti) MSC: 94-01 94C10 PDF BibTeX XML Cite \textit{B. Borowik} et al., Theory of digital automata. Dordrecht: Springer (2013; Zbl 1260.94001) Full Text: DOI OpenURL
Krishnaswamy, Smita; Markov, Igor L.; Hayes, John P. Design, analysis and test of logic circuits under uncertainty. (English) Zbl 1259.94003 Lecture Notes in Electrical Engineering 115. Berlin: Springer (ISBN 978-90-481-9643-2/hbk; 978-90-481-9644-9/ebook). xi, 123 p. (2013). Reviewer: Antoni Michalski (Warszawa) MSC: 94-02 94C10 94C12 PDF BibTeX XML Cite \textit{S. Krishnaswamy} et al., Design, analysis and test of logic circuits under uncertainty. Berlin: Springer (2013; Zbl 1259.94003) Full Text: DOI Link OpenURL
Moraga, Claudio (ed.) Foreward. (English) Zbl 1395.00080 J. Mult.-Val. Log. Soft Comput. 19, No. 4, 283 (2012). MSC: 00B25 94-06 94C05 94C10 PDF BibTeX XML Cite \textit{C. Moraga} (ed.), J. Mult.-Val. Log. Soft Comput. 19, No. 4, 283 (2012; Zbl 1395.00080) Full Text: Link OpenURL
Veliz-Cuba, Alan; Laubenbacher, Reinhard On the computation of fixed points in Boolean networks. (English) Zbl 1381.94145 J. Appl. Math. Comput. 39, No. 1-2, 145-153 (2012). MSC: 94C10 94C15 06E30 PDF BibTeX XML Cite \textit{A. Veliz-Cuba} and \textit{R. Laubenbacher}, J. Appl. Math. Comput. 39, No. 1--2, 145--153 (2012; Zbl 1381.94145) Full Text: DOI arXiv OpenURL
Dally, William James; Harting, R. Curtis Digital design. A systems approach. (English) Zbl 1259.94002 Cambridge: Cambridge University Press (ISBN 978-0-521-19950-6/hbk). xix, 614 p. (2012). Reviewer: Ioan Tomescu (Bucureşti) MSC: 94-01 94C10 PDF BibTeX XML Cite \textit{W. J. Dally} and \textit{R. C. Harting}, Digital design. A systems approach. Cambridge: Cambridge University Press (2012; Zbl 1259.94002) OpenURL
Even, Guy; Medina, Moti Digital logic design. A rigorous approach. (English) Zbl 1262.94001 Cambridge: Cambridge University Press (ISBN 978-1-107-02753-4/hbk; 978-1-108-70803-6/pbk; 978-1-139-22645-5/ebook). xx, 348 p. (2012). Reviewer: Eleonor Ciurea (Braşov) MSC: 94-01 94C10 PDF BibTeX XML Cite \textit{G. Even} and \textit{M. Medina}, Digital logic design. A rigorous approach. Cambridge: Cambridge University Press (2012; Zbl 1262.94001) Full Text: DOI OpenURL
Shapira, Yair Solving PDEs in C++. Numerical methods in a unified object-oriented approach. 2nd ed. (English) Zbl 1260.65097 Computational Science & Engineering 9. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-611972-16-0/pbk). xxxii, 776 p. (2012). Reviewer: T. C. Mohan (Dehra Dun) MSC: 65M99 65N99 68N19 68W30 65Fxx 35Qxx 65-02 65Y05 PDF BibTeX XML Cite \textit{Y. Shapira}, Solving PDEs in C++. Numerical methods in a unified object-oriented approach. 2nd ed. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (2012; Zbl 1260.65097) OpenURL
Rahaman, Hafizur (ed.); Chattopadhyay, Sanatan (ed.); Chattopadhyay, Santanu (ed.) Progress in VLSI design and test. 16th international symposium, VDAT 2012, Shibpur, India, July 1–4, 2012. Proceedings. (English) Zbl 1248.94011 Lecture Notes in Computer Science 7373. Berlin: Springer (ISBN 978-3-642-31493-3/pbk). xxii, 408 p. (2012). MSC: 94-06 68-06 68W35 94C10 94C12 00B25 PDF BibTeX XML Cite \textit{H. Rahaman} (ed.) et al., Progress in VLSI design and test. 16th international symposium, VDAT 2012, Shibpur, India, July 1--4, 2012. Proceedings. Berlin: Springer (2012; Zbl 1248.94011) Full Text: DOI OpenURL
Fermanian-Kammerer, Clotilde; Lasser, Caroline Single switch surface hopping for molecular quantum dynamics. (English) Zbl 1251.81102 J. Math. Chem. 50, No. 3, 620-635 (2012). MSC: 81V55 81Q05 94C10 PDF BibTeX XML Cite \textit{C. Fermanian-Kammerer} and \textit{C. Lasser}, J. Math. Chem. 50, No. 3, 620--635 (2012; Zbl 1251.81102) Full Text: DOI OpenURL
Hümbs, Wolfgang; Kuzyk, Klaus Introduction to information theory (Winter term 2011/12). (Einführung in die Informationstheorie (WS2011/12).) (German) Zbl 1252.94002 Berichte aus der Mathematik. Aachen: Shaker Verlag (ISBN 978-3-8440-1006-0/pbk). 195 p. (2012). Reviewer: Ludwig Paditz (Dresden) MSC: 94-01 68P30 81P45 94A12 94A15 94A17 94A40 94A60 94Bxx 94C10 PDF BibTeX XML Cite \textit{W. Hümbs} and \textit{K. Kuzyk}, Einführung in die Informationstheorie (WS2011/12). Aachen: Shaker Verlag (2012; Zbl 1252.94002) Full Text: Link OpenURL
Sanchez, Julio; Canton, Maria P. Embedded systems circuits and programming. (English) Zbl 1251.94001 Boca Raton, FL: CRC Press (ISBN 978-1-4398-7904-7/hbk; 978-1-4398-7931-3/ebook). xx, 871 p. (2012). Reviewer: Antoni Michalski (Warszawa) MSC: 94-00 68M07 68N99 93C95 94C05 94C10 PDF BibTeX XML Cite \textit{J. Sanchez} and \textit{M. P. Canton}, Embedded systems circuits and programming. Boca Raton, FL: CRC Press (2012; Zbl 1251.94001) Full Text: Link OpenURL
Vingron, Shimon P. Logic circuit design. Selected methods. (English) Zbl 1246.94007 Berlin: Springer (ISBN 978-3-642-27656-9/hbk; 978-3-642-27657-6/ebook). xiv, 258 p. (2012). Reviewer: Ioan Tomescu (Bucureşti) MSC: 94-01 94C10 PDF BibTeX XML Cite \textit{S. P. Vingron}, Logic circuit design. Selected methods. Berlin: Springer (2012; Zbl 1246.94007) Full Text: DOI OpenURL
De Vos, Alexis (ed.); Wille, Robert (ed.) Reversible computation. Third international workshop, RC 2011, Gent, Belgium, July 4–5, 2011. Revised papers. (English) Zbl 1241.68014 Lecture Notes in Computer Science 7165. Berlin: Springer (ISBN 978-3-642-29516-4/pbk). ix, 123 p. (2012). MSC: 68-06 68Q05 94C10 00B25 PDF BibTeX XML Cite \textit{A. De Vos} (ed.) and \textit{R. Wille} (ed.), Reversible computation. Third international workshop, RC 2011, Gent, Belgium, July 4--5, 2011. Revised papers. Berlin: Springer (2012; Zbl 1241.68014) Full Text: DOI OpenURL
Deschamps, Jean-Pierre; Sutter, Gustavo D.; Cantó, Enrique Guide to FPGA implementation of arithmetic functions. (English) Zbl 1278.68026 Lecture Notes in Electrical Engineering 149. Dordrecht: Springer (ISBN 978-94-007-2986-5/hbk; 978-94-007-2987-2/ebook). xv, 469 p. (2012). Reviewer: Antoni Michalski (Warszawa) MSC: 68-06 94-06 68-00 94-00 94C10 PDF BibTeX XML Cite \textit{J.-P. Deschamps} et al., Guide to FPGA implementation of arithmetic functions. Dordrecht: Springer (2012; Zbl 1278.68026) Full Text: DOI OpenURL