語系
Horvath, Andras.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer performance engineering11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
(1998 :); Horvath, Andras.; SpringerLink (Online service); Wolter, Katinka.
(書目-語言資料,印刷品)
Quantitative evaluation of systems15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings /
by:
(1998 :); Horvath, Andras.; McIver, Annabelle.; SpringerLink (Online service)
(書目-電子資源)
Formal Methods and Stochastic Models for Performance EvaluationThird European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings /
by:
(1998 :); Horvath, Andras.; SpringerLink (Online service); Telek, Miklos.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Stochastic models
Logics and Meanings of Programs.
Computer systems
Reliability (Engineering)
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Computers
Probability and Statistics in Computer Science.
Simulation and Modeling.
Computer networks