Cantitate/Preț
Produs

Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings: 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ț: 31918 lei

Preț vechi: 39898 lei
-20% Nou

Puncte Express: 479

Preț estimativ în valută:
6112 6615$ 5096£

Carte tipărită la comandă

Livrare economică 09-23 decembrie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319663340
ISBN-10: 3319663348
Pagini: 370
Ilustrații: XIII, 370 p. 94 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.54 kg
Ediția:1st ed. 2017
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

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