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,...
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , |
| Formatua: | Konferentzia-aktak Liburua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Cham, Suiza :
Springer,
2014, c2014
|
| Saila: | (Lecture Notes in Computer Science ;
8657) |
| Gaiak: | |
| Sarrera elektronikoa: | Ver documento en línea |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000566947 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310132117.988 | ||
| 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 | ||