Advanced BDD Optimization - Rudiger Ebendt - Knjige - Springer-Verlag New York Inc. - 9780387254531 - 23. avgusta 2005
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Advanced BDD Optimization 2005 edition

Cena
€ 167,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 28. avg - 11. sep
Prejemajte obvestila o novih izdajah izvajalca Rudiger Ebendt
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 23. avgusta 2005
ISBN13 9780387254531
Založniki Springer-Verlag New York Inc.
Strani 222
Dimenzije 156 × 232 × 14 mm   ·   517 g
Jezik Angleščina  

Več od istega **izdajatelja**