語系
Wolter, Katinka.
概要
| 作品: | 2 作品在 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.
(書目-語言資料,印刷品)
Resilience assessment and evaluation of computing systems
by:
Avritzer, Alberto.; SpringerLink (Online service); Vieira, Marco.; Wolter, Katinka.; van Moorsel, Aad.
(書目-電子資源)
Stochastic models for fault tolerancerestart, rejuvenation and checkpointing /
by:
SpringerLink (Online service); Wolter, Katinka.
(書目-電子資源)
主題
Stochastic models.
Software Engineering.
Logics and Meanings of Programs.
Computer software
Mathematical Applications in Computer Science.
Computer systems
Formal methods (Computer science)
Computer Science.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Computers
Fault-tolerant computing.
Quality Control, Reliability, Safety and Risk.