Quantitative evaluation of systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / Gul Agha, Benny Van Houdt (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 9826. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Switzerland : Springer, 2016Description: 1 online resource (xvii, 382 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783319434254
- 331943425X
- 3319434241
- 9783319434247
- QEST 2016
- Computer systems -- Evaluation -- Congresses
- Computer networks -- Evaluation -- Congresses
- Reliability (Engineering) -- Congresses
- Petri nets -- Congresses
- Machine theory -- Congresses
- Systèmes informatiques -- Évaluation -- Congrès
- Réseaux d'ordinateurs -- Évaluation -- Congrès
- Fiabilité -- Congrès
- Réseaux de Pétri -- Congrès
- Théorie des automates -- Congrès
- Systems analysis & design
- Maths for computer scientists
- User interface design & usability
- Computer modelling & simulation
- Computer programming -- software development
- Computers -- Hardware -- Handheld Devices
- Computers -- Mathematical & Statistical Software
- Computers -- Machine Theory
- Computers -- Computer Simulation
- Computers -- Programming -- General
- Computer networks -- Evaluation
- Computer systems -- Evaluation
- Machine theory
- Petri nets
- Reliability (Engineering)
- 004.2/5 23
- QA76.9.E94
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes author index.
Online resource; title from PDF title page (SpringerLink, viewed August 12, 2016).
Markov processes -- Tools -- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis -- Networks.
This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016. The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov decision processes and Markovian analysis; networks.