Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN:
COMPUTER SYSTEMS A PROGRAMMER'S PERSPECTIVE
[美]RANDAL E.BRYANT DAVID R.OHALLARON著2006 年出版978 页ISBN:
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN:012428650X
THE CHEMISTRY OF ORGANIC MEDICINAL PRODUCTS
GLENN L. JENKINS AND WALTER H. HARTUNG1941 年出版675 页ISBN:
COMPREHENSIVE HETEROCYCLIC CHEMISTRY VOLUME 6 PART 4B
ALAN R.KATRITZKY CHARLES W.REES2222 年出版1171 页ISBN:008030706X
Instant Notes in CHEMISTRY FOR BIOLOGISTS
J.Fisher & J.R.P.Arnold1999 年出版246 页ISBN:703007730X
ADVANCES IN PROTEIN CHEMISTRY VOLUME 16
C.B.ANFINSEN,JR. M.L.ANSON KENNETH BAILEY JOHN T.EDSALL1961 年出版571 页ISBN: