adicionar à lista de desejos
Advanced Bdd Optimization eBook
idioma: inglês
Editor:
SPRINGER US, dezembro de 2005 ‧
ver detalhes do produto
171,59€
10% DESCONTO
CARTÃO
VTNod2VUSlRSek5NVFc1SVpEbFdRa1pCZEZSalZXSTJlV1oyT0ZwTlZsTk5LMVp1VkVReFFtRjFSMWw2VEU1blNGQjJhSFZJVW1sVmJsUlJRMG92ZEZCM2QxVXhhekIzVkVoSVZuRTFSV0p4Y1M4MFJFUXpaRU53ZWtaeU0yUm1NVVpKTlZnME0yaHVaVUpXZGtreE1tTjRlbTF4VHpacFNXbEZaRGRFV21NeWVtSmFhVWhaTVhkVlEyVjFLMnBXV1Rka1NXWkJVbWxTTkhKelVpdDRiRzV1ZERGNEswOXpjMDFaVEU1TFlWRm1aVlo1WkVoUFJtdG5OV1pTZGtab05VMVJVbXRpVFRCV1ptdDVjbUpFUm1WVlQySjBhMGcyYlRKQk1tWXlUeTlEVEZOYVRUbHRjVVp2WVd4Sk0weG9lVUkyTUVWeVpqZzJXRE5xV0daT1RGQmlOa3h1SzFFNGJXaFFNWFZuU1ZSbFlYWjRhMDVUZDJkNVUwZzFkM1ZwWlhCdVVEUkdSazFuZVdOSFoxVnhRMkpySzNSUE4yVlVaM3BCZWxRMlMyVlZSVlJET0RoRmRIQk1kVEpxV0dwb1prMWhUMk5LY2tWblUwOU9lVGQyYlZsbGNUZG9hakZrT1VSWk9HdHpVRnBTZVZBM09IQXJNRmRFY21SbEx6UlpWa2M0WTA1WFpIUlNOemhsZUZod1MyOXBjbHBCUkVaNFVHdFZNa2RwYlZJMmEzUlFlakZPYlhjM2JrUkZiRWxXYkdsdWIweGpkWGgxVjAxNU5rc3dTMkZXZEVvd1JWUTVZWEpWZG1reU5IZE9SWEUxV21NeVVUWkdOSEpyV0Vwc1owaGtUSFZ5ZUVSUFpsRjRXV1JuT0RCRU5VaFVkRk5HWTIxV1FXcG5TVlJwVW1aaWJITm1WWFp3YjJrdlZtWmxOM1ozYzA5eGFWbGFSVk5rTmtnclF6UlVkMDVxVDA4d1RYQmhibUZSTkUwM1kxcEhTVGh4WkRJMFNUUTFRazVqVDFCdldVcGlkV3BRZDBGblMyRlhPSGg0Y2s1WGJscFRVRGxtWlV4WGFtNU9jRzVUTVVoVGEwcElRM0ZaUjBScmJHUmhWbFV4VXpSRE56QktkVUp2UlU5WFpDdFlURlZaVkhCdlpHSkNMMmxzTlZscVFrZFFMMFJRVkRkMVpqUTRWakZMZUdrMGVGWjRMM2hZV0Vjd01HMHdiblZqV2xkRlpWZFlWalJpTm5SYVUwRnJObFZCTUZaaE4zUkZha2s0VDFWUFpsRk9NVmR4VVZOdlRVNXNTREF5TTA1SldHRjJlall3UFE9PTpOZm5paXp4MldEQXYwQm01WnoyN2tnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
VLSI CAD has benefited from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of 'Boolean Satisfiability' (SAT). This book provides the results in BDD optimization, covering different aspects of paths in BDDs and the use of efficient lower bounds during optimization.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780387254548 |
| Editor: | SPRINGER US |
| Data de Lançamento: | dezembro de 2005 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9780387254548 |
-
Formal And Practical Techniques For The Complex System Design Process Using Virtual Prototypes30%Springer International Publishing AG104,09€
148,70€portes grátis -
Formal Verification Of Structurally Complex Multipliers30%Springer International Publishing AG75,70€
108,14€portes grátis