{"product_id":"quantitative-evaluation-of-systems-14th-international-conference-qest-2017-berlin-germany-september-5-7-2017-proceedings-von-nathalie-bertrand-luca-bortolussi-luca-bortolussi-hrsg","title":"Quantitative Evaluation of Systems","description":"\n                                This book constitutes the proceedings of  the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools. \n                \n                \u003cp\u003e \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319663340\"\u003e\u003ch3\u003e14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783319663340","offer_id":39427460857949,"sku":"9783319663340","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/154460bb-9391-467d-afd9-4d40b9a0c4fa.jpg?v=1773552398","url":"https:\/\/shop.autorenwelt.de\/products\/quantitative-evaluation-of-systems-14th-international-conference-qest-2017-berlin-germany-september-5-7-2017-proceedings-von-nathalie-bertrand-luca-bortolussi-luca-bortolussi-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}