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：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 6th INTERNATIONAL CONFERENCE
SAT 20032004 年出版530 页ISBN：3540208518
Foundations of forensic document analysis
Michael Allen2016 年出版244 页ISBN：9781118729939
SCIENTIFIC FOUNDATIONS OF DEVELOPMENTAL PSYCHIATRY
MICHAEL RUTTER1980 年出版386 页ISBN：0433289899
ECONOMIC FOUNDATIONS OF SYMMETRIC PROGRAMMING
QUIRINO PARIS2011 年出版550 页ISBN：9780521123020
