Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Remke, Anne (EDT)/ Haverkort, Boudewijn R. (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 103pt
  • 海外取次在庫
Quantitative Evaluation of Systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Quantitative Evaluation of Systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Campos, Javier (EDT)/ Haverkort, Boudewijn R. (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 103pt
  • 海外取次在庫
Validation of Stochastic Systems : A Guide to Current Research (Lecture Notes in Computer Science Vol.2925) (2004. VIII, 467 p.)
  • 洋書

Validation of Stochastic Systems : A Guide to Current Research (Lecture Notes in Computer Science Vol.2925) (2004. VIII, 467 p.)  Paperback

Ed. by Christel Baier, Boudewijn R. Haverkort, Joost-Pieter Katoen et al.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫