Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
by
Schlingloff, Bernd-Holger. editor.
Title
:
Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Author
:
Schlingloff, Bernd-Holger. editor.
ISBN
:
9783031266515
Edition
:
1st ed. 2023.
Physical Description
:
XII, 231 p. 66 illus., 37 illus. in color. online resource.
Series
:
Studies in Computational Intelligence, 1091
Contents
:
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.
Subject Term
:
Computational intelligence.
Engineering -- Data processing.
Data Engineering.
Added Author
:
Schlingloff, Bernd-Holger.
Vogel, Thomas.
Skowron, Andrzej.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 529012-1001 | ONLINE | | Elektronik Kütüphane |