The Unknown Component Problem : (Registro nro. 280126)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 03659nam a22004215i 4500 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | 280126 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| campo de control | MX-SnUAN |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20160429154010.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 | 150903s2012 xxu| o |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 9780387687599 |
| -- | 9780387687599 |
| 024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES | |
| Número estándar o código | 10.1007/9780387687599 |
| Fuente del número o código | doi |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA | |
| Número de control de sistema | vtls000331916 |
| 039 #9 - NIVEL DE CONTROL BIBLIOGRÁFICO Y DETALLES DE CODIFICACIÓN [OBSOLETO] | |
| Nivel de reglas en descripción bibliográfica | 201509030208 |
| Nivel de esfuerzo utilizado para asignar no-encabezamientos de materia en puntos de acceso | VLOAD |
| Nivel de esfuerzo utilizado en la asignación de encabezamientos de materia | 201404121951 |
| Nivel de esfuerzo utilizado para asignar clasificación | VLOAD |
| Nivel de esfuerzo utilizado en la asignación de encabezamientos de materia | 201404091718 |
| Nivel de esfuerzo utilizado para asignar clasificación | VLOAD |
| -- | 201402041016 |
| -- | staff |
| 040 ## - FUENTE DE LA CATALOGACIÓN | |
| Centro catalogador/agencia de origen | MX-SnUAN |
| Lengua de catalogación | spa |
| Centro/agencia transcriptor | MX-SnUAN |
| Normas de descripción | rda |
| 050 #4 - CLASIFICACIÓN DE LA BIBLIOTECA DEL CONGRESO | |
| Número de clasificación | TK7888.4 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Villa, Tiziano. |
| Término indicativo de función/relación | autor |
| 9 (RLIN) | 304851 |
| 245 14 - MENCIÓN DE TÍTULO | |
| Título | The Unknown Component Problem : |
| Resto del título | Theory and Applications / |
| Mención de responsabilidad, etc. | by Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli. |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
| Producción, publicación, distribución, fabricación y copyright | Boston, MA : |
| Nombre del de productor, editor, distribuidor, fabricante | Springer US, |
| Fecha de producción, publicación, distribución, fabricación o copyright | 2012. |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xv, 311 páginas |
| Otras características físicas | recurso en línea. |
| 336 ## - TIPO DE CONTENIDO | |
| Término de tipo de contenido | texto |
| Código de tipo de contenido | txt |
| Fuente | rdacontent |
| 337 ## - TIPO DE MEDIO | |
| Nombre/término del tipo de medio | computadora |
| Código del tipo de medio | c |
| Fuente | rdamedia |
| 338 ## - TIPO DE SOPORTE | |
| Nombre/término del tipo de soporte | recurso en línea |
| Código del tipo de soporte | cr |
| Fuente | rdacarrier |
| 347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL | |
| Tipo de archivo | archivo de texto |
| Formato de codificación | |
| Fuente | rda |
| 500 ## - NOTA GENERAL | |
| Nota general | Springer eBooks |
| 505 0# - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | 1. Synopsis -- 2. Equations over Languages and Finate Automata -- 3. Equations over Finite State Machines -- 4. Equations Over w-Automata -- 5. A Survey of Relevant Literature -- 6. Implementation of Automata Manipulations -- 7. Manipulations of FSMs Represented as Sequential Circuits -- 8. The Software Package BALM -- 9. Fundamental Operations in BALM -- 10. Computation of Flexibility in Sequential Networks -- 11. Computation of Sequential Flexibility in Netlists by Windowing -- 12. Computation of Sequential Flexibility in Networks of FSMs by Windowing -- 13. Language Solving Using Simulation Relations -- 14. Exploitation of Flexibility in Sequential Networks -- 15. Supervisory Control -- 16. Testing -- 17. Synthesis of Strategies for Games -- 18. Extending BALM to Synchronous Equations Over co-Büchi Specifications -- 19. Conclusions and Open Problems. |
| 520 ## - SUMARIO, ETC. | |
| Sumario, etc. | The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems. The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones. |
| 590 ## - NOTA LOCAL (RLIN) | |
| Nota local | Para consulta fuera de la UANL se requiere clave de acceso remoto. |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Yevtushenko, Nina. |
| Término indicativo de función/relación | autor |
| 9 (RLIN) | 304852 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Brayton, Robert K. |
| Término indicativo de función/relación | autor |
| 9 (RLIN) | 304853 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Mishchenko, Alan. |
| Término indicativo de función/relación | autor |
| 9 (RLIN) | 304854 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Petrenko, Alexandre. |
| Término indicativo de función/relación | autor |
| 9 (RLIN) | 304855 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Sangiovanni-Vincentelli, Alberto. |
| Término indicativo de función/relación | autor |
| 9 (RLIN) | 304856 |
| 710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA | |
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada | SpringerLink (Servicio en línea) |
| 9 (RLIN) | 299170 |
| 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 | 9780387345321 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
| Identificador Uniforme del Recurso | <a href="http://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-0-387-68759-9">http://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-0-387-68759-9</a> |
| Nota pública | Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
| Tipo de ítem Koha | Recurso en línea |
No hay ítems disponibles.