1～3件／全3件 セーフサーチON
  •  
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語：ENG

Larsen, Kim Guldstrand (EDT)/ Sokolsky, Oleg (EDT)/ Wang, Ji (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer International Publishing AG（2017/10発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,535（本体¥10,487）
  • Springer Nature Switzerland AG（2020/10発売）
  • ポイント 104pt
  • 海外取次在庫
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Bartocci, Ezio (EDT)/ Cleaveland, Rance (EDT)/ Grosu, Radu (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer Nature Switzerland AG（2019/09発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •