Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
INTERNATIONAL TABLES FOR X-RAY CRYSTALLOGRAPHY VOLUME III PHYSICAL AND CHEMICAL TABLES
CAROLINE H. MACGILLAVRY AND GERARD D. RIECK2222 年出版362 页ISBN：
Lecture Notes in Computer Science 3670 Formal Techniques for Comprter Systems and Busoness Processes
EPEW 20052005 年出版349 页ISBN：3540287019
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
Handbook of Magnetism and Advanced Magnetic Materials Volume 3:Novel Techniques for Characterizing a
Helmut Kronmuller2007 年出版1857 页ISBN：
PUENTES:SPANISH FOR INTENSIVE AND HIGH-BEGINNER COURSES INSTRUCTOR'S ANNOTATED EDITION
PATTI J.MARINELLI LIZETTE MUJICA LAUGHLIN1994 年出版372 页ISBN：083844296X
ATLAS ECLIPTICALIS HRON 2 SEE GENERAL DIRECTIONS FOR JOSE GOMEZ-IBANEZ AND LIDIA
JOHN CAGE1961 年出版236 页ISBN：
LECTURE NOTES IN MATHEMATICS 1394: NONLINEAR SEMIGROUPS
PARTIAL DIFFERENTIAL EQUATIONS AND ATTRACTORS1989 年出版233 页ISBN：3540515941;0387515941
APPLIED CLASSICAL ELECTRODYNAMICS VOLUME 2:NONLINEAR OPTICS
F.A.HOPF G.I.STEGEMAN2222 年出版182 页ISBN：
