Name: Quantitative Evaluation of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings (en Inglés)
Price: 95590.00 CLP
Availability: InStock
Author: Parker, David ; Wolf, Verena
ISBN: 9783030302801

portada Quantitative Evaluation of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Parker, David ; Wolf, Verena

Idioma

Inglés

N° páginas

361

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.0 cm

Peso

0.53 kg.

ISBN13

9783030302801

Categorías

Algoritmos y estructuras de datos
Inteligencia artificial

Quantitative Evaluation of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings (en Inglés)

Parker, David ; Wolf, Verena (Autor) · Springer · Tapa Blanda

Libro Nuevo

$ 95.590

$ 132.760

Ahorras: $ 37.170

28% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Viernes 02 de Agosto y el Miércoles 14 de Agosto.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Quantitative Evaluation of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings (en Inglés)"

This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019.The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions. The papers cover topics in the field of Probabilistic Verification; Learning and Verification; Hybrid Systems; Security; Probabilistic Modelling and Abstraction; and Applications and Tools.