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

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

Hinta
Kč 3.623

Tilattu etävarastosta

Arvioitu toimitus ti 23. joulu - to 1. tammi 2026
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 )