Automated Model Building (Applied Logic Series)
  • 洋書
  • ポイントキャンペーン

Automated Model Building (Applied Logic Series)  Paperback,  言語:ENG

Caferra, Ricardo/ Leitsch, Alexander/ Peltier, Nicolas

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer(2010/12発売)
  • ポイント 1,705pt
  • 海外取次在庫
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Peltier, Nicolas (EDT)/ Sofronie-Stokkermans, Viorica (EDT)

  • ウェブストア価格 ¥17,681(本体¥16,074)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 800pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Peltier, Nicolas (EDT)/ Sofronie-Stokkermans, Viorica (EDT)

  • ウェブストア価格 ¥19,892(本体¥18,084)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 900pt
  • 海外取次在庫