METHODS IN ENZYMOLOGY VOLUME 134 STRUCTURAL AND CONTRACTILE PROTEINS PART C THE CONTRACTILE APPA
RICHARD B.VALLEE2222 年出版748 页ISBN:0121820343
A BOOK FOR ENGLISH STUDENTS AND THE ENGLISH CLASSROOM IT’S TIME FOR REAL ENGLISH NORTH AMERICA
[中]张民和 [加]ANDREW BEST MICHAEL VOTH编著2005 年出版222 页ISBN:
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN:3540388621
储能技术应用潜力与经济性研究 = ENERGY STORAGE APPLICATION POTENTIAL AND ECONOMIC EVALUATION
刘坚著2016 年出版193 页ISBN:7513643665
Some topics in harmonic analysis and applications = 调和分析及其应用中的一些问题
Junfeng Li ; Xiaochun Li ; Guozhen Lu2015 年出版424 页ISBN:7040430189
FLUIDS AND ELECTROLYTES WITH CLINICAL APPLICATIONS A PROGRAMMED APPROACH 6TH EDITION
JOYCE LEFEVER KEE BETTY J.PAULANKA2000 年出版680 页ISBN:0766803325
HANDBOOK OF RESEARCH ON DISCRETE EVENT SIMULATION ENVIRONMENTS: TECHNOLOGIES AND APPLICATIONS
EVON M.O.ABU-TAIEH ASIM ABDEL RAHMAN EL SHEIKH2010 年出版585 页ISBN:1605667744
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。