Cantitate/Preț
Produs

Quantitative Evaluation of Systems: Lecture Notes in Computer Science, cartea 10503

Editat de Nathalie Bertrand, Luca Bortolussi
en Limba Engleză Paperback – 12 aug 2017
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.  
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32647 lei

Preț vechi: 40809 lei
-20%

Puncte Express: 490

Carte tipărită la comandă

Livrare economică 29 august-12 septembrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

Specificații

ISBN-13: 9783319663340
ISBN-10: 3319663348
Pagini: 384
Ilustrații: XIII, 370 p. 94 illus.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.58 kg
Ediția:1st edition 2017
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

Probabilistic modeling.-  Smart energy systems over the cloud.-  Petri nets and performance modeling.-  Parametric verification.- Machine learning and formal methods.- Tools.