1～2件／全2件 セーフサーチON
  •  
Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings  言語：ENG

Jansen, David N. (EDT)/Prabhakar, Pavithra (EDT)

  • 価格 ¥10,007（本体¥9,098）
  • Springer（2018/08/27発売）
  • ポイント 2,700pt　（実際に付与されるポイントはご注文内容確認画面でご確認下さい）
Numerical Software Verification〈1st ed. 2017〉 : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Numerical Software Verification〈1st ed. 2017〉 : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers  言語：ENG

Bogomolov, Sergiy (EDT)/Martel, Matthieu (EDT)/Prabhakar, Pavithra (EDT)

  • 価格 ¥10,007（本体¥9,098）
  • Springer（2017/02/14発売）
  • ポイント 2,700pt　（実際に付与されるポイントはご注文内容確認画面でご確認下さい）
1～2件／全2件
  •