Artículos relacionados a Stochastic Model Checking: International Autumn School,...
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures: 8453 (Theoretical Computer Science and General Issues) - Tapa blanda
Sinopsis
Stochastic models.- Abstraction techniques.- Stochastic model checking.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds of reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree areas of stochastic models, abstraction techniques and stochastic model checking.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 111,99
EUR 17,17 gastos de envío desde Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 53,79
EUR 13,71 gastos de envío desde Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Stochastic Model Checking: International Autumn School,...
Imagen de archivo
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures (Theoretical Computer Science and General Issues)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783662454886_new
Gastos de envío:
EUR 13,71
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783662454886
Gastos de envío:
EUR 17,73
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 10 disponibles
Imagen del vendedor
Stochastic Model Checking : International Autumn School Rocks 2012, Vahrn, Italy October 22-26 2012 Advanced Lectures
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 22055687-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Stochastic Model Checking : International Autumn School Rocks 2012, Vahrn, Italy October 22-26 2012 Advanced Lectures
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 22055687-n
Gastos de envío:
EUR 17,17
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Stochastic Model Checking: International Autumn School,.
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 26359420203
Cantidad disponible: 4 disponibles
Imagen del vendedor
Stochastic Model Checking
Publicado por
Berlin Springer Berlin Heidelberg Springer Okt 2014, 2014
ISBN 10: 3662454882
ISBN 13: 9783662454886
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds of reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree areas of stochastic models, abstraction techniques and stochastic model checking. 281 pp. Englisch. Nº de ref. del artículo: 9783662454886
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen de archivo
Stochastic Model Checking: International Autumn School,.
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand. Nº de ref. del artículo: 354152180
Gastos de envío:
EUR 7,44
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 4 disponibles
Imagen de archivo
Stochastic Model Checking: International Autumn School,.
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. PRINT ON DEMAND. Nº de ref. del artículo: 18359420193
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 4 disponibles
Imagen del vendedor
Stochastic Model Checking
Publicado por
Springer Berlin Heidelberg, 2014
ISBN 10: 3662454882
ISBN 13: 9783662454886
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Tutorial lectures given by leading scientistsUp-to-date resultsState-of-the-art reportThe use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and commu. Nº de ref. del artículo: 5227887
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Stochastic Model Checking: International Autumn School Rocks 2012, Vahrn, Italy October 22-26 2012 Advanced Lectures
Publicado por
Springer-Verlag New York Inc, 2014
ISBN 10: 3662454882
ISBN 13: 9783662454886
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 2014 edition. 281 pages. 9.00x6.00x0.70 inches. In Stock. Nº de ref. del artículo: x-3662454882
Gastos de envío:
EUR 28,62
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles