Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN:
LECTURE NOTES IN COMPUTER SCIENCE 490 ALGEBRAIC METHODS Ⅱ:THEORY
TOOLS AND APPLICATIONS1991 年出版434 页ISBN:
MANUAL ON HYDROCARBON ANALYSIS 6TH EDITION
A.W.DREWS2222 年出版1061 页ISBN:080312080X
GERALD D.SCHMIDT LARRY S.ROBERTS2222 年出版604 页ISBN:0801643457
Mark T.Holtzapple W.Dan Reece2222 年出版647 页ISBN:0070297061
2001 4TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS
2001 年出版887 页ISBN:078036677X