Boolean Differential Calculus

Name: Boolean Differential Calculus
Author: Christian Posthoff
ISBN: 9783031798917

Christian Posthoff

Language: English

Published by Springer, 2017

3031798910 / 9783031798917

Softcover
New

See all details

Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

5-star seller

AbeBooks seller since August 14, 2006

View this seller's items

Softcover

Condition: New

£ 55.94

£ 29.30 shipping

Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Free 30-day returns

Save for laterCreate a Want for similar items

Item description from seller

Druck auf Anfrage Neuware - Printed after ordering - 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.…

Seller Inventory # 9783031798917

Contact seller about this item

Report this item

Title: Boolean Differential Calculus
Author: Christian Posthoff
Publisher: Springer
Publication year: 2017
Condition: Neu
Binding: Taschenbuch
Language: English
ISBN 10: 3031798910
ISBN 13: 9783031798917
Item weight: 413 grams
Dimensions: 235x191x12 mm

About the Author

From 1973-1977, Bernd Steinbach studied Information Technology at the University of Technology in Chemnitz (Germany) and graduated with an M.Sc. in 1977. He graduated with a Ph.D. and with a Dr. sc. techn. (Doctor scientiae technicarum) for his second doctoral thesis from the Faculty of Electrical Engineering of the Chemnitz University of Technology in 1981 and 1984, respectively. In 1991, Steinbach obtained the habilitation (Dr.-Ing. habil.) from the same faculty. Topics of his theses involved Boolean equations, Boolean differential equations, and their application in the field of circuit design using efficient algorithms and data structures on computers. Steinbach worked in industry as an electrician, where he had tested professional controlling systems at the Niles Company. After his studies he taught as Assistant Lecturer at the Department of Information Technology of the Chemnitz University of Technology. Asa research engineer he developed programs for test pattern generation for computer circuits at the company Robotron. He later returned to the Department of Information Technology of the Chemnitz University of Technology as Associate Professor for design automation in logic design. Since 1992 he has worked as a Full Professor of Computer Science/Software Engineering and Programming at the Freiberg University of Mining and Technology, Department of Computer Science. He has served as Head of the Department of Computer Science and Vice-Dean of the Faculty of Mathematics and Computer Science. His research areas include logic functions and equations and their application in many fields, such as artificial intelligence, UML-based testing of software, and UML-based hardware/software co-design. He is the head of a group that developed the XBOOLE software system. He published three books about logic synthesis. The first one (together with D. Bochmann) covers Logic Design using XBOOLE (in German), Technik 1991. The following two, co-authored by Christian Posthoff, are Logic Functions and Equations-Binary Models for Computer Science and Logic Functions and Equations - Examples and Exercises, Springer 2004, and 2009, respectively. As one application of the Boolean Differential Calculus, he co-authored another book with Christian Posthoff, Boolean Differential Equations, Morgan & Claypool Publishers 2013. He is the editor and co-author of several sections of the books Recent Problems in the Boolean Domain and Problems and New Solutions in the Boolean Domain, both of which were published by Cambridge Scholars Publishing in 2014 and 2016, respectively. Again co-authored by Christian Posthoff, he published three textbooks in German: Logic Functions-Boolean Models, Efficient Calculations Using XBOOLE, and Java Programming for Beginners EAGLE 2014, 2015, and 2016. He published more than 250 chapters in books, complete issues of journals, and papers in journals and proceedings. Hehas served as Program Chairman for the IEEE International Symposium on Multiple-Valued Logic (ISMVL), and as guest editor of the Journal of Multiple-Valued Logic and Soft Computing. He is the initiator and general chair of a biennial series of International Workshops on Boolean Problems (IWSBP) which started in 1994, now with 12 workshops. He received the Barkhausen Award from the University of Technology Dresden in 1983.

From 1973-1977, Bernd Steinbach studied Information Technology at the University of Technology in Chemnitz (Germany) and graduated with an M.Sc. in 1977. He graduated with a Ph.D. and with a Dr. sc. techn. (Doctor scientiae technicarum) for his second doctoral thesis from the Faculty of Electrical Engineering of the Chemnitz University of Technology in 1981 and 1984, respectively. In 1991, Steinbach obtained the habilitation (Dr.-Ing. habil.) from the same faculty. Topics of his theses involved Boolean equations, Boolean differential equations, and their application in the field of circuit design using efficient algorithms and data structures on computers. Steinbach worked in industry as an electrician, where he had tested professional controlling systems at the Niles Company. After his studies he taught as Assistant Lecturer at the Department of Information Technology of the Chemnitz University of Technology. As a research engineer he developed programs for test pattern generation for computer circuits at the company Robotron. He later returned to the Department of Information Technology of the Chemnitz University of Technology as Associate Professor for design automation in logic design. Since 1992 he has worked as a Full Professor of Computer Science/Software Engineering and Programming at the Freiberg University of Mining and Technology, Department of Computer Science. He has served as Head of the Department of Computer Science and Vice-Dean of the Faculty of Mathematics and Computer Science. His research areas include logic functions and equations and their application in many fields, such as artificial intelligence, UML-based testing of software, and UML-based hardware/software co-design. He is the head of a group that developed the XBOOLE software system. He published three books about logic synthesis. The first one (together with D. Bochmann) covers Logic Design using XBOOLE (in German), Technik 1991. The following two, co-authored by Christian Posthoff, are Logic Functions and Equations-Binary Models for Computer Science and Logic Functions and Equations - Examples and Exercises, Springer 2004, and 2009, respectively. As one application of the Boolean Differential Calculus, he co-authored another book with Christian Posthoff, Boolean Differential Equations, Morgan & Claypool Publishers 2013. He is the editor and co-author of several sections of the books Recent Problems in the Boolean Domain and Problems and New Solutions in the Boolean Domain, both of which were published by Cambridge Scholars Publishing in 2014 and 2016, respectively. Again co-authored by Christian Posthoff, he published three textbooks in German: Logic Functions-Boolean Models, Efficient Calculations Using XBOOLE, and Java Programming for Beginners EAGLE 2014, 2015, and 2016. He published more than 250 chapters in books, complete issues of journals, and papers in journals and proceedings. He has served as Program Chairman for the IEEE International Symposium on Multiple-Valued Logic (ISMVL), and as guest editor of the Journal of Multiple-Valued Logic and Soft Computing. He is the initiator and general chair of a biennial series of International Workshops on Boolean Problems (IWSBP) which started in 1994, now with 12 workshops. He received the Barkhausen Award from the University of Technology Dresden in 1983.

"About the title" may belong to another edition of this title.

AHA-BUCH GmbH

Einbeck, Germany

5-star seller

AbeBooks seller since August 14, 2006

Shipping rates from Germany to U.S.A.

Item	7 to 10 business days	5 to 7 business days
First item	£ 29.30	£ 37.67

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

Bank Wire Transfer
Check
Paypal

Store description

Das Unternehmen AHA-BUCH GmbH: Seit der Gründung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisgünstig wie möglich ihren Bücherwunsch zu erfüllen. Unsere Firma beschäftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine Wünsche! Auf über 3700 m2 Fläche haben wir über 100.000 Bücher, Modernes Antiquariat und Spiele auf Lager.

Specialty

Kinderbücher & Kinderhör Casetten, German Books, Software, Natur & Tiere, Ratgeber, Sachbücher, Englische Bücher, Medizin & Gesundheit, Universität & Studium

Seller's business information

AHA-BUCH GmbH

Garlebsen 48
Einbeck, Germany 37574

Contact sellerView this seller's itemsView seller's storefront

Terms of sale

Imprint

Seller Info:

AHA-BUCH GmbH
represented by the managing director Christel Glass
Garlebsen 48
37574 Einbeck
Deutschland
Telefon: 055639996039
Telefax: 055639995974
E-Mail: abebooks@aha-buch.de
USt-IdNr.: DE261904229
registered at Commercial register Amtsgerichtes Göttingen
Handelsregisternummer HRB 200691

Alternative dispute resolution:
The European Commission provides a platform for out-of-court online dispute resolution (ODR platform), which can be accessed under https://ec.europa.eu/odr.

We have been a member of the "FairCommerce" initiative since 25.05.2018.
For more information, see www.fair-commerce.de.

Right of withdrawal

If you are a consumer you can withdraw from the contract in accordance with the following. Consumer means any natural person who is acting for purposes which are outside his trade, business, craft or profession.

Information regarding the right of withdrawal

Statutory right to withdraw

You have the right to withdraw from this contract within 14 days without giving any reason.

The withdrawal period will expire after 14 days from the day on which you acquire, or a third party other than the carrier and indicated by you acquires, physical possession of the last good or the last lot or piece.

To exercise the right of withdrawal, electronically fill in and submit a clear statement on our website, under "My Purchases" in "My Account". We will communicate to you an acknowledgement of receipt of such a withdrawal on a durable medium (e.g. by e-mail) without delay.

To meet the withdrawal deadline, it is sufficient for you to send your communication concerning your exercise of the right of withdrawal before the withdrawal period has expired.

Effects of withdrawal

If you withdraw from this contract, we will reimburse to you all payments received from you, including the costs of delivery (except for the supplementary costs arising if you chose a type of delivery other than the least expensive type of standard delivery offered by us).

We may make a deduction from the reimbursement for loss in value of any goods supplied, if the loss is the result of unnecessary handling by you.

We will make the reimbursement without undue delay, and not later than 14 days after the day on which we are informed about your decision to withdraw from this contract.

We will make the reimbursement using the same means of payment as you used for the initial transaction, unless you have expressly agreed otherwise; in any event, you will not incur any fees as a result of such reimbursement.

We may withhold reimbursement until we have received the goods back, or you have supplied evidence of having sent back the goods, whichever is the earliest.

You shall send back the goods or hand them over to AHA-BUCH GmbH, Einbeck, Germany, without undue delay and in any event not later than 14 days from the day on which you communicate your withdrawal from this contract to us. The deadline is met if you send back the goods before the period of 14 days has expired. You will have to bear the direct cost of returning the goods. You are only liable for any diminished value of the goods resulting from the handling other than what is necessary to establish the nature, characteristics and functioning of the goods.

Exceptions to the right of withdrawal

The right of withdrawal does not apply to:

The delivery of newspapers, journals or magazines with the exception of subscription contracts; and
The supply of digital content which is not supplied on a tangible medium (e.g. on a CD or DVD) if you accepted when you placed your order that we could start to deliver it, and that you could not withdraw once delivery had started.

Shipping terms

We ship your order after we received them
for articles on hand latest 24 hours,
for articles with overnight supply latest 48 hours.
In case we need to order an article from our supplier our dispatch time depends on the reception date of the articles, but the articles will be shipped on the same day.

Our goal is to send the ordered articles in the fastest, but also most efficient and secure way to our customers.

Boolean Differential Calculus

Item description from seller

Bibliographic details

Synopsis

About the title

About the Author

AHA-BUCH GmbH

Shipping rates from Germany to U.S.A.

Payment methods

Store description

Specialty

Seller's business information

Terms of sale

Right of withdrawal

Shipping terms