Binary Decision Diagrams and Applications for VLSI CAD (The Springer International Series in Engineering and Computer Science, 342)
Minato, Shin-ichi
ISBN 10: 0792396529 ISBN 13: 9780792396529
Published by Springer, 1995
Used
Hardcover
From
thebookforest.com, San Rafael, CA, U.S.A.
Seller rating 4 out of 5 stars
AbeBooks Seller since 3 January 2023
This specific item is no longer available.
About this Item
Description:
Page block firm and clean, binding tight, boards straight. No markings of any kind. Fine, like new condition. Well packaged and promptly shipped from California. US veteran operated. Seller Inventory # 1LAGBP001S34
Synopsis:
Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can represent not just digital circuit functions, but also such mathematical domains as sets and relations, a wide variety of CAD problems can be solved using BDDs.
`Binary Decision Diagrams and Applications for VLSI CAD provides valuable information for both those who are new to BDDs as well as to long time aficionados.' -from the Foreword by Randal E. Bryant.
`Over the past ten years ... BDDs have attracted the attention of many researchers because of their suitability for representing Boolean functions. They are now widely used in many practical VLSI CAD systems. ... this book can serve as an introduction to BDD techniques and ... it presents several new ideas on BDDs and their applications. ... many computer scientists and engineers will be interested in this book since Boolean function manipulation is a fundamental technique not only in digital system design but also in exploring various problems in computer science.' - from the Preface by Shin-ichi Minato.
Synopsis: This text discusses Symbolic Boolean manipulation, which, using binary decision diagrams (BDDs), has been successfully applied to a wide variety of tasks, particularly in very large-scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. Since the mid-1980s, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can represent not just digital circuit functions, but also such mathematical domains as sets and relations, a wide variety of CAD problems can be solved using BDDs.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Binary Decision Diagrams and Applications ...
Publisher: Springer
Publication Date: 1995
Binding: Hardcover
Condition: LikeNew
Top Search Results from the AbeBooks Marketplace
Stock Image
Binary Decision Diagrams and Applications for VLSI CAD
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can represent not just digital circuit functions, but also such mathematical domains as sets and relations, a wide variety of CAD problems can be solved using BDDs. `Binary Decision Diagrams and Applications for VLSI CAD provides valuable information for both those who are new to BDDs as well as to long time aficionados.' -from the Foreword by Randal E. Bryant. `Over the past ten years . BDDs have attracted the attention of many researchers because of their suitability for representing Boolean functions. They are now widely used in many practical VLSI CAD systems. . this book can serve as an introduction to BDD techniques and . it presents several new ideas on BDDs and their applications. . many computer scientists and engineers will be interested in this book since Boolean function manipulation is a fundamental technique not only in digital system design but also in exploring various problems in computer science.' - from the Preface by Shin-ichi Minato. Seller Inventory # 1655782/3
Stock Image
Binary Decision Diagrams and Applications for VLSI CAD (The Springer International Series in Engineering and Computer Science, 342)
Seller: thebookforest.com, San Rafael, CA, U.S.A.
Seller rating 4 out of 5 stars
Condition: Like New. Page block firm and clean, binding tight, boards straight. No markings of any kind. Fine, like new condition. Well packaged and promptly shipped from California. US veteran operated. Seller Inventory # BAY_09_SH_040072
Stock Image
Binary Decision Diagrams and Applications for VLSI CAD (The Springer International Series in Engineering and Computer Science)
Seller: SatelliteBooks, Burlington, VT, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: New. Hardcover 1996, second printingunused, minor shelf-wear, no DJ as issued,Free of any markings and no writing. For Additional Information or pictures, Please Inquire. Seller Inventory # SKU002934
Seller Image
Binary Decision Diagrams and Applications for VLSI CAD
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract . Seller Inventory # 5971647
Buy New
£ 122.50
£ 42.79 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Binary Decision Diagrams and Applications for VLSI CAD
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Binary Decision Diagrams and Applications for VLSI CAD | Shin-Ichi Minato | Buch | xvi | Englisch | 1995 | Springer US | EAN 9780792396529 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 102548846
Stock Image
Binary Decision Diagrams and Applications for VLSI CAD (The Springer International Series in Engineering and Computer Science, 342)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780792396529_new
Buy New
£ 134.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Binary Decision Diagrams and Applications for VLSI CAD (The Springer International Series in Engineering and Computer Science, 342)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190186084
Seller Image
Binary Decision Diagrams and Applications for VLSI CAD
Published by
Springer US, Springer US Nov 1995, 1995
ISBN 10: 0792396529
ISBN 13: 9780792396529
New
Hardcover
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware -Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can represent not just digital circuit functions, but also such mathematical domains as sets and relations, a wide variety of CAD problems can be solved using BDDs.`Binary Decision Diagrams and Applications for VLSI CAD provides valuable information for both those who are new to BDDs as well as to long time aficionados.' -from the Foreword by Randal E. Bryant.`Over the past ten years . BDDs have attracted the attention of many researchers because of their suitability for representing Boolean functions. They are now widely used in many practical VLSI CAD systems. . this book can serve as an introduction to BDD techniques and . it presents several new ideas on BDDs and their applications. . many computer scientists and engineers will be interested in this book since Boolean function manipulation is a fundamental technique not only in digital system design but also in exploring various problems in computer science.' - from the Preface by Shin-ichi Minato.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 162 pp. Englisch. Seller Inventory # 9780792396529
Seller Image
Binary Decision Diagrams and Applications for VLSI CAD
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can represent not just digital circuit functions, but also such mathematical domains as sets and relations, a wide variety of CAD problems can be solved using BDDs. `Binary Decision Diagrams and Applications for VLSI CAD provides valuable information for both those who are new to BDDs as well as to long time aficionados.' -from the Foreword by Randal E. Bryant. `Over the past ten years . BDDs have attracted the attention of many researchers because of their suitability for representing Boolean functions. They are now widely used in many practical VLSI CAD systems. . this book can serve as an introduction to BDD techniques and . it presents several new ideas on BDDs and their applications. . many computer scientists and engineers will be interested in this book since Boolean function manipulation is a fundamental technique not only in digital system design but also in exploring various problems in computer science.' - from the Preface by Shin-ichi Minato. 162 pp. Englisch. Seller Inventory # 9780792396529
Seller Image
Binary Decision Diagrams and Applications for VLSI CAD
Published by
Springer US, Springer US, 1995
ISBN 10: 0792396529
ISBN 13: 9780792396529
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can represent not just digital circuit functions, but also such mathematical domains as sets and relations, a wide variety of CAD problems can be solved using BDDs. `Binary Decision Diagrams and Applications for VLSI CAD provides valuable information for both those who are new to BDDs as well as to long time aficionados.' -from the Foreword by Randal E. Bryant. `Over the past ten years . BDDs have attracted the attention of many researchers because of their suitability for representing Boolean functions. They are now widely used in many practical VLSI CAD systems. . this book can serve as an introduction to BDD techniques and . it presents several new ideas on BDDs and their applications. . many computer scientists and engineers will be interested in this book since Boolean function manipulation is a fundamental technique not only in digital system design but also in exploring various problems in computer science.' - from the Preface by Shin-ichi Minato. Seller Inventory # 9780792396529