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
PROBABILISTIC FINITE ELEMENT MODEL UPDATING USING BAYESIAN STATISTICS APPLICATIONS TO AERONAUTICAL A
TSHILIDZI MARWALA AND LIYES BOULKAIBET2017 年出版228 页ISBN：1119153030
testing and measurement techniques and applications proceedings of the 2015 international conference
16-17 january 2015thai 年出版0 页ISBN：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2007 10th INTERNATIONAL CONFERENCE
2007 年出版384 页ISBN：9783540727873
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE
ARMIN BIERE2006 年出版438 页ISBN：
Applications of Automation Technology to Fatigue and Fracture Testing and Analysis:Third Volume STP
A.A.Braun L.N.Gilbertson2222 年出版157 页ISBN：0803124163
