(日)佐佐木洋子文·图;蒲蒲兰译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