{"title":"Bernd Steinbach","description":null,"products":[{"product_id":"logic-functions-and-equations-book-bernd-steinbach-9783030889470","title":"Logic Functions and Equations","description":"The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering. The authors’ approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. The book provides insight into applications across propositional logic, binary arithmetic, coding, cryptography, complexity, logic design, and artificial intelligence.   Updated throughout, some major additions for the 3rd edition include:       a new chapter about the concepts contributing to the power of XBOOLE;  a new chapter that introduces into the application of the XBOOLE-Monitor XBM 2;  many tasks that support the readers in amplifying the learned content at the end of the chapters;  solutions of a large subset of these tasks to confirm learning success;  challenging tasks that need the power of the XBOOLE software for their solution.     The XBOOLE-monitor XBM 2 software is used to solve the exercises; in this way the time-consuming and error-prone manipulation on the bit level is moved to an ordinary PC, more realistic tasks can be solved, and the challenges of thinking about algorithms leads to a higher level of education.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49744296608017,"sku":"NGR9783030889470","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52688636117265,"sku":"NLS9783030889470","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030889475.jpg?v=1751252374"},{"product_id":"boolean-differential-calculus-book-bernd-steinbach-9783031798917","title":"Boolean Differential Calculus","description":"The Boolean Differential Calculus (BDC) is a very powerful theory that extends the basic concepts of Boolean Algebras significantly.   Its applications are based on Boolean spaces ���� and ����ⁿ, Boolean operations, and basic structures such as Boolean Algebras and Boolean Rings, Boolean functions, Boolean equations, Boolean inequalities, incompletely specified Boolean functions, and Boolean lattices of Boolean functions. These basics, sometimes also called switching theory, are widely used in many modern information processing applications.   The BDC extends the known concepts and allows the consideration of changes of function values. Such changes can be explored for pairs of function values as well as for whole subspaces. The BDC defines a small number of derivative and differential operations. Many existing theorems are very welcome and allow new insights due to possible transformations of problems. The available operations of the BDC have been efficiently implemented in several software packages.   The common use of the basic concepts and the BDC opens a very wide field of applications. The roots of the BDC go back to the practical problem of testing digital circuits. The BDC deals with changes of signals which are very important in applications of the analysis and the synthesis of digital circuits. The comprehensive evaluation and utilization of properties of Boolean functions allow, for instance, to decompose Boolean functions very efficiently; this can be applied not only in circuit design, but also in data mining. Other examples for the use of the BDC are the detection of hazards or cryptography. The knowledge of the BDC gives the scientists and engineers an extended insight into Boolean problems leading to new applications, e.g., the use of Boolean lattices of Boolean functions.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51717806489873,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":51717806948625,"sku":"NGR9783031798917","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3031798910.png?v=1750837048"},{"product_id":"boolean-differential-equations-book-bernd-steinbach-9783031798603","title":"Boolean Differential Equations","description":"The Boolean Differential Calculus (BDC) is a very powerful theory that extends the structure of a Boolean Algebra significantly. Based on a small number of definitions, many theorems have been proven. The available operations have been efficiently implemented in several software packages. There is a very wide field of applications. While a Boolean Algebra is focused on values of logic functions, the BDC allows the evaluation of changes of function values. Such changes can be explored for pairs of function values as well as for whole subspaces. Due to the same basic data structures, the BDC can be applied to any task described by logic functions and equations together with the Boolean Algebra. The BDC can be widely used for the analysis, synthesis, and testing of digital circuits. Generally speaking, a Boolean differential equation (BDE) is an equation in which elements of the BDC appear. It includes variables, functions, and derivative operations of these functions. The solution of such a BDE is a set of Boolean functions. This is a significant extension of Boolean equations, which have sets of Boolean vectors as solutions. In the simplest BDE a derivative operation of the BDC on the left-hand side is equal to a logic function on the right-hand side. The solution of such a simple BDE means to execute an operation which is inverse to the given derivative. BDEs can be applied in the same fields as the BDC, however, their possibility to express sets of Boolean functions extends the application field significantly.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51717834047761,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":51717834965265,"sku":"NGR9783031798603","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3031798600.png?v=1750934206"},{"product_id":"logic-functions-and-equations-book-bernd-steinbach-9783030889449","title":"Logic Functions and Equations","description":"The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering. The authors’ approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. The book provides insight into applications across propositional logic, binary arithmetic, coding, cryptography, complexity, logic design, and artificial intelligence.   Updated throughout, some major additions for the 3rd edition include:       a new chapter about the concepts contributing to the power of XBOOLE;  a new chapter that introduces into the application of the XBOOLE-Monitor XBM 2;  many tasks that support the readers in amplifying the learned content at the end of the chapters;  solutions of a large subset of these tasks to confirm learning success;  challenging tasks that need the power of the XBOOLE software for their solution.     The XBOOLE-monitor XBM 2 software is used to solve the exercises; in this way the time-consuming and error-prone manipulation on the bit level is moved to an ordinary PC, more realistic tasks can be solved, and the challenges of thinking about algorithms leads to a higher level of education.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52406110847249,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52406111699217,"sku":"NLS9783030889449","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030889449.jpg?v=1758768583"},{"product_id":"logic-functions-and-equations-book-bernd-steinbach-9789048181650","title":"Logic Functions and Equations","description":"Tsutomu Sasao - Kyushu Institute of Technology, Japan The material covered in this book is quite unique especially for p- ple who are reading English, since such material is quite hard to ?nd in the U.S. literature.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52455602585873,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52455603077393,"sku":"NLS9789048181650","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789048181650.jpg?v=1759374789"},{"product_id":"logic-functions-and-equations-book-bernd-steinbach-9781402095948","title":"Logic Functions and Equations","description":"Tsutomu Sasao - Kyushu Institute of Technology, Japan The material covered in this book is quite unique especially for p- ple who are reading English, since such material is quite hard to ?nd in the U.S. literature.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52480548831505,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52480550371601,"sku":"NLS9781402095948","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402095948.jpg?v=1759850393"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-bernd-steinbach.oembed","provider":"World of Books ","version":"1.0","type":"link"}