Theory and Applications of Satisfiability Testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Theory and Applications of Satisfiability Testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Gaspers, Serge (EDT)/ Walsh, Toby (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
SOFSEM 2024: Theory and Practice of Computer Science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

SOFSEM 2024: Theory and Practice of Computer Science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback

Fernau, Henning (EDT)/ Gaspers, Serge (EDT)/ Klasing, Ralf (EDT)

  • ウェブストア価格 ¥18,372(本体¥16,702)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 167pt
  • 海外取次在庫