Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN：3540261818
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
Lecture Notes in Computer Science 3459 Scale Space and PDE Methods in Computer Vision 5th Internatio
Scale-Space 20052005 年出版634 页ISBN：3540255478
环境科学与工程化学 第5版 影印本 = CHEMISTRY FOR ENVIRONMENTAL ENGINEERING AND SCIENCE FIFTH EDITION
索耶（CLAIR N.SAWYER），麦卡蒂（PERRY L.MCCARTY），帕金（GENE F.PARKIN）著2004 年出版752 页ISBN：7302078173
本书是环境专业化学基础课程的教材，在国外被广泛采用。本书着重介绍对解决环境问题特别有价值的化学知识，并介绍环境工程实践和研究的基础——水和废水分析化学。前一部分介绍环境专业所需的普通化学、物理化...
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
Short protocols in cell biology science a compendium of methods from Current protocols in cell biolo
Juan S. Bonifacino ; Mary Dasso ; Joe B. Harford ; Jennifer Lippincott-Schwartz ; Kenneth M. Yamada2004 年出版802 页ISBN：0471483397
