| 书目名称 | Concurrency, Specification and Programming | | 副标题 | Revised Selected Pap | | 编辑 | Bernd-Holger Schlingloff,Thomas Vogel,Andrzej Skow | | 视频video | http://file.papertrans.cn/236/235152/235152.mp4 | | 概述 | Presents recent research on Concurrency, Specification, and Programming.Covers Revised Selected Papers from the 29th International Workshop on Concurrency.Written by experts in the field | | 丛书名称 | Studies in Computational Intelligence | | 图书封面 |  | | 描述 | .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.. | | 出版日期 | Book 2023 | | 关键词 | Concurrency; Multi-agent Systems; Rough Sets; Soft Computing; Knowledge Discovery and Data Mining; CS&P 2 | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-031-26651-5 | | isbn_softcover | 978-3-031-26653-9 | | isbn_ebook | 978-3-031-26651-5Series ISSN 1860-949X Series E-ISSN 1860-9503 | | issn_series | 1860-949X | | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
The information of publication is updating
书目名称Concurrency, Specification and Programming影响因子(影响力)
书目名称Concurrency, Specification and Programming影响因子(影响力)学科排名
书目名称Concurrency, Specification and Programming网络公开度
书目名称Concurrency, Specification and Programming网络公开度学科排名
书目名称Concurrency, Specification and Programming被引频次
书目名称Concurrency, Specification and Programming被引频次学科排名
书目名称Concurrency, Specification and Programming年度引用
书目名称Concurrency, Specification and Programming年度引用学科排名
书目名称Concurrency, Specification and Programming读者反馈
书目名称Concurrency, Specification and Programming读者反馈学科排名
|
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-25 01:08
发表于 2025-3-21 19:16:28
