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発売)
  • ご注文いただけません
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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Verification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Ben Hedia, Belgacem (EDT)/ Chen, Yu-Fang (EDT)/ Liu, Gaiyun (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification, Model Checking, and Abstract Interpretation : 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science 16417) (2026. Approx. 400 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Verification, Model Checking, and Abstract Interpretation : 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science 16417) (2026. Approx. 400 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Chen, Yu-Fang/ Jensen, Thomas/ Lengá/l, Ondrej

  • ウェブストア価格 ¥20,717(本体¥18,834)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/03発売)
  • ポイント 376pt
  • ご予約受付中。出版後の入荷・発送