1～3件／全3件 セーフサーチON
  •  
Hybrid Systems Biology : Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Hybrid Systems Biology : Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Abate, Alessandro (EDT)/ Safranek, David (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2016/01発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Abate, Alessandro (EDT)/ Boldo, Sylvie (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2017/07発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Abate, Alessandro (EDT)/ Geeraerts, Gilles (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2017/08発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •