Vinkkaa tuotetta kavereillesi:
Advanced BDD Optimization Softcover reprint of hardcover 1st ed. 2005 edition
Rudiger Ebendt
Hinta
€ 149,99
Tilattu etävarastosta
Arvioitu toimitus pe - ma 3. - 13. loka
Lisää iMusic-toivelistallesi
tai
Löytyy myös muodossa:
Advanced BDD Optimization Softcover reprint of hardcover 1st ed. 2005 edition
Rudiger Ebendt
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 | English |
Katso kaikki joka sisältää Rudiger Ebendt ( Esim. Hardcover Book Ja Paperback Book )