| 書目名稱 | Concurrency, Specification and Programming | | 副標(biāo)題 | 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 | | 關(guān)鍵詞 | 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影響因子(影響力)學(xué)科排名
書目名稱Concurrency, Specification and Programming網(wǎng)絡(luò)公開度
書目名稱Concurrency, Specification and Programming網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Concurrency, Specification and Programming被引頻次
書目名稱Concurrency, Specification and Programming被引頻次學(xué)科排名
書目名稱Concurrency, Specification and Programming年度引用
書目名稱Concurrency, Specification and Programming年度引用學(xué)科排名
書目名稱Concurrency, Specification and Programming讀者反饋
書目名稱Concurrency, Specification and Programming讀者反饋學(xué)科排名
|
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-24 11:50
發(fā)表于 2025-3-21 19:16:28
