MARC details
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
03179nam a22003975i 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
103886 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
DE-He213 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20230102113150.0 |
| 006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL |
|---|
| campo de control de longitud fija |
a||||fo|||| 00| 0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
cr nn 008mamaa |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
140821s2015 gw | s |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9783319063171 |
| 024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES |
|---|
| Número estándar o código |
10.1007/978-3-319-06317-1 |
| Fuente del número o código |
doi |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Lengua de catalogación |
spa |
| Centro/agencia modificador |
ES-MaUEC |
| 050 ## - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
QA76.758 |
| Número de documento/Ítem |
2015 EB |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Languages, Design Methods, and Tools for Electronic System Design |
| Resto del título |
Selected Contributions from FDL 2013 |
| Mención de responsabilidad, etc. |
edited by Marie-Minerve Louërat, Torsten Maehne. |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
Cham |
| Nombre del de productor, editor, distribuidor, fabricante |
Springer International Publishing |
| Fecha de producción, publicación, distribución, fabricación o copyright |
2015 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
1 recurso en línea (XXXIV, 305 páginas 117 ilustraciones, 50 ilustraciones a color.) |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Fuente |
rdacontent |
| Término de tipo de contenido |
Texto (visual) |
| Código de tipo de contenido |
txt |
| 337 ## - TIPO DE MEDIO |
|---|
| Fuente |
rdamedia |
| Nombre/término del tipo de medio |
electrónico |
| Código del tipo de medio |
c |
| 338 ## - TIPO DE SOPORTE |
|---|
| Fuente |
rdacarrier |
| Nombre/término del tipo de soporte |
recurso electrónico |
| Código del tipo de soporte |
cr |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Lecture Notes in Electrical Engineering, |
| Número Internacional Normalizado para Publicaciones Seriadas |
1876-1100 ; |
| Designación de volumen o secuencia |
311 |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Engineering (Springer-11647) |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Part I Applications of Formal Methods for Specification and Verification -- Optimal Component Selection for Energy-Efficient Systems -- Assisting Refinement in System-on-Chip Design -- Part II Embedded Analog and Mixed-Signal System Verification -- Integrating Circuit Analyses for Assertion-Based Verification of Programmable AMS Circuits -- Part III Embedded Analog and Mixed-Signal System Design -- Hybrid Dynamical Systems for Memristor Modelling -- Code Generation Alternatives to Reduce Heterogeneous Embedded Systems Homogeneity. |
| 520 3# - SUMARIO, ETC. |
|---|
| Sumario, etc. |
This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. • Covers applications of formal methods for specification, verification and debug; • Includes embedded analog and mixed-signal system design; • Enables model-driven engineering for embedded systems design and development. |
| 988 ## - NOTA LOCAL 598 |
|---|
| Nota local 598 (boletines) |
EBSPRINGER_2018 |
| 650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Ingeniería del software |
| Fuente del encabezamiento o término |
embne |
| 9 (RLIN) |
152630 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Louërat, Marie-Minerve. |
| Término indicativo de función/relación |
editor literario |
| Código de función/relación |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| Número de control del registro de autoridad o número normalizado |
http://id.loc.gov/authorities/names/nb2014023218 |
| Enlace |
<a href="http://viaf.org/viaf/311465322/">http://viaf.org/viaf/311465322/</a> |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Maehne, Torsten. |
| Término indicativo de función/relación |
editor literario |
| Código de función/relación |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| Número de control del registro de autoridad o número normalizado |
http://id.loc.gov/authorities/names/nb2014023220 |
| Enlace |
<a href="http://viaf.org/viaf/311465323/">http://viaf.org/viaf/311465323/</a> |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL |
|---|
| Información de relación/Frase instructiva de referencia |
Edición impresa: |
| Número Internacional Estándar del Libro |
9783319063164 |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL |
|---|
| Información de relación/Frase instructiva de referencia |
Edición impresa: |
| Número Internacional Estándar del Libro |
9783319063188 |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL |
|---|
| Información de relación/Frase instructiva de referencia |
Edición impresa: |
| Número Internacional Estándar del Libro |
9783319359137 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme del Recurso |
https://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-319-06317-1 |
| Nota pública |
Acceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 999 ## - NÚMEROS DE CONTROL DE SISTEMA (KOHA) |
|---|
| -- |
1 |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
Library of Congress Classification |
| Tipo de ítem Koha |
LIBRO-E NO PRÉSTAMO |
| 998 ## - DATOS ESTADÍSTICOS |
|---|
| Fecha de catalogación |
05/2019 |
| Tipo de materia |
E-book |
| Catalogador |
José Manuel Fuertes Conde |
| Catalogado |
Sí |