Abbâsîlerde Dİplomasİ (M. 750-850 / H. 132-235)
  • 洋書
  • ポイントキャンペーン

Abbâsîlerde Dİplomasİ (M. 750-850 / H. 132-235)  Paperback

Sharafanİ, Masood Osman Hasan/ Yildirim, Taner

  • ウェブストア価格 ¥14,958(本体¥13,599)
  • LAP Lambert Academic Publishing(2025/11発売)
  • ポイント 675pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formalized Probability Theory and Applications Using Theorem Proving
  • 洋書
  • ポイントキャンペーン

Formalized Probability Theory and Applications Using Theorem Proving  Hardcover,  言語:ENG

Hasan, Osman/ Tahar, Sofiène

  • ウェブストア価格 ¥43,105(本体¥39,187)
  • Idea Group,U.S.(2015/03発売)
  • ポイント 1,955pt
  • 海外取次在庫
Formalized Probability Theory and Applications Using Theorem Proving
  • 洋書
  • ポイントキャンペーン

Formalized Probability Theory and Applications Using Theorem Proving  言語:ENG

Hasan, Osman/ Tahar, Sofiène

  • Information Science Reference(2015/03発売)
  • ご注文いただけません
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,989(本体¥16,354)
  • VDM VERLAG DR. MÜLLER(2008発売)
  • ポイント 815pt
  • オンデマンド(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,155(本体¥11,050)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 550pt
  • 海外取次在庫
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,886(本体¥11,715)
  • Springer Nature Switzerland AG(2020/04発売)
  • ポイント 585pt
  • 海外からお取り寄せ(通常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,471(本体¥14,065)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 700pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。