Engineering of Complex Computer Systems: 28th International Conference, Iceccs 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings
暫譯: 複雜電腦系統工程：第28屆國際會議 ICECCS 2024，塞浦路斯利馬索爾，2024年6月19-21日，會議論文集
Bai, Guangdong, Ishikawa, Fuyuki, Ait-Ameur, Yamine
- 出版商: Springer
- 出版日期: 2024-09-29
- 售價: $3,180
- 貴賓價: 9.5 折 $3,021
- 語言: 英文
- 頁數: 422
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031664558
- ISBN-13: 9783031664557
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19-21, 2024.
The 18 full papers and 4 short papers presented here were carefully reviewed and selected from 68 submissions. These papers have been categorized into the following sections: Machine Learning and Complex Systems; Neural Network Verification; A.I. for Software Engineering; Smart Contract; Formal Methods; Security & Program Analysis.
商品描述(中文翻譯)
本書包含了第28屆國際複雜計算機系統工程會議（ICECCS 2024）的會議論文，該會議於2024年6月19日至21日在塞浦路斯的利馬索爾舉行。
在此呈現的18篇完整論文和4篇短文是從68篇投稿中經過仔細審查和選擇出來的。這些論文被分類為以下幾個部分：機器學習與複雜系統；神經網絡驗證；人工智慧在軟體工程中的應用；智能合約；形式化方法；安全性與程式分析。
