| 书目名称 | Networked Systems |
| 副标题 | 4th International Co |
| 编辑 | Parosh Aziz Abdulla,Carole Delporte-Gallet |
| 视频video | |
| 概述 | 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 |
发表于 2025-3-21 19:10:18
