Autor Horvath, Andras
|
|
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsqueda
TÃtulo : Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings Tipo de documento: documento electrónico Autores: McIver, Annabelle, ; Horvath, Andras, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XI, 423 p. 101 ilustraciones ISBN/ISSN/DL: 978-3-319-99154-2 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 IngenierÃa de software Informática Estadistica matematica Inteligencia artificial Simulación por ordenador TeorÃa de las máquinas Lógica informática y fundamentos de la programación Probabilidad y EstadÃstica en Informática Modelado por computadora Lenguajes formales y teorÃa de los autómatas Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas de la 15.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2018, celebrada en Beijing, China, en septiembre de 2018. Los 24 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 51 presentaciones. Los artÃculos cubren temas en el campo de la evaluación cuantitativa y verificación de sistemas y redes informáticas a través de modelos y mediciones estocásticos, enfatizando dos temas de frontera en la investigación: el flujo de información cuantitativa para la seguridad y los métodos formales industriales. 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 : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings [documento electrónico] / McIver, Annabelle, ; Horvath, Andras, . - 1 ed. . - [s.l.] : Springer, 2018 . - XI, 423 p. 101 ilustraciones.
ISBN : 978-3-319-99154-2
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 IngenierÃa de software Informática Estadistica matematica Inteligencia artificial Simulación por ordenador TeorÃa de las máquinas Lógica informática y fundamentos de la programación Probabilidad y EstadÃstica en Informática Modelado por computadora Lenguajes formales y teorÃa de los autómatas Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas de la 15.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2018, celebrada en Beijing, China, en septiembre de 2018. Los 24 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 51 presentaciones. Los artÃculos cubren temas en el campo de la evaluación cuantitativa y verificación de sistemas y redes informáticas a través de modelos y mediciones estocásticos, enfatizando dos temas de frontera en la investigación: el flujo de información cuantitativa para la seguridad y los métodos formales industriales. 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
