cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Test pattern generation using Boolean proof engines

Tapa de Test pattern generation using Boolean proof engines

Número de Cutter-SanbornD771tEntrada «Dre» → 771 · marca de obra “t”

Test pattern generation using Boolean proof engines

de Rolf Drechsler

Materias

Computer algorithms
Boolean Algebra
Integrierte Schaltung
Verification
Automatic test equipment
ATPG
Hardwareverifikation
Integrated circuits
Algebra, boolean
Binary system (mathematics)

Test pattern generation using Boolean proof engines — Rolf Drechsler | Cutter Number

Computer software, verification

Ediciones (1)

Test pattern generation using Boolean proof engines (2009)
Springer · inglés · ISBN 9789048123599

Más obras de Rolf Drechsler

Tapa de Advanced formal verification

Advanced formal verification

Tapa de High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability

High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability

Tapa de Advanced Formal Verification

Advanced Formal Verification

2004

Tapa de Binary decision diagrams

Binary decision diagrams

1998

Tapa de Evolutionary algorithms for VLSI CAD

Evolutionary algorithms for VLSI CAD

1998

Tapa de Formal Verification of Circuits

Formal Verification of Circuits

2000

Ver todas las obras de Rolf Drechsler →