001467803 000__ 03467cam\\22005897a\4500
001467803 001__ 1467803
001467803 003__ OCoLC
001467803 005__ 20230707003339.0
001467803 006__ m\\\\\o\\d\\\\\\\\
001467803 007__ cr\un\nnnunnun
001467803 008__ 230508s2023\\\\sz\\\\\\o\\\\\101\0\eng\d
001467803 020__ $$a9783031266515$$q(electronic bk.)
001467803 020__ $$a303126651X$$q(electronic bk.)
001467803 020__ $$z3031266501
001467803 020__ $$z9783031266508
001467803 0247_ $$a10.1007/978-3-031-26651-5$$2doi
001467803 035__ $$aSP(OCoLC)1378429137
001467803 040__ $$aYDX$$beng$$cYDX$$dGW5XE$$dEBLCP
001467803 049__ $$aISEA
001467803 050_4 $$aQA76.6
001467803 08204 $$a005.4/34$$223/eng/20230511
001467803 1112_ $$aInternational Workshop Concurrency, Specification, and Programming$$n(29th :$$d2021 :$$cBerlin, Germany)
001467803 24510 $$aConcurrency, specification and programming :$$brevised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany /$$cBernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron, editors.
001467803 2463_ $$aCS&P 2021
001467803 260__ $$aCham, Switzerland :$$bSpringer,$$c2023.
001467803 300__ $$a1 online resource
001467803 500__ $$aIncludes index.
001467803 5050_ $$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.
001467803 506__ $$aAccess limited to authorized users.
001467803 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.
001467803 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 11, 2023).
001467803 650_0 $$aComputer multitasking$$vCongresses.
001467803 650_0 $$aComputer programming$$vCongresses.
001467803 655_0 $$aElectronic books.
001467803 7001_ $$aSchlingloff, Bernd-Holger.
001467803 7001_ $$aVogel, Thomas.
001467803 7001_ $$aSkowron, Andrzej.
001467803 77608 $$iPrint version: $$z3031266501$$z9783031266508$$w(OCoLC)1365053535
001467803 852__ $$bebk
001467803 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-26651-5$$zOnline Access$$91397441.1
001467803 909CO $$ooai:library.usi.edu:1467803$$pGLOBAL_SET
001467803 980__ $$aBIB
001467803 980__ $$aEBOOK
001467803 982__ $$aEbook
001467803 983__ $$aOnline
001467803 994__ $$a92$$bISE