1 หนังสืออิเล็กทรอนิกส์โดย Joao Marques-Silva
Joao Marques-Silva & Karem A. Sakallah: Theory and Applications of Satisfiability Testing – SAT 2007
This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. The International Conferences on Theory and Applications of S …
PDF
อังกฤษ
DRM
€57.49
