We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
Price loading...
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Price data last checked 107 day(s) ago - refreshing...
Price History & Forecast
No Price Data Available
Price history will appear here once data is collected from Amazon.
Price Distribution
No price data available for histogram
Description
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.
Product Specifications
- Format
- paperback
- ASIN
- 3031266536
- Domain
- Amazon UK
- Release Date
- 06 May 2024
- Listed Since
- 07 May 2024
Barcode
No barcode data available
Similar Products You Might Like
92% match
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Springer
£63.14
24 Feb 2026
92% match
High Performance Computing: ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised ... (Lecture Notes in Computer Science, 12761)
Springer
£77.60
25 Feb 2026
92% match
High-Performance Scientific Computing: Algorithms and Applications
Springer
£75.84
08 Mar 2026
92% match
Springer AI in Intelligent Systems - Computer Science Vol. 2
Springer
£120.27
19 Apr 2026
92% match
High Performance Computing: ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected Papers: 12321 (Lecture Notes in Computer Science, 12321)
Springer
£53.24
08 Mar 2026
91% match
Springer - Specification and Verification of Multi-agent Systems
Springer
£113.97
20 Apr 2026
91% match
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 951 (Studies in Computational Intelligence, 951)
Springer
£99.44
27 Feb 2026
91% match
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 951 (Studies in Computational Intelligence, 951)
Springer
£103.30
02 Mar 2026
91% match
Intelligent Computing: Proceedings of the 2020 Computing Conference, Volume 2: 1229 (Advances in Intelligent Systems and Computing, 1229)
Springer
£138.73
18 Mar 2026
91% match
Springer Parallel Computation and Computers for AI Book
Springer
£117.38
01 Mar 2026
91% match
Concurrent Programming: Algorithms, Principles, and Foundations
Springer
£47.56
13 Jan 2026
91% match
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 1012 (Studies in Computational Intelligence, 1012)
Springer
£103.00
08 Jan 2026
91% match
Springer Database Concurrency Control - Advances in Database Systems
Springer
£113.48
20 Apr 2026
91% match
Springer Database Concurrency Control - Methods and Analysis
Springer
£120.86
02 Mar 2026
91% match
Springer - Languages, Compilers and Run-Time Systems Book
Springer
£107.43
01 Mar 2026
91% match
Lecture Notes in Computational Intelligence and Decision Making: 2021 International Scientific Conference "Intellectual Systems of Decision-making and ... and Communications Technologies, 77)
Springer
£98.23
07 Mar 2026
91% match
Intelligent Computing Paradigm and Cutting-edge Technologies: Proceedings of the First International Conference on Innovative Computing and ... and Analytics in Intelligent Systems, 9)
Springer
£135.88
04 Apr 2026
91% match
Theory and Engineering of Dependable Computer Systems and Networks: Proceedings of the Sixteenth International Conference on Dependability of Computer ... in Intelligent Systems and Computing, 1389)
Springer
£105.37
01 Apr 2026
91% match
Proceedings of Asia Pacific Computer Systems Conference 2021: APCS 2021: 978 (Lecture Notes in Electrical Engineering, 978)
£90.23
12 Jan 2026
91% match
Springer Directed Algebraic Topology and Concurrency Book
Springer
£75.72
25 Feb 2026
91% match
Intelligent Computing: Proceedings of the 2020 Computing Conference, Volume 1: 1228 (Advances in Intelligent Systems and Computing, 1228)
Springer
£150.58
01 Apr 2026
91% match
Performance Engineering and Stochastic Modeling: 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, ... (Lecture Notes in Computer Science, 13104)
Springer
£59.69
21 Feb 2026
91% match
Intelligent Systems and Applications: Proceedings of the 2021 Intelligent Systems Conference (IntelliSys) Volume 1: 294 (Lecture Notes in Networks and Systems, 294)
Springer
£119.82
13 Jan 2026
91% match
Intelligent Computing Paradigm and Cutting-edge Technologies: Proceedings of the Second International Conference on Innovative Computing and ... and Analytics in Intelligent Systems, 21)
Springer
£135.86
07 Mar 2026