Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 22 (weekend SALE item)* 463 pp., hardcover, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 482 pages. 9.00x6.00x1.09 inches. In Stock.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 96.88
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 96.88
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Condition: New. pp. 164.
Language: English
Published by Kluwer Academic Publishers, 1995
ISBN 10: 0792396731 ISBN 13: 9780792396734
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. This text describes justification equivalence, in which duplication of computations is avoided in the dynamic branch-and-bound search process without using search decision trees. As well as covering the theoretical work, the book deals with applications, particularly ATPG for sequential circuits. Series: Frontiers in Electronic Testing. Num Pages: 160 pages, 1, black & white illustrations. BIC Classification: TBMM; TJFD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 410. . 1995. Hardback. . . . .
Condition: New. pp. 164.
Language: English
Published by Kluwer Academic Publishers, 1991
ISBN 10: 0792391659 ISBN 13: 9780792391654
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 197 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 1030. . 1991. Hardback. . . . .
Condition: New.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 117.35
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 117.35
Quantity: Over 20 available
Add to basketCondition: New.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 117.99
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Taschenbuch. Condition: Neu. Efficient Branch and Bound Search with Application to Computer-Aided Design | Michael L. Bushnell (u. a.) | Taschenbuch | xiv | Englisch | 2011 | Humana | EAN 9781461285717 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 130.10
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: English
Published by Kluwer Academic Publishers, 1995
ISBN 10: 0792396731 ISBN 13: 9780792396734
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. This text describes justification equivalence, in which duplication of computations is avoided in the dynamic branch-and-bound search process without using search decision trees. As well as covering the theoretical work, the book deals with applications, particularly ATPG for sequential circuits. Series: Frontiers in Electronic Testing. Num Pages: 160 pages, 1, black & white illustrations. BIC Classification: TBMM; TJFD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 410. . 1995. Hardback. . . . . Books ship from the US and Ireland.
Language: English
Published by Kluwer Academic Publishers, 1991
ISBN 10: 0792391659 ISBN 13: 9780792391654
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 197 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 1030. . 1991. Hardback. . . . . Books ship from the US and Ireland.
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Branch-and-bound search has been known for a long time and has been widely used in solving a variety of problems in computer-aided design (CAD) and many important optimization problems. In many applications, the classic branch-and-bound search methods perform duplications of computations, or rely on the search decision trees which keep track of the branch-and-bound search processes. In CAD and many other technical fields, the computational cost of constructing branch-and-bound search decision trees in solving large scale problems is prohibitive and duplications of computations are intolerable. Efficient branch-and-bound methods are needed to deal with today's computational challenges. Efficient branch-and-bound methods must not duplicate computations. Efficient Branch and Bound Search with Application to Computer-Aided Design describes an efficient branch-and-bound method for logic justification, which is fundamental to automatic test pattern generation (ATPG), redundancy identification, logic synthesis, minimization, verification, and other problems in CAD. The method is called justification equivalence, based on the observation that justification processes may share identical subsequent search decision sequences. With justification equivalence, duplication of computations is avoided in the dynamic branch-and-bound search process without using search decision trees. Efficient Branch and Bound Search with Application to Computer-Aided Design consists of two parts. The first part, containing the first three chapters, provides the theoretical work. The second part deals with applications, particularly ATPG for sequential circuits. This book is particularly useful to readers who are interested in the design and test of digital circuits.
Language: English
Published by Springer US, Springer US, 1995
ISBN 10: 0792396731 ISBN 13: 9780792396734
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Branch-and-bound search has been known for a long time and has been widely used in solving a variety of problems in computer-aided design (CAD) and many important optimization problems. In many applications, the classic branch-and-bound search methods perform duplications of computations, or rely on the search decision trees which keep track of the branch-and-bound search processes. In CAD and many other technical fields, the computational cost of constructing branch-and-bound search decision trees in solving large scale problems is prohibitive and duplications of computations are intolerable. Efficient branch-and-bound methods are needed to deal with today's computational challenges. Efficient branch-and-bound methods must not duplicate computations. Efficient Branch and Bound Search with Application to Computer-Aided Design describes an efficient branch-and-bound method for logic justification, which is fundamental to automatic test pattern generation (ATPG), redundancy identification, logic synthesis, minimization, verification, and other problems in CAD. The method is called justification equivalence, based on the observation that justification processes may share identical subsequent search decision sequences. With justification equivalence, duplication of computations is avoided in the dynamic branch-and-bound search process without using search decision trees. Efficient Branch and Bound Search with Application to Computer-Aided Design consists of two parts. The first part, containing the first three chapters, provides the theoretical work. The second part deals with applications, particularly ATPG for sequential circuits. This book is particularly useful to readers who are interested in the design and test of digital circuits.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 148.99
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Hardcover. Condition: Like New. Like New. book.