語系
International Conference on the Quantitative Evaluation of Systems (2017 :)
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Quantitative evaluation of systems = 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
International Conference on the Quantitative Evaluation of Systems (2017 :); Bertrand, Nathalie.; Bortolussi, Luca.; SpringerLink (Online service)
(書目-電子資源)
主題
Machine theory
Logics and Meanings of Programs.
Reliability (Engineering)
Petri nets
Computation by Abstract Devices.
Computer networks- Evaluation
Computer Science.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Computer systems- Evaluation