1～3件／全3件 セーフサーチON
  •  
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Geuvers, Herman (EDT)/ England, Matthew (EDT)/ Hasan, Osman (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2017/06発売）
  • ポイント 103pt
  • 海外取次在庫
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Hasan, Osman (EDT)/ Mallet, Frédéric (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer Nature Switzerland AG（2020/04発売）
  • ポイント 103pt
  • 海外からお取り寄せ（通常6～9週間）
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Springerbriefs in Applied Sciences and Technology)
  • 洋書

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Springerbriefs in Applied Sciences and Technology)  Paperback

Ahmed, Asad/ Hasan, Osman/ Awwad, Falah

  • ウェブストア価格 ¥14,485（本体¥13,169）
  • Springer Nature Switzerland AG（2021/08発売）
  • ポイント 131pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •