1～4件／全4件 セーフサーチON
  •  
Probabilistic Analysis using Theorem Proving : A Higher-order Logic Based Approach （2008. 164 S. 220 mm）
  • 洋書

Probabilistic Analysis using Theorem Proving : A Higher-order Logic Based Approach （2008. 164 S. 220 mm）  Paperback

Hasan, Osman

  • ウェブストア価格 ¥17,891（本体¥16,265）
  • VDM VERLAG DR. MÜLLER（2008発売）
  • ポイント 162pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)

  • ウェブストア価格 ¥12,387（本体¥11,261）
  • Springer International Publishing AG（2017/06発売）
  • ポイント 112pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,827（本体¥11,661）
  • Springer Nature Switzerland AG（2020/04発売）
  • ポイント 116pt
  • 海外からお取り寄せ（通常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

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