METHODS IN ENZYMOLOGY VOLUME 485:CONSTITUTIVE ACTIVITY IN RECEPTORS AND OTHER PROTEINS PART B
P.MICHAEL CONN2010 年出版652 页ISBN:9780123812964
METHODS IN ENZYMOLOGY VOLUME 134 STRUCTURAL AND CONTRACTILE PROTEINS PART C THE CONTRACTILE APPA
RICHARD B.VALLEE2222 年出版748 页ISBN:0121820343
The 8th International Symposium on Distributed Computing and Applications to Business
Engineering and Science2009 年出版500 页ISBN:
Lecture Notes in Computer Science 268 Constrained Global Optimization:Algorithms and Applications
P.M.Pardalos1987 年出版143 页ISBN:
Proceedings of the 38th International Conference on Computers and Industrial Engineering
夏国平 邓修权主编2008 年出版3082 页ISBN:
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
创新型国家的基因工程 中国高新技术产业开发区探究 Research on Chinese new and high technology industrial development zones
刘永彪著2006 年出版297 页ISBN:7503535571
高新技术产业开发区的出现是中国改革开放进程中一个十分重要的经济现象。本书以十一届三中全会以来改革开放的历史为背景,借鉴国外高新技术产业开发区发展的成功经验,全面系统分析了发展高新技术产业开发区过...