Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference
NEW2AN 20062006 年出版0 页ISBN:
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTEGRAL EQUATIONS AND BOUNDARY VALUE PROBLEMS
1990 年出版292 页ISBN:9810204582
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2007 10th INTERNATIONAL CONFERENCE
2007 年出版384 页ISBN:9783540727873
What Can Be Automated? The Computer Science and Engineering Research Study
Bruce W.Arden1980 年出版934 页ISBN:
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE
ARMIN BIERE2006 年出版438 页ISBN: