000 03669nam a22005655i 4500
001 978-3-031-26651-5
003 DE-He213
005 20240207153813.0
007 cr nn 008mamaa
008 230504s2023 sz | s |||| 0|eng d
020 _a9783031266515
_9978-3-031-26651-5
050 4 _aQ342
072 7 _aUYQ
_2bicssc
072 7 _aTEC009000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aConcurrency, Specification and Programming
_h[electronic resource] :
_bRevised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany /
_cedited by Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron.
250 _a1st ed. 2023.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2023.
300 _aXII, 231 p. 66 illus., 37 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aStudies in Computational Intelligence,
_x1860-9503 ;
_v1091
500 _aAcceso multiusuario
505 0 _aNatural 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 _aThis 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 _fUABC ;
_cPerpetuidad
650 0 _aComputational intelligence.
650 0 _aEngineering
_xData processing.
650 1 4 _aComputational Intelligence.
650 2 4 _aData Engineering.
700 1 _aSchlingloff, Bernd-Holger.
_eeditor.
_0(orcid)0000-0001-9601-157X
_1https://orcid.org/0000-0001-9601-157X
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aVogel, Thomas.
_eeditor.
_0(orcid)0000-0002-7127-352X
_1https://orcid.org/0000-0002-7127-352X
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSkowron, Andrzej.
_eeditor.
_0(orcid)0000-0002-5271-6559
_1https://orcid.org/0000-0002-5271-6559
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031266508
776 0 8 _iPrinted edition:
_z9783031266522
776 0 8 _iPrinted edition:
_z9783031266539
830 0 _aStudies in Computational Intelligence,
_x1860-9503 ;
_v1091
856 4 0 _zLibro electrónico
_uhttp://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-26651-5
912 _aZDB-2-INR
912 _aZDB-2-SXIT
942 _cLIBRO_ELEC
999 _c263667
_d263666