Verification, Model Checking, and Abstract Interpretation:4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings 计算机软件
Computational Methods for Macromolecules: Challenges and Applications:Proceedings of the 3rd International Workshop on Algorithms for Macromolecular Modeling, New York, October 12?14, 2000 应用数学