MARC details
| 000 -LIDER |
|---|
| fixed length control field |
04056nam a22006495i 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
978-3-030-00151-3 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
DE-He213 |
| 005 - FECHA Y HORA DE LA ULTIMA TRANSACCIÓN |
|---|
| campo de control |
20210201191342.0 |
| 007 - CAMPO FIJO DE DESCRIPCION FIJA-- INFORMACION GENERAL |
|---|
| campo de control de longitud fija |
cr nn 008mamaa |
| 008 - ELEMENTOS DE LONGITUD FIJA -- INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
180825s2018 gw | s |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS |
|---|
| Número Internacional Normalizado del libro |
9783030001513 |
| -- |
978-3-030-00151-3 |
| 050 #4 - SIGNATURA TOPOGRAFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número clasificador |
QA76.9.A43 |
| 072 #7 - CODIGO DE CATEGORIA TEMATICA |
|---|
| Código de categoría temática |
UMB |
| Fuente |
bicssc |
| 072 #7 - CODIGO DE CATEGORIA TEMATICA |
|---|
| Código de categoría temática |
COM051300 |
| Fuente |
bisacsh |
| 072 #7 - CODIGO DE CATEGORIA TEMATICA |
|---|
| Código de categoría temática |
UMB |
| Fuente |
thema |
| 082 04 - NUMERO DE CLASIFICACION DECIMAL DEWEY |
|---|
| Número de la Clasificación Decimal Universal |
005.1 |
| Identificador de edición |
23 |
| 245 10 - MENCION DE TITULO |
|---|
| Título |
Formal Modeling and Analysis of Timed Systems |
| Medio físico |
[electronic resource] : |
| Parte restante del título |
16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings / |
| Mención de responsabilidad, etc. |
edited by David N. Jansen, Pavithra Prabhakar. |
| 250 ## - MENCION DE EDICION |
|---|
| Mención de edición |
1st ed. 2018. |
| 264 #1 - |
|---|
| -- |
Cham : |
| -- |
Springer International Publishing : |
| -- |
Imprint: Springer, |
| -- |
2018. |
| 300 ## - DESCRIPCION FISICA |
|---|
| Extensión |
X, 289 p. 59 illus. |
| Otros detalles físicos |
online resource. |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 347 ## - |
|---|
| -- |
text file |
| -- |
PDF |
| -- |
rda |
| 490 1# - MENCION DE SERIE |
|---|
| Mención de serie |
Theoretical Computer Science and General Issues ; |
| Designación numérica/secuencial del volumen |
11022 |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Acceso multiusuario |
| 505 0# - NOTA DE CONTENIDO CON FORMATO PREESTABLECIDO |
|---|
| Nota de contenido con formato preestablecido |
Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities. |
| 520 ## - NOTA DE RESUMEN, ETC. |
|---|
| Nota de sumario, etc. |
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: invited papers, temporal logics, distributed timed systems, behavioral equivalences, timed words, and continuous dynamical systems. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems and, as a generalization, hybrid systems. |
| 541 ## - NOTA DE FUENTE INMEDIATA DE ADQUISICION |
|---|
| Propietario |
UABC ; |
| Método de adquisición |
Temporal ; |
| Fecha de adquisición |
01/01/2021-12/31/2023. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Algorithms. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Computer logic. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Mathematical logic. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Software engineering. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Computer simulation. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Artificial intelligence. |
| 650 14 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Algorithm Analysis and Problem Complexity. |
| -- |
https://scigraph.springernature.com/ontologies/product-market-codes/I16021 |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Logics and Meanings of Programs. |
| -- |
https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Mathematical Logic and Formal Languages. |
| -- |
https://scigraph.springernature.com/ontologies/product-market-codes/I16048 |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Software Engineering. |
| -- |
https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Simulation and Modeling. |
| -- |
https://scigraph.springernature.com/ontologies/product-market-codes/I19000 |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Artificial Intelligence. |
| -- |
https://scigraph.springernature.com/ontologies/product-market-codes/I21000 |
| 700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL |
|---|
| Personal name |
Jansen, David N. |
| Relator term |
editor. |
| -- |
(orcid)0000-0002-6636-3301 |
| -- |
https://orcid.org/0000-0002-6636-3301 |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL |
|---|
| Personal name |
Prabhakar, Pavithra. |
| Relator term |
editor. |
| -- |
(orcid)0000-0002-5368-3234 |
| -- |
https://orcid.org/0000-0002-5368-3234 |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ASIENTO SECUNDARIO - NOMBRE CORPORATIVO |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - ASIENTO DE ITEM FUENTE |
|---|
| Title |
Springer Nature eBook |
| 776 08 - ASIENTO DE SOPORTE FISICO ADICIONAL |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783030001506 |
| 776 08 - ASIENTO DE SOPORTE FISICO ADICIONAL |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783030001520 |
| 830 #0 - ASIENTO SECUNDARIO DE SERIE--TITULO UNIFORME |
|---|
| Uniform title |
Theoretical Computer Science and General Issues ; |
| Volume number/sequential designation |
11022 |
| 856 40 - LOCALIZACION Y ACCESO ELECTRONICOS |
|---|
| Public note |
Libro electrónico |
| Uniform Resource Identifier |
http://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-030-00151-3 |
| 912 ## - |
|---|
| -- |
ZDB-2-SCS |
| 912 ## - |
|---|
| -- |
ZDB-2-SXCS |
| 912 ## - |
|---|
| -- |
ZDB-2-LNC |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Libro Electrónico |
