Advanced BDD Optimization - Rudiger Ebendt - Bøker - Springer-Verlag New York Inc. - 9780387254531 - 23. august 2005
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Advanced BDD Optimization 2005 edition

Rudiger Ebendt

Pris
NOK 1.869

Bestillingsvarer

Forventes levert 7. - 18. nov
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

Advanced BDD Optimization 2005 edition

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

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 23. august 2005
ISBN13 9780387254531
Utgivere Springer-Verlag New York Inc.
Antall sider 222
Mål 156 × 232 × 14 mm   ·   517 g
Språk Engelsk  

Se alt med Rudiger Ebendt ( f.eks. Innbunden bok og Pocketbok )