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
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN:3540388621
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
ANALYTICAL METHODS OF PROTEIN CHEMISTRY VOLUME 2 THE COMPOSITION,STRUCTURE AND REACTIVITY OF PROTEI
P.ALEXANDER R.J.BLOCK2222 年出版518 页ISBN:
New Concepts in Polymer Science Fire Resistant and Thermally Stable Materials Derived from Chlorinat
2003 年出版225 页ISBN:9067643734
PHILOSOPHY IN A NEW KEY ASTUDY IN THE SYMBOLISM OF REASON RITE AND ART
1996 年出版313 页ISBN:0674665031
WHERE IS CHINA GOING NEW CHALLENGES AND PERSPECTIVES OF CHINA
ZHANG WEIWEI AND OTHERS2012 年出版211 页ISBN:7119073613
本书是从近几年海外中国问题研究范围中筛选出较具代表性、关注度的十个话题,邀请专家进行分析解读,提供全面而准确的信息,提出中国的观点和看法,说明中国在这些问题上的解决方案和有关措施,以期给读者提供一种认...