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発売)
  • ご注文いただけません
Formalized Probability Theory and Applications Using Theorem Proving
  • 洋書

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

Hasan, Osman/ Tahar, Sofiène

  • ウェブストア価格 ¥40,085(本体¥36,441)
  • Idea Group,U.S.(2015/03発売)
  • ポイント 364pt
  • 海外取次在庫
International Journal of Electronics, Mechanical and Mechatronics Engineering: Ijemme (Volume 4- No 4") 〈2014〉
  • 洋書

International Journal of Electronics, Mechanical and Mechatronics Engineering: Ijemme (Volume 4- No 4") 〈2014〉  Paperback

Ucan, Osman Nuri(EDT)/ Saygin, Hasan(EDT)

  • ウェブストア価格 ¥1,925(本体¥1,750)
  • Istanbul Aydin University International(2018/01発売)
  • ポイント 17pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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

  • ウェブストア価格 ¥16,336(本体¥14,851)
  • VDM VERLAG DR. MÜLLER(2008発売)
  • ポイント 148pt
  • オンデマンド(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)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 102pt
  • 海外取次在庫
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,303(本体¥10,276)
  • Springer Nature Switzerland AG(2020/04発売)
  • ポイント 102pt
  • 海外からお取り寄せ(通常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,386(本体¥13,079)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 130pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。