Advanced BDD Optimization - Rudiger Ebendt - Livros - Springer-Verlag New York Inc. - 9780387254531 - 23 de agosto de 2005
Caso a capa e o título não sejam correspondentes, considere o título como correto

Advanced BDD Optimization 2005 edition

Rudiger Ebendt

Preço
€ 167,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 10 - 19 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 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     Hardcover Book   (Livro com lombada e capa dura)
Lançado 23 de agosto de 2005
ISBN13 9780387254531
Editoras Springer-Verlag New York Inc.
Páginas 222
Dimensões 156 × 232 × 14 mm   ·   517 g
Idioma English  

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