Advanced BDD Optimization - Rudiger Ebendt - Livros - Springer-Verlag New York Inc. - 9781441937964 - 29 de outubro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Rudiger Ebendt

Preço
Mex$ 2.925
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 10 - 14 de nov
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível como:

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

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 29 de outubro de 2010
ISBN13 9781441937964
Editoras Springer-Verlag New York Inc.
Páginas 222
Dimensões 160 × 240 × 12 mm   ·   358 g
Idioma English  

Ver tudo de Rudiger Ebendt ( por exemplo Hardcover Book e Paperback Book )