Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X
SEMIEMPIRICAL METHODS OF ELECTRONIC STRUCTURE CALCULATION PART A:TECHNIQUES
GERALD A.SEGAL1977 年出版274 页ISBN:0306335077
STROUD'S JUDICIAL DICTIONARY OF WORDS AND PHRASES VOLUME 1 A-C
JOHN S.JAMES1971 年出版671 页ISBN:421142901
PROTEIN SEQUENCE DETERMINATION:A SOURCEBOOK OF METHODS AND TECHNIQUES
SAUL B.NEEDLEMAN2222 年出版393 页ISBN:038707256X
JOURNEY TO THE CENTERS OF TOWARD A SCIENCE OF CONSCIOUSNESS
1995 年出版221 页ISBN:0716727234
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
METHODS OF EXPERIMENTAL PHYSICS VOLUME 23 PART A NEUTRON SCATTERING
2222 年出版557 页ISBN:0124759653
WHO'S WHO IN ECONOMICS A BIOGRAPHICAL DICTIONARY OF MAJOR ECONOMISTS 1700-1981
1983 年出版435 页ISBN:0710801254