Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3617 Image Analysis and Processing-ICIAP 2005 13th International C
2005 年出版1221 页ISBN：3540288694
Lecture Notes in Computer Science 3193 Computer Security-ESORICS 2004 9th European Symposium on Rese
2004 年出版457 页ISBN：3540229876
LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6
G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN：3540075453
STUDIES IN SURFACE SCIENCE AND CATALYSIS VOL.51 NEW SOLID ACIDS AND BASES THEIR CATALYTIC PROPERTIES
1989 年出版370 页ISBN：0444988009
EXPERIMENTAL METHODS IN CATALYTIC RESEARCH VOLUME 2
ROBERT B.ANDERSON AND PETER T.DAWSON2222 年出版283 页ISBN：0120586606
EXPERIMENTAL METHODS IN CATALYTIC RESEARCH VOLUME 3
ROBERT B.ANDERSON AND PETER T.DAWSON2222 年出版327 页ISBN：0120586622
CHEMOTHERAPY VOLUME 3 SPECIAL PROBLEMS IN CHEMOTHERAPY
J.D.WILLIAMS AND A.M.GEDDES1976 年出版442 页ISBN：0306382237
CONTEMPORARY TOPICS IN MOLECULAR IMMUNOLOGY VOLUME 2
R.A.REISFELD AND W.J.MANDY1973 年出版276 页ISBN：0306361027
NEW FRONTIERS IN MAMMARY PATHOLOGY VOLUME 2
K.H.HOLLMANN AND J.M.VERLEY1983 年出版455 页ISBN：0306411784
