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,...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Atti del Convegno Libro |
| Lingua: | inglese |
| Pubblicazione: |
Cham, Suiza :
Springer,
2014, c2014
|
| Serie: | (Lecture Notes in Computer Science ;
8657) |
| Soggetti: | |
| Accesso online: | Ver documento en línea |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
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 | ||