Opening book details…
Can I read Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings (Lecture Notes in Computer Science (8054)) on EtoBox?
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings (Lecture Notes in Computer Science (8054)) by Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.) is a nonfiction available to read on EtoBox.
What is Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings (Lecture Notes in Computer Science (8054)) about?
This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation. Erscheinungsdatum: 07.08.2013
Who reads Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings (Lecture Notes in Computer Science (8054))?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2013
- Language
- EN
- ISBN
- 9783642401954
- Category
- nonfiction
- Subjects
- Computer Science, Mathematics, Science
More by Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
Similar books
- CONCUR 2013 -- Concurrency Theory : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings — Lorenzo Alvisi, Edmund L. Wong (auth.), Pedro R. D’Argenio, Hernán Melgratti (2013)
- Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Lecture Notes in Computer Science (8053)) — Étienne André, Giuseppe Pellegrino (auth.), Víctor Braberman, Laurent Fribourg (2013)
- String Processing and Information Retrieval: 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings (Lecture Notes in Computer Science) — J. Shane Culpepper, Alistair Moffat (auth.), Mariano Consens, Gonzalo Navarro (2005)
- Computer Performance Engineering: 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings (Lecture Notes in Computer Science, 8168) — Vittorio Cortellessa (auth.), Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin (2013)
- Graphics Recognition. Current Trends and Challenges: 10th International Workshop, GREC 2013, Bethlehem, PA, USA, August 20-21, 2013, Revised Selected Papers (Lecture Notes in Computer Science, 8746) — Bart Lamiroy, Jean-Marc Ogier (2014)
- Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications : 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings — A. Thomas, B. John Oommen (auth.), Luis Alvarez, Marta Mejail, Luis Gomez, Julio Jacobo (2012)
