1～2件／全2件 セーフサーチON
  •  
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Chen, Yu-Fang (EDT)/ Cheng, Chih-Hong (EDT)/ Esparza, Javier (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer Nature Switzerland AG（2019/10発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Web-Age Information Management : WAIM 2014 International Workshops: BigEM, HardBD, DaNoS, HRSUNE, BIDASYS, Macau, China, June 16-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science) （2014）
  • 洋書

Web-Age Information Management : WAIM 2014 International Workshops: BigEM, HardBD, DaNoS, HRSUNE, BIDASYS, Macau, China, June 16-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science) （2014）  Paperback

Chen, Yueguo (EDT)/ Balke, Wolf-Tilo (EDT)/ Xu, Jianliang (EDT)

  • Springer International Publishing AG（2014/10発売）
  • ご注文いただけません
1～2件／全2件
  •