Vinkkaa tuotetta kavereillesi:
Advanced BDD Optimization 2005 edition
Rudiger Ebendt
Hinta
€ 172,99
Tilattu etävarastosta
Arvioitu toimitus pe - ti 10. - 21. loka
Lisää iMusic-toivelistallesi
tai
Löytyy myös muodossa:
Advanced BDD Optimization 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 Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | tiistai 23. elokuuta 2005 |
| ISBN13 | 9780387254531 |
| Tuottaja | Springer-Verlag New York Inc. |
| Sivujen määrä | 222 |
| Mitta | 156 × 232 × 14 mm · 517 g |
| Kieli | English |
Katso kaikki joka sisältää Rudiger Ebendt ( Esim. Hardcover Book Ja Paperback Book )