THE METAPHYSICAL FOUNDATIONS OF MODERN PHYSICAL SCIENCE
TRENCH1925 年出版360 页ISBN:
Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN:3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN:3540292098
24TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIECNE 1983
2222 年出版477 页ISBN:0818605081
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN:9783540755951
FOUNDATIONS OF MATERIALS SCIENCE AND ENGINEERING THIRD EDITION
WILLIAM F.SMITH2004 年出版908 页ISBN:0072921943
INFORMATION SYSTEMS DEVELOPMENT:PRINCIPLES OF COMPUTER-AIDED SOFTWARE ENGINEERING
ALBERT F.CASE1986 年出版238 页ISBN: