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

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

Preço
€ 144,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 12 - 20 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Rudiger Ebendt

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

Ainda não avaliado

Também disponível como:

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 Inglês  

Mais da mesma editora

Ver tudo de Rudiger Ebendt