Advanced BDD Optimization - Rudiger Ebendt - Kirjat - Springer-Verlag New York Inc. - 9781441937964 - perjantai 29. lokakuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Advanced BDD Optimization Softcover reprint of hardcover 1st ed. 2005 edition

Rudiger Ebendt

Hinta
Kč 3.655

Tilattu etävarastosta

Arvioitu toimitus to 27. marras - pe 5. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 29. lokakuuta 2010
ISBN13 9781441937964
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 222
Mitta 160 × 240 × 12 mm   ·   358 g
Kieli Englanti  

Katso kaikki joka sisältää Rudiger Ebendt ( Esim. Hardcover Book Ja Paperback Book )