Advanced BDD Optimization - Rudiger Ebendt - Książki - Springer-Verlag New York Inc. - 9780387254531 - 23 sierpnia 2005
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Rudiger Ebendt
Advanced BDD Optimization 2005 edition

Cena
zł 754,90

Zamówione z odległego magazynu

Przewidywana dostawa 21 paź - 4 lis
Otrzymuj powiadomienia o nowych wydawnictwach Rudiger Ebendt

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

Również dostępne jako:

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 Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 23 sierpnia 2005
ISBN13 9780387254531
Wydawcy Springer-Verlag New York Inc.
Strony 222
Wymiary 156 × 232 × 14 mm   ·   517 g
Język Angielski  

Więcej od tego samego wydawcy

Zobacz wszystko od Rudiger Ebendt