1～3件／全3件 セーフサーチON
  •  
Automated Model Building (Applied Logic Series)
  • 洋書

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

Caferra, Ricardo/ Leitsch, Alexander/ Peltier, Nicolas

  • ウェブストア価格 ¥34,943（本体¥31,767）
  • Springer（2010/12発売）
  • ポイント 317pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥18,498（本体¥16,817）
  • Springer Nature Switzerland AG（2020/06発売）
  • ポイント 168pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥16,442（本体¥14,948）
  • Springer Nature Switzerland AG（2020/06発売）
  • ポイント 149pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •