Boolean Differential Equations

Name: Boolean Differential Equations
Author: Steinbach, Bernd|Posthoff, Christian
ISBN: 9783031798603

Steinbach, Bernd|Posthoff, Christian

Language: English

Published by Springer, Berlin|Springer International Publishing|Morgan & Claypool|Springer, 2013

3031798600 / 9783031798603

Softcover
New

See all details

Seller: moluna, Greven, Germanymoluna

5-star seller

AbeBooks seller since July 9, 2020

View this seller's items

Softcover

Condition: New

£ 30.12

£ 41.63 shipping

Ships from Germany to U.S.A.

Quantity: Over 20 available

Add to basket

Free 30-day returns

Save for laterCreate a Want for similar items

Item description from seller

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 implement.

Seller Inventory # 608130027

Contact seller about this item

Report this item

Title: Boolean Differential Equations
Author: Steinbach, Bernd|Posthoff, Christian
Publisher: Springer, Berlin|Springer International Publishing|Morgan & Claypool|Springer
Publication year: 2013
Condition: New
Binding: Soft cover
Language: English
ISBN 10: 3031798600
ISBN 13: 9783031798603
Seller catalogs: Mathematik/Naturwissenschaften/Technik/Medizin

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. 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 been 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, UML-based hardware/software co-design.He is the head of a group that developed the XBOOLE software system. He published three books in logic synthesis and more than 200 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 guested it or 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, with 10 workshops until now. He received the Barkhausen Award from the University of Technology Dresden in 1983.

From 1963-1968, Christian Posthoff studied Mathematics at the University of Leipzig. His thesis was titled: ""Axiomatic Description of a Finite Class Calculus"" (Prof. Dr. Klaua). From 1968-1972, he worked as a programmer and in the field of Operations Research; simultaneously, he did his Ph.D. in 1975 with the thesis ""Application of Mathematical Methods in Communicative Psychotherapy."" In 1972, he joined the Department of Information Technology at the Chemnitz University of Technology; up to 1983, his research activities concentrated on logic design. His cooperation with B.Steinbach goes back to these days.Important results have been algorithms and programs for solving Boolean equations with a high number of variables and the Boolean Differential Calculus for the analytical treatment of different problems in the field of logic design. These results have been collected in a monograph Binary Dynamic Systems published simultaneously in Akademie-Verlag Berlin, Oldenbourg-Verlag Munich-Vienna and in the Soviet-Union, and allowed the habilitation (Dr.-Ing. habil.) at the Faculty of Electrical Engineering in 1979 and the promotion to Associate Professor. He wrote two textbooks at this time, aimed at a higher level in the theoretical and mathematical training of graduate engineers of information technology. About 1976, he started research activities in Artificial Intelligence. In 1983, Posthoff started as Full Professor of Computer Science inthe Department of Computer Science at the same university, with the aim of starting the program in Computer Science in 1984. In 1984, he became Head of the Institute of Theoretical Computer Science and Artificial Intelligence and Research Director of the Department of Computer Science. An independent direction of research activities within AI, investigations of computer chess and other strategic games, arose from his love for chess. His research activities concentrated on the application of fuzzy logic for the modeling of human-like ""thinking"" methods, the learning from examples, the construction of intelligent tutoring systems, the parallelization of inference mechanisms, systems of diagnosis and configuration. In cooperation with colleagues from different areas of mechanical engineering and medicine, he has been supervising the construction of several expert systems. He received the Scientific Award of the Chemnitz University of Technology four times. In 1994,he moved to the Chairof Computer Science at the University of The West Indies, St. Augustine, Trinidad & Tobago. From 1996-2002 he was Head of the Department of Mathematics & Computer Science. His main focus was the development of Computer Science education at the undergraduate and graduate level to attain international standard. In 2001, he received the Vice-Chancellor's Award of Excellence. He is the author or co-author of 15 books and many publications in journals and conference proceedings.

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

moluna

Greven, Germany

5-star seller

AbeBooks seller since July 9, 2020

Shipping rates from Germany to U.S.A.

Item	16 to 45 business days	16 to 45 business days
First item	£ 41.63	£ 41.63

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

Online Handel nur mit Neubüchern

Seller's business information

Moluna GmbH

Engberdingdamm 27
Greven, Germany 48268

Contact sellerView this seller's itemsView seller's storefront

Terms of sale

About Us

Legal website operator identification:

Moluna GmbH
Represented by the general manager Helge Blischke
Engberdingdamm 27
48268 Greven
Germany
Telephone: 02571/5698933
Telefax: 02571/5698930
E-Mail: abe@moluna.de
VAT No.: DE296281834
listed in the commercial register of the local court Steinfurt
Commercial register number - Part B of the commercial register - 10553

We are a member of the initiative „FairCommerce“ since 24.07.2015.
For more information, see: www.haendlerbund.de/faircommerce.

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 moluna, Greven, 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.