Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Creignou, Nadia (EDT)/ Le Berre, Daniel (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Complexity of Constraints : An Overview of Current Research Themes (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 5250) (2008. VII, 321 S. 235 mm)
  • 洋書

Complexity of Constraints : An Overview of Current Research Themes (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 5250) (2008. VII, 321 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Creignou, Nadia/ Kolaitis, Phokion G./ Vollmer, Heribert

  • SPRINGER, BERLIN(2008発売)
  • ご注文いただけません