1～2件／全2件 セーフサーチON
  •  
Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Hung, Dang Van (EDT)/ Sokolsky, Oleg (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer Nature Switzerland AG（2020/10発売）
  • ポイント 103pt
  • 海外取次在庫
Distributed Computing and Internet Technology : 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Distributed Computing and Internet Technology : 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Hung, Dang Van (EDT)/ D'Souza, Meenakshi (EDT)

  • ウェブストア価格 ¥18,625（本体¥16,932）
  • Springer Nature Switzerland AG（2019/12発売）
  • ポイント 169pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～2件／全2件
  •