Theory and Practice of Computation : (Registro nro. 309108)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 04297nam a22004095i 4500 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | 309108 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| campo de control | MX-SnUAN |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20170705134319.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 | 150903s2013 ja | o |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 9784431544364 |
| -- | 9784431544364 |
| 024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES | |
| Número estándar o código | 10.1007/9784431544364 |
| Fuente del número o código | doi |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA | |
| Número de control de sistema | vtls000363904 |
| 039 #9 - NIVEL DE CONTROL BIBLIOGRÁFICO Y DETALLES DE CODIFICACIÓN [OBSOLETO] | |
| Nivel de reglas en descripción bibliográfica | 201509030641 |
| 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 | 201405070350 |
| Nivel de esfuerzo utilizado para asignar clasificación | VLOAD |
| -- | 201402211200 |
| -- | 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 | QA76.9.L63 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Nishizaki, Shin-ya. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 349256 |
| 245 10 - MENCIÓN DE TÍTULO | |
| Título | Theory and Practice of Computation : |
| Resto del título | 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings / |
| Mención de responsabilidad, etc. | edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez. |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
| Producción, publicación, distribución, fabricación y copyright | Tokyo : |
| Nombre del de productor, editor, distribuidor, fabricante | Springer Japan : |
| -- | Imprint: Springer, |
| Fecha de producción, publicación, distribución, fabricación o copyright | 2013. |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xii, 295 páginas 130 ilustraciones |
| 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 |
| 490 0# - MENCIÓN DE SERIE | |
| Mención de serie | Proceedings in Information and Communications Technology, |
| Número Internacional Normalizado para Publicaciones Seriadas | 1867-2914 ; |
| Designación de volumen o secuencia | 7 |
| 500 ## - NOTA GENERAL | |
| Nota general | Springer eBooks |
| 505 0# - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | On Generating Soft Real-Time Programs for Non-Real-Time Environments -- A Formal Ontology of Interactions with Intensional Quantitative Semantics -- An Object Calculus with Remote Method Invocation -- A Metric for User Requirements Traceability in Sequence, Class Diagrams, and Lines-Of-Code via Robustness Diagrams -- Some Improvements of Parallel Random Projection for Finding Planted (l, d)-Motifs -- Time after Time: Notes on Delays in Spiking Neural P Systems -- A Grammar for Detecting Well-Handled 2-split, 2-join Workflow Nets without Cycles -- A Process Algebra Model of Interleukin-2 Trafficking in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving the Exact Pattern Matching Problem Constrained to Single Occurrence of Pattern P in String S Using Grover's Quantum Search Algorithm -- Design of a Scala-Based Monitoring Server for Web-Based Programming Environments -- Recognizing Historical KANA Texts Using Constraints -- PedInfoSys: An OpenMRS Based Pediatric Information System -- Correlation of Stress Inducers and Physiological Signals with Continuous Stress Annotations -- Towards the Design and Development of Anticipation-Based Event Selection Modeling for Survival Horror Games -- Sidekick Retrospect: A Self-regulation Tool for Unsupervised Learning Environments -- Extensible Network Appliance Platform (e-NAP) -- Marker-Less Gesture and Facial Expression Based Affect Modeling -- Mobile Indoor Positioning Using Wi-fi Localization and Image Processing -- Automated Vehicle Entrance Monitor Using Pattern Recognition via Haar Classifiers -- A Study on Activity Predictive Modeling for Prompt and Delayed Services in Smart Space -- Plagiarism Detection Methods by Similarity and Its Application to Source Codes of C Program. |
| 520 ## - SUMARIO, ETC. | |
| Sumario, etc. | This book comprises the refereed proceedings of the Workshop on Computation: Theory and Practice (WCTP)–2012, held in Manila, The Philippines, in September 2012. The workshop was organized by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research–Osaka University, the University of the Philippines Diliman, and De La Salle University–Manila and was devoted to theoretical and practical approaches to computation. The 22 revised full papers presented in this volume were carefully reviewed. They deal with biologically inspired computational modeling, programming language theory, advanced studies in networking, and empathic computing. |
| 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 | Numao, Masayuki. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 329164 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Caro, Jaime. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 349257 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Suarez, Merlin Teodosia. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 349258 |
| 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 | 9784431544357 |
| 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-4-431-54436-4">http://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-4-431-54436-4</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.