Advanced Techniques in Logic Synthesis, Optimizations and Applications (Registro nro. 13884)

000 -CABECERA
Campo de control de longitud fija 01832nam a2200229za04500
001 - NÚMERO DE CONTROL
Campo de control 17119
008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL
Campo de control de longitud fija 050703s2011 xxu eng d
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER)
ISBN 9781441975188 99781441975188
082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación Decimal 621.3815
Número de documento (Cutter) 223
245 ## - TÍTULO PROPIAMENTE DICHO
Título Advanced Techniques in Logic Synthesis, Optimizations and Applications
Medio físico [Electronic resource] /
Mención de responsabilidad, etc. edited by Kanupriya Gulati.
300 ## - DESCRIPCIÓN FÍSICA
Extensión X, 240p. 100 illus.:
Otros detalles físicos online resource.
520 ## - RESUMEN, ETC.
Nota de sumario, etc. Advanced Techniques in Logic Synthesis, Optimizations and Applications Edited by: Sunil P Khatri Kanupriya Gulati This book covers recent advances in the field of logic synthesis and design, including Boolean Matching, Logic Decomposition, Boolean satisfiability, Advanced Synthesis Techniques and Applications of Logic Design. All of these topics are valuable to CAD engineers working in Logic Design, Logic Optimization, and Verification. Engineers seeking opportunities for optimizing VLSI integrated circuits will find this book as an invaluable reference, since there is no existing book that covers this material in a systematic fashion. Covers the latest research in the areas of Boolean Matching, Logic Decomposition, Boolean Satisfiability Serves as a single-source reference to key topics in logic synthesis, otherwise only available in disparate publications; Describes a range of synthesis techniques and Applications of logic design.
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
Nombre de materia o nombre geográfico como elemento de entrada ENGINEERING
9 (RLIN) 96
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
9 (RLIN) 33761
Nombre de materia o nombre geográfico como elemento de entrada COMPUTER, AIDED ENGINEERING (CAD, CAE) AND DESIGN
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
9 (RLIN) 33757
Nombre de materia o nombre geográfico como elemento de entrada COMPUTER AIDED DESIGN
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
9 (RLIN) 33660
Nombre de materia o nombre geográfico como elemento de entrada CIRCUITS AND SYSTEMS.
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
9 (RLIN) 33673
Nombre de materia o nombre geográfico como elemento de entrada SYSTEMS ENGINEERING
700 ## - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL
Nombre de persona Gulati, Kanupriya.
Término relacionador Ed.
9 (RLIN) 34037
710 ## - ENCABEZAMIENTO SECUNDARIO--NOMBRE CORPORATIVO
Nombre corporativo o de jurisdicción como elemento de entrada SpringerLink (Online service)
9 (RLIN) 111
856 ## - ACCESO ELECTRÓNICO
Identificador uniforme del recurso URI <a href="http://springer.escuelaing.metaproxy.org/book/10.1007/978-1-4419-7518-8">http://springer.escuelaing.metaproxy.org/book/10.1007/978-1-4419-7518-8</a>
Texto del enlace ir a documento
Tipo de formato electrónico URL
942 ## - ELEMENTOS KOHA
Fuente de clasificación o esquema de ordenación en estanterías
Koha tipo de item DOCUMENTOS DIGITALES
Existencias
Disponibilidad Mostrar en OPAC Fuente de clasificación o esquema Tipo de Descarte Restricciones de uso Estado Código de colección Localización permanente Localización actual Fecha adquisición Proveedor Forma de Adq Precio normal de compra Datos del ítem (Volumen, Tomo) Préstamos totales Signatura completa Código de barras Fecha última consulta Número de ejemplar Propiedades de Préstamo KOHA Programa Académico
          Préstamo Normal Digital Biblioteca Jorge Álvarez Lleras Biblioteca Jorge Álvarez Lleras 2014-02-27 Springer-444444025-OS1549 Compra 13770.00 Ej. 1   621.3815 223 D000183 2014-10-14 1 DOCUMENTOS DIGITALES Biblioteca