Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
Selección de ponencias de la décima primera Conferencia Internacional sobre Evaluación Cuantitativa de Sistemas, celebrada en Florencia, Italia, en septiembre de 2014. Los artículos están organizados en secciones temáticas sobre métodos de Kronecker y de forma de producto, sistemas híbridos, colas,...
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | , |
| التنسيق: | وقائع المؤتمر كتاب |
| اللغة: | الإنجليزية |
| منشور في: |
Cham, Suiza :
Springer,
2014, c2014
|
| سلاسل: | (Lecture Notes in Computer Science ;
8657) |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Ver documento en línea |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000566947 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260526152948.603 | ||
| 020 | |a 978-3-319-10696-0 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Conference on Quantitative Evaluation of Systems ( |n 11a : |d 2014 : |c Florencia, Italia) | ||
| 245 | 1 | 0 | |a Quantitative Evaluation of Systems : |b 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : Proceedings / |c Ed. de G. Norman, W. Sanders. |
| 264 | 4 | |a Cham, Suiza : |b Springer, |c 2014, c2014 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2014 | |
| 300 | |a 1 libro electrónico en línea (XIV, 422 p.) | ||
| 300 | |a 1 recurso en línea | ||
| 336 | |a datos para computadora |b cod |2 rdacontenido | ||
| 337 | |a computadora |b c |2 rdamedio | ||
| 338 | |a recurso en línea |b cr |2 rdasoporte | ||
| 440 | 1 | |a (Lecture Notes in Computer Science ; |v 8657) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de ponencias de la décima primera Conferencia Internacional sobre Evaluación Cuantitativa de Sistemas, celebrada en Florencia, Italia, en septiembre de 2014. Los artículos están organizados en secciones temáticas sobre métodos de Kronecker y de forma de producto, sistemas híbridos, colas, depuración y herramientas, autómatas y teoría de procesos de Markov y verificación de modelos probabilísticos. | ||
| 649 | |a XX | ||
| 650 | |a Modelos Matemáticos | ||
| 650 | |a Métodos de Simulación | ||
| 650 | |a Procesos de Markov | ||
| 650 | |a Autómatas Matemáticos - |x Teoría | ||
| 650 | |a Programación (Software) | ||
| 650 | |a Paquetes (Software) - |x Prueba y Medición | ||
| 650 | |a Sistemas Computacionales - |x Prueba y Medición - |x Congresos - |x Tema Principal | ||
| 650 | |a Sistemas Computacionales | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Norman, Gethin |e (edición) | ||
| 700 | |a Sanders, William |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-10696-0 |y Ver documento en línea |
| 910 | |a Fondo General | ||
| 920 | |a Electrónicos - Libros en Línea | ||
| 930 | |a Plataforma Digital | ||
| 905 | |a 205 | ||
| 901 | |a 566947-1 |b IT2 |c EBO |i C172346 |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000566947 | ||