Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project (2020)
  • 洋書

Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project (2020)  Paperback,  言語:ENG

Leitner, Andrea (EDT)/ Watzenig, Daniel (EDT)/ Ibanez-Guzman, Javier (EDT)

  • ウェブストア価格 ¥22,102(本体¥20,093)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 200pt
  • 海外取次在庫
Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project (2019. xi, 320 S. XI, 320 p. 143 illus., 132 illus. in color. 235 mm)
  • 洋書
  • 電子版あり

Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project (2019. xi, 320 S. XI, 320 p. 143 illus., 132 illus. in color. 235 mm)  Hardcover

Herausgegeben von Leitner, Andrea/ Watzenig, Daniel/ Ibanez-Guzman, Javier

  • ウェブストア価格 ¥33,414(本体¥30,377)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2019発売)
  • ポイント 303pt
  • 海外取次在庫
Advanced Statistical Methods for the Analysis of Large Data-Sets (Selected Papers of the Statistical Societies)
  • 洋書

Advanced Statistical Methods for the Analysis of Large Data-Sets (Selected Papers of the Statistical Societies)  Paperback,  言語:ENG

Di Ciaccio, Agostino (EDT)/ Coli, Mauro (EDT)/ Angulo Ibanez, Jose Miguel (EDT)

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/04発売)
  • ポイント 341pt
  • 海外取次在庫