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,524(本体¥20,477)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 204pt
  • 海外取次在庫
Information and Communication Technologies : 10th Ecuadorian Conference, TICEC 2022, Manta, Ecuador, October 12-14, 2022, Proceedings (Communications in Computer and Information Science)
  • 洋書

Information and Communication Technologies : 10th Ecuadorian Conference, TICEC 2022, Manta, Ecuador, October 12-14, 2022, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Herrera-Tapia, Jorge (EDT)/ Rodriguez-Morales, Germania (EDT)/ Fonseca C., Efraín R. (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 112pt
  • 海外取次在庫