{"product_id":"quantitative-evaluation-of-systems-9783319663357","title":"Quantitative Evaluation of Systems","description":"\u003cp\u003eThis 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.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52928437059863,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319663357.jpg?v=1781601867","url":"https:\/\/payment.letskitaboo.com\/ur\/products\/quantitative-evaluation-of-systems-9783319663357","provider":"Kitaboo One eStore","version":"1.0","type":"link"}