Advanced BDD Optimization - Rudiger Ebendt - Knihy - Springer-Verlag New York Inc. - 9780387254531 - 23. augusta 2005
V prípade, že obal a názov nesedia, platí názov

Rudiger Ebendt
Advanced BDD Optimization 2005 edition

Cena
€ 178,49

Objednané zo vzdialeného skladu

Očakávané doručenie 13. - 27. júl

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Tiež dostupné ako:

VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. Latest results in BDD optimization are given, c- ering di?erent aspects of paths in BDDs and the use of e?cient lower bounds during optimization.

222 pages, biography

Médium Knihy     Hardcover Book   (Kniha s pevnou väzbou a obalom)
Vydané 23. augusta 2005
ISBN13 9780387254531
Vydavatelia Springer-Verlag New York Inc.
Strany 222
Rozmery 156 × 232 × 14 mm   ·   517 g
Jazyk Angličtina  

Mere med samme udgiver

Pozrieť všetko od Rudiger Ebendt ( napr. Hardcover Book a Paperback Book )