語系
Haverkort, Boudewijn R.
概要
作品: | 2 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Quantitative evaluation of systems12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings /
by:
(1998 :); Campos, Javier.; Haverkort, Boudewijn R.; SpringerLink (Online service)
(書目-電子資源)
Computer performance evaluationmodelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings /
by:
(1998 :); Bohnenkamp, Henrik C.; Haverkort, Boudewijn R.; Smith, Connie U.; SpringerLink (Online service)
(書目-電子資源)
Measurement, modelling and evaluation of dependable computer and communication systems18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 4-6, 2016 : proceedings /
by:
(1998 :); Haverkort, Boudewijn R.; Remke, Anne.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Machine theory
Logics and Meanings of Programs.
Telecommunication systems
Electronic digital computers
Computer systems
Reliability (Engineering)
Petri nets
Computation by Abstract Devices.
Computer software
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer networks
Computer Science.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Computer Communication Networks.