Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and equivalences; automata and Markov process theory; applications, theory and tools; and probabilistic model checking.

Info autore

Dr. William B. Sanders, a professor of multimedia web design and development, has published more than 40 books on a range of Internet programming and web development topics, including PHP, Flash Media Server, and ActionScript.

Dettagli sul prodotto

• Con la collaborazione di: Gethin Norman (Editore), Gethi Norman (Editore), Sanders (Editore), Sanders (Editore), William Sanders (Editore)
• Editore: Springer, Berlin
• Contenuto: Libro
• Forma del prodotto: Tascabile
• Data pubblicazione: 01.01.2014
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica
• EAN: 9783319106953
• ISBN: 978-3-31-910695-3
• Numero di pagine: 422
• Illustrazioni: XIV, 422 p. 111 illus.
• Dimensioni (della confezione): 15.6 x 23.5 x 2.3 cm
• Peso (della confezione): 657 g
• Serie: Lecture Notes in Computer Science > 8657; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science / Theoretical Computer Science and General Issues > .8657; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Categorie: C, Wahrscheinlichkeitsrechnung und Statistik, Systemanalyse und -design, Mathematik für Informatiker, computer science, Theory of Computation, Logics and Meanings of Programs, Systems analysis & design, Computers, Mathematical & statistical software, Maths for computer scientists, Mathematical statistics, Probability and Statistics in Computer Science, Computer architecture & logic design, Computer system failures, System Performance and Evaluation, Computer logic, Computation by Abstract Devices, Computer Science Logic and Foundations of Programming