METHODS IN ENZYMOLOGY VOLUME 115 DIFFRACTION METHODS FOR BIOLOGICAL MACROMOLECULES PART B
HAROLD W.WYCKOFF C.H.W.HIRS SERGE N.TIMASHEFF2222 年出版485 页ISBN:0121820157
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428