MARC details
| 000 -CABECERA |
| campo de control de longitud fija |
04230nam a2200421 i 4500 |
| 001 - NÚMERO DE CONTROL |
| campo de control |
334763 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
| campo de control |
ES-MaUEC |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
| campo de control |
20230102114744.0 |
| 006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL |
| campo de control de longitud fija |
a|||| o|||| 10| 0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
| campo de control de longitud fija |
cr nn nnnaamaa |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
| campo de control de longitud fija |
210113s2021 gw a o |1|| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
| Número Internacional Estándar del Libro |
9783030670870 |
| 024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES |
| Número estándar o código |
10.1007/978-3-030-67087-0 |
| Fuente del número o código |
doi |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
| Centro catalogador/agencia de origen |
ES-MaUEC |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
ES-MaUEC |
| Centro/agencia modificador |
ES-MaUEC |
| 050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
| Número de clasificación |
TK5105.5 |
| Número de documento/Ítem |
2021 EB |
| 245 00 - MENCIÓN DE TÍTULO |
| Título |
Networked systems : |
| Resto del título |
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings |
| Mención de responsabilidad, etc. |
edited by Chryssis Georgiou, Rupak Majumdar |
| 250 ## - MENCIÓN DE EDICIÓN |
| Mención de edición |
First edition 2021 |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
| Producción, publicación, distribución, fabricación y copyright |
Cham, Switzerland |
| Nombre del de productor, editor, distribuidor, fabricante |
Springer International Publising |
| Fecha de producción, publicación, distribución, fabricación o copyright |
2021 |
| 300 ## - DESCRIPCIÓN FÍSICA |
| Extensión |
1 recurso en línea (XVII, 376 páginas) |
| Otras características físicas |
100 ilustraciones, 69 ilustraciones a color |
| 336 ## - TIPO DE CONTENIDO |
| Fuente |
rdacontent |
| Término de tipo de contenido |
Texto |
| 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 |
| 347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL |
| Tipo de archivo |
text file |
| Formato de codificación |
PDF |
| Fuente |
rda |
| 490 0# - MENCIÓN DE SERIE |
| Mención de serie |
Computer Communication Networks and Telecommunications |
| Designación de volumen o secuencia |
12129 |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
| Nota de contenido con formato |
Invited Papers -- On Network Topologies and the Decidability of Reachability Problem -- Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks -- Blockchains and the Commons -- Regular Papers -- On the State Reachability Problem for Concurrent Programs under Power -- On the Encoding and Solving of Partial Information Games -- Efficient Concurrent Execution of Smart Contracts in Blockchains using Object-based Transactional Memory -- Exploring IoT Trickle-based Dissemination using Timed Model-checking and Symbolic Execution -- Broadcasting Information in Multi-hop Networks prone to Mobile Byzantine Faults -- Infinite Grid Exploration by Disoriented Robots -- Wireless Broadcast with short labels -- The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders -- Byzantine k-Set Agreement -- Fissile Locks -- Verifying Safety of Parameterized Heard-Of Algorithms -- Staleness and Local Progress in Transactional Memory -- Generic Framework for Optimization of Local Dissemination in Wireless Networks -- Verifying Weakly Consistent Transactional Programs using Symbolic Execution -- NetSheriff: Sheltering Software-Defined Networks from Rogue Switches -- Self-stabilizing Uniform Reliable Broadcast -- Fully Anonymous Consensus and Set Agreement Algorithms -- Cutoffs for symmetric point-to-point distributed algorithms -- Short Papers -- Stateless Distributed Ledgers -- Stability Under Adversarial Injection of Dependent Tasks -- Collaborative filtering: comparative study between Matrix Factorization and Neural Network method -- Routing in Generalized Geometric Inhomogeneous Random Graphs (Extended Abstract). |
| 520 3# - SUMARIO, ETC. |
| Sumario, etc. |
This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.* The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 submissions. The papers cover all aspects related to the design and the development of these systems, including, but not restricted to, concurrent and distributed algorithms, parallel/concurrent/distributed programming, multi-core architectures, formal verification, distributed databases, cloud systems, networks, security, formal verification, etc. *The conference was held virtually due to the COVID-19 pandemic. |
| 988 ## - NOTA LOCAL 598 |
| Nota local 598 (boletines) |
Springer_Computer_2021 |
| 650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
| Fuente del encabezamiento o término |
embne |
| Término de materia o nombre geográfico como elemento de entrada |
Redes informáticas |
| Subdivisión de forma |
Congresos y asambleas |
| 9 (RLIN) |
141354 |
| 650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
| Fuente del encabezamiento o término |
embne |
| Término de materia o nombre geográfico como elemento de entrada |
Sistemas de comunicación inalámbricos |
| Subdivisión de forma |
Congresos y asambleas |
| 9 (RLIN) |
158044 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
| Nombre de persona |
Georgiou, Chryssis |
| 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 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
| Nombre de persona |
Majumdar, Rupak |
| 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 |
| 710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA |
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada |
SpringerLink |
| 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-030-67087-0 |
| 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/2021 |
| Tipo de materia |
E-book |
| Catalogador |
Isabel Alonso |
| Catalogado |
Sí |