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

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

Caferra, Ricardo/ Leitsch, Alexander/ Peltier, Nicolas

  • ウェブストア価格 ¥35,662（本体¥32,420）
  • Springer（2010/12発売）
  • ポイント 324pt
  • 海外取次在庫
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

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

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

  • ウェブストア価格 ¥18,878（本体¥17,162）
  • Springer Nature Switzerland AG（2020/06発売）
  • ポイント 171pt
  • 海外取次在庫
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,780（本体¥15,255）
  • Springer Nature Switzerland AG（2020/06発売）
  • ポイント 152pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •