Analytical and Stochastic Modelling Techniques and Applications
Arnaud Devos, András Horváth, Sabina Rossi, Andras Horvath, Sabina Horváth, András
Häftad
689 kr
Del 11024 - Lecture Notes in Computer Science
Quantitative Evaluation of Systems
15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Häftad, Engelska, 2018
689 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions.
Produktinformation
- Utgivningsdatum2018-08-15
- Mått155 x 235 x 24 mm
- Vikt657 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor423
- FörlagSpringer International Publishing AG
- ISBN9783319991535
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 8721
Computer Performance Engineering
András Horváth, Katinka Wolter, Andras Horvath, Katinka Horváth, András
Häftad
659 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Häftad
709 kr
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
Häftad
2 029 kr
Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith, Mario S. Alvim
Inbunden
829 kr
Formal Methods – The Next 30 Years
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira, Jose N. Oliveira, Maurice H. Ter Beek
Häftad
709 kr
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
Inbunden
2 029 kr
Formal Methods and Stochastic Models for Performance Evaluation
András Horváth, Miklós Telek
Häftad
709 kr