（日）佐佐木洋子文·图；蒲蒲兰译2012 年出版16 页ISBN：9787505622227
本书为小熊宝宝认知绘本系列。
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
AlanKimmel，BrianOliver著469 年出版0 页ISBN：703018226X
在过去的25年里，现代DNA芯片技术已经发展到了惊人的水平，通过一次实验即可进行上百万次的测量。DNA芯片A辑和B辑是《酶学方法》系列丛书中的两卷内容，它的出版将会使分子生物学家们在进行DNA芯片实验设计、实...
DopressBooks度本策划编/译2010 年出版423 页ISBN：9787560961408
本书在综合考虑设计风格、实用配色方案、地域特征、功能类别等多种因素的基础上，从1000多个近期室内设计项目中精选出169个精彩案例。风格上囊括了亚、非、欧、拉丁、北美、澳洲等各种地域特色设计，功能类别...
ENVIRONMENTAL SCIENCE THIRD EDITION
JONATHAN TURKPH.D 年出版0 页ISBN：SAUNDERS COLLEGE PUBLISHING
