Concurrency, Specification and Programming (Registro nro. 263667)

MARC details
000 -LIDER
fixed length control field 03669nam a22005655i 4500
001 - CONTROL NUMBER
control field 978-3-031-26651-5
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240207153813.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230504s2023 sz | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783031266515
-- 978-3-031-26651-5
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number Q342
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYQ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code TEC009000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYQ
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3
Edition number 23
245 10 - TITLE STATEMENT
Title Concurrency, Specification and Programming
Medium [electronic resource] :
Remainder of title Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany /
Statement of responsibility, etc. edited by Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron.
250 ## - EDITION STATEMENT
Edition statement 1st ed. 2023.
264 #1 -
-- Cham :
-- Springer International Publishing :
-- Imprint: Springer,
-- 2023.
300 ## - PHYSICAL DESCRIPTION
Extent XII, 231 p. 66 illus., 37 illus. in color.
Other physical details online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
490 1# - SERIES STATEMENT
Series statement Studies in Computational Intelligence,
International Standard Serial Number 1860-9503 ;
Volume/sequential designation 1091
500 ## - GENERAL NOTE
General note Acceso multiusuario
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Natural Language Processing for Requirements Formalization: How to Derive New Approaches? -- Left Recursion by Recursive Ascent -- An Example of Computation in Interactive Granular Computing -- Extended Future in Testing Semantics for Time Petri Nets -- Toward Recommender Systems Scalability and Efficacy.
520 ## - SUMMARY, ETC.
Summary, etc. This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques. Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.
541 ## - IMMEDIATE SOURCE OF ACQUISITION NOTE
Owner UABC ;
Method of acquisition Perpetuidad
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Computational intelligence.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Engineering
Subdivisión general Data processing.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Computational Intelligence.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Data Engineering.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Schlingloff, Bernd-Holger.
Relator term editor.
-- (orcid)0000-0001-9601-157X
-- https://orcid.org/0000-0001-9601-157X
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Vogel, Thomas.
Relator term editor.
-- (orcid)0000-0002-7127-352X
-- https://orcid.org/0000-0002-7127-352X
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Skowron, Andrzej.
Relator term editor.
-- (orcid)0000-0002-5271-6559
-- https://orcid.org/0000-0002-5271-6559
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer Nature eBook
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783031266508
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783031266522
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783031266539
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Studies in Computational Intelligence,
-- 1860-9503 ;
Volume number/sequential designation 1091
856 40 - ELECTRONIC LOCATION AND ACCESS
Public note Libro electrónico
Uniform Resource Identifier http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-26651-5
912 ## -
-- ZDB-2-INR
912 ## -
-- ZDB-2-SXIT
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Libro Electrónico
Existencias
Estado de retiro Colección Ubicación permanente Ubicación actual Fecha de ingreso Total Checkouts Date last seen Número de copia Tipo de material
  Colección de Libros Electrónicos Biblioteca Electrónica Biblioteca Electrónica 07/02/2024   07/02/2024 1 Libro Electrónico

Con tecnología Koha