书目名称 | New Frontiers in Quantitative Methods in Informatics |
副标题 | 7th Workshop, InfQ 2 |
编辑 | Simonetta Balsamo,Andrea Marin,Enrico Vicario |
视频video | |
丛书名称 | Communications in Computer and Information Science |
图书封面 |  |
描述 | This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017..The 11 revised full papers and the one revised short paper presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on networking and mobile applications; applications of quantitative modeling; big data processing and IoT; theory, methods and tools for quantitative analysis. |
出版日期 | Conference proceedings 2018 |
关键词 | cloud computing; formal methods; graph theory; Markov chains; model checking; optimization; performance ev |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-319-91632-3 |
isbn_softcover | 978-3-319-91631-6 |
isbn_ebook | 978-3-319-91632-3Series ISSN 1865-0929 Series E-ISSN 1865-0937 |
issn_series | 1865-0929 |
copyright | Springer International Publishing AG, part of Springer Nature 2018 |