THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 7th INTERNATIONAL CONFERENCE
SAT 20042005 年出版393 页ISBN:
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 8th INTERNATIONAL CONFERENCE
SAT 20052005 年出版494 页ISBN:
工程项目供应链管理 激励理论与方法 incentive theory and method
陈建华著2008 年出版232 页ISBN:9787216057387
英语同声传译理论与实践=English simultaneous interpreting theory and practice
曾传生编著2013 年出版346 页ISBN:
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 6th INTERNATIONAL CONFERENCE
SAT 20032004 年出版530 页ISBN:3540208518