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

Preț estimativ în valută:
5773 6620$ 4989£

Carte tipărită la comandă

Livrare economică 27 aprilie-11 mai


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.
 

Caracteristici

Includes supplementary material: sn.pub/extras