1～3件／全3件 セーフサーチON
  •  
Formal System Verification : State-of the-Art and Future Trends
  • 洋書
  • 電子版あり

Formal System Verification : State-of the-Art and Future Trends  Hardcover,  言語：ENG

Drechsler, Rolf (EDT)

  • ウェブストア価格 ¥27,270（本体¥24,791）
  • Springer International Publishing AG（2017/07発売）
  • ポイント 247pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems
  • 洋書
  • 電子版あり

Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems  Hardcover,  言語：ENG

Drechsler, Rolf (EDT)/ Soeken, Mathias (EDT)

  • ウェブストア価格 ¥23,074（本体¥20,977）
  • Springer Nature Switzerland AG（2019/07発売）
  • ポイント 209pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advanced Logic Synthesis
  • 洋書
  • 電子版あり

Advanced Logic Synthesis  Hardcover

Reis, André Inácio (EDT)/ Drechsler, Rolf (EDT)

  • ウェブストア価格 ¥23,074（本体¥20,977）
  • Springer International Publishing AG（2017/11発売）
  • ポイント 209pt
  • 海外取次在庫
1～3件／全3件
  •