| 書目名稱 | Networked Systems |
| 副標題 | 4th International Co |
| 編輯 | Parosh Aziz Abdulla,Carole Delporte-Gallet |
| 視頻video | http://file.papertrans.cn/663/662948/662948.mp4 |
| 概述 | Includes supplementary material: |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | .This book constitutes the refereed post-proceedings of the 4th?International Conference on Networked Systems, NETYS 2016, held in?Marrakech, Morocco, in May 2016...The 22 full papers and 11 short papers presented together with 19 poster abstracts were carefully reviewed and selected from 121 submissions.They?report on best practices and novel algorithms, results and techniques on networked systems and cover topics such as?multi-core architectures, concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, cloud systems, networks, security, and formal verification...?. |
| 出版日期 | Conference proceedings 2016 |
| 關鍵詞 | ant colony optimization; distributed systems; formal methods; social networks; static analysis; cloud sys |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-46140-3 |
| isbn_softcover | 978-3-319-46139-7 |
| isbn_ebook | 978-3-319-46140-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing AG 2016 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 04:17
發(fā)表于 2025-3-21 19:10:18
