Advanced BDD Optimization - Rudiger Ebendt - Böcker - Springer-Verlag New York Inc. - 9780387254531 - 23 augusti 2005
Om omslag och titel inte matchar är det titeln som gäller

Rudiger Ebendt
Advanced BDD Optimization 2005 edition

Pris
SEK 1.899

Beställningsvara

Förväntad leverans 6 - 20 aug
Få avisering om nya utgåvor med Rudiger Ebendt

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Finns även som:

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öcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 23 augusti 2005
ISBN13 9780387254531
Utgivare Springer-Verlag New York Inc.
Antal sidor 222
Mått 156 × 232 × 14 mm   ·   517 g
Språk Engelska  

Mer från samma **utgivare**

Se alt med Rudiger Ebendt ( t.ex. Inbunden Bok och Pocketbok )