Título :	Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Tipo de documento:	documento electrónico
Autores:	Bertrand, Nathalie, ; Bortolussi, Luca,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2017
Número de páginas:	XIII, 370 p. 94 ilustraciones
ISBN/ISSN/DL:	978-3-319-66335-7
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Ciencias de la Computación  Computadoras digitales electrónicas  Informática  Estadistica matematica  Simulación por ordenador  Lógica informática y fundamentos de la programación  Rendimiento y evaluación del sistema  Probabilidad y Estadística en Informática  Teoría de la Computación  Modelado por computadora
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas de la 14.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2017, celebrada en Berlín, Alemania, en septiembre de 2017. Los 20 artículos completos y 4 artículos sobre herramientas presentados fueron cuidadosamente revisados ​​y seleccionados de 58 presentaciones. Los artículos están organizados en secciones temáticas tituladas: modelado probabilístico; sistemas de energía inteligentes a través de la nube; Redes de Petri y modelos de rendimiento; verificación paramétrica; aprendizaje automático y métodos formales; herramientas. .
Nota de contenido:	Probabilistic modeling --  Smart energy systems over the cloud --  Petri nets and performance modeling --  Parametric verification -- Machine learning and formal methods -- Tools.  .
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings [documento electrónico] / Bertrand, Nathalie, ; Bortolussi, Luca,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XIII, 370 p. 94 ilustraciones.
ISBN : 978-3-319-66335-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Ciencias de la Computación  Computadoras digitales electrónicas  Informática  Estadistica matematica  Simulación por ordenador  Lógica informática y fundamentos de la programación  Rendimiento y evaluación del sistema  Probabilidad y Estadística en Informática  Teoría de la Computación  Modelado por computadora
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas de la 14.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2017, celebrada en Berlín, Alemania, en septiembre de 2017. Los 20 artículos completos y 4 artículos sobre herramientas presentados fueron cuidadosamente revisados ​​y seleccionados de 58 presentaciones. Los artículos están organizados en secciones temáticas tituladas: modelado probabilístico; sistemas de energía inteligentes a través de la nube; Redes de Petri y modelos de rendimiento; verificación paramétrica; aprendizaje automático y métodos formales; herramientas. .
Nota de contenido:	Probabilistic modeling --  Smart energy systems over the cloud --  Petri nets and performance modeling --  Parametric verification -- Machine learning and formal methods -- Tools.  .
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i