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,175(本体¥13,796)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 137pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
BUiD Doctoral Research Conference 2024 : Multidisciplinary Studies (Lecture Notes in Civil Engineering)
  • 洋書
  • 電子版あり

BUiD Doctoral Research Conference 2024 : Multidisciplinary Studies (Lecture Notes in Civil Engineering)  Hardcover,  言語:ENG

Al Marri, Khalid (EDT)/ Mir, Farzana Asad (EDT)/ Awad, Ahmed (EDT)

  • ウェブストア価格 ¥48,704(本体¥44,277)
  • Springer International Publishing AG(2025/05発売)
  • ポイント 442pt
  • 海外からお取り寄せ(通常6~9週間)
BUiD Doctoral Research Conference 2025 : Multidisciplinary Studies (Lecture Notes in Civil Engineering 793) (2026. Approx. 500 p. 235 mm)
  • 洋書
  • 予約

BUiD Doctoral Research Conference 2025 : Multidisciplinary Studies (Lecture Notes in Civil Engineering 793) (2026. Approx. 500 p. 235 mm)  Hardcover,  言語:ENG

Herausgegeben:Al Marri, Khalid/ Mir, Farzana Asad/ Abubakar, Ahmed/ Awad, Ahmed

  • ウェブストア価格 ¥62,639(本体¥56,945)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 569pt
  • ご予約受付中。出版後の入荷・発送