硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
Short protocols in molecular biology : a compendium of methods from Current protocols in molecular b
editorial board1999 年出版1074 页ISBN:
变革性创新 大企业如何突破规模困境获得创新优势=CREATIVE CONSTRUCTION THE DNA OF SUSTAINED INNOVATION
(美)加里·皮萨诺著2019 年出版0 页ISBN:
AN INTRODUCTION TO RECOMBINANT DNA TECHNIQUES:BASIC EXPERIMENTS IN GENE MANIPULATION SECOND EDITION
PERRY B.HACKETT JAMES A.FUCHS JOACHIM W.MESSING2222 年出版243 页ISBN:0805301380
THE PHUSICS oOF LOW-DIMENSIONAL STRUUCTURES:FROM QUANTUM WELLS TO DNA ARTIFICIAL ATOMS
2007 年出版180 页ISBN:9781600214776
人类前史 出非洲记 地球文明之源的DNA解码 a genetic odyssey
(美)斯宾塞·韦尔斯(Spencer Wells)著;杜红译2006 年出版237 页ISBN:7506018683
本书以图文形式通俗讲述了人类演化的历史。作者是英国著名的遗传学专家,尤其是在人类基因研究领域更是绝对的权威。他集多年研究成果,向读者介绍了科学家使用基因分析法从男性染色体追踪了从亚洲到欧洲大陆的...
分层线性模型 应用与数据分析方法 applications and data analysis methods
(美)Stephen W.Raudenbush,(美)Anthony S.Bryk著;郭志刚等译2007 年出版463 页ISBN:7802307309
分层线性模型是1990年代在国际统计学界迅速推广并得到广泛应用的新的统计分析技术,本书是这一分析方法的代表作。本书提供的技术细节适合大多数社会科学和行为科学研究人员的需要,包括足够多的实际操作建议和...