Ud. está consultando:

Libros y revistas (incluye tesis y seminarios)

Importante! Sobre el catálogo

Búsqueda avanzada

Búsqueda por tema: Mathematical physics.
Resultado 19 de 169
 
e-book

SAT-Based Scalable Formal Verification Solutions

by Malay K. Ganai, Aarti Gupta.

Boston, MA : Springer-Verlag US, 2007.

v.: digital

Serie: Series on Integrated Circuits and Systems, ISSN 1558-9412

ISBN: 9780387691671

 
Registro springer:978-0-387-69166-4 · Modificado: 27/03/2010

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.
Recorrer el catálogo completo (por orden de ubicación del material)

Novedades

Enlaces