Proceedings of Third Intermational Conference for Toung Computer Scientists July 15-17,1993,Beijing,
Jianping Wu,Jin Yang,Wen Gao,Tamin Li1993 年出版907 页ISBN:7302008884
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE
ARMIN BIERE2006 年出版438 页ISBN:
A CONTINUOUS FLOW KINETIC MODEL TO PREDICT THE EFFECTS OF TEMPERATURE ON THE TOXICITY OF WASTE TO AL
1974 年出版112 页ISBN:0836942767
The Interaction of Analysis and Geometry : International School--Conference Analysis and Geometry
August 23-September 32222 年出版0 页ISBN:
A SOURCE-BOOK ON FRENCH LAW SYSTEM·METHODS·OUTLINES OF CONTRACT
1979 年出版550 页ISBN:0198253494
4TH CANADIAN CONFERENCE ON NONLINEAR SOLID MECHANICS BOOK OF ABSTRACTS 2013
MARCO AMABILI AND FARBOD ALIJANI2013 年出版172 页ISBN: