硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

苏联部长会议国家建设委员会 勘察设计工作费用扩大指标手册 第23册 铁路 铁路桥梁和隧道

煤炭部设计管理总局译1957 年出版35 页ISBN：15052·149

课程标准课外必读书少年儿童文学名著 王子与贫儿

（美）马克·吐温著；杨剑译2012 年出版160 页ISBN：9787563723638

本书是美国作家马克吐温的代表作。本文描写王子爱德华和贫儿汤姆在一个阴差阳错的偶然机会下，互相换了位置，王子变成了贫儿，贫儿成了王子。贫儿汤姆穿着王子的衣服在王宫里尽享荣华富贵，还当上了英国的新国王。...

儿童健康成长心理绘本 我可以克服听力障碍

（加）莫尔·玛丽诺斯著；（西）法夫雷加绘；王曼译2014 年出版35 页ISBN：9787122187659

拉娜10岁了，她是一位失聪者。通过本故事，拉娜讲述了失聪者的世界是怎样的以及在学校里她是借助哪些东西去学习和与人交流的。一天在学校里，当拉娜与同样有听力障碍的朋友用手语交谈时，她注意到很多听力正常的孩...

哈里·S.杜鲁门

（美）小阿瑟·M.史勒辛格主编；（美）巴巴拉·塞弗 周建川译2005 年出版79 页ISBN：7801960386

1945年4月12日，富兰克林·德莱诺·罗斯福总统在其第四任期内溘然长逝。罗斯福的许多智囊团成员都怀疑副总统哈里·S·杜鲁门能否胜任最高领袖这一职务，尤其是在第二次世界大战这一非常时期，而且这位直言不讳的...

漫漫长夜 从战后的游击战到21世纪的复杂空间作战

（英）马丁·多尔蒂（MARTINJ.DOUGHERTY）著；张德辉译；李政峰审校2015 年出版213 页ISBN：9787509214046

自从第一次世界大战初期以来，坦克、化学战争、自动武器和核武器的出现，使得战争变得空前的血腥而残酷。而历经第二次世界大战、波斯湾战争的现今，战争的发展更是瞬息万变，臻至一日千里之境。本书描绘1945年以后...

模式识别中的矩和矩不变量

JanFlusser，TomasSuk，BarbaraZitova著；郭立强，刘恋译；朱明审校2014 年出版276 页ISBN：9787312036637

本书从全新的角度对传统的平移、旋转、缩放及仿射变换下的矩不变量理论进行系统研究。首先，本书介绍了本领域的最新研究成果：图像线性滤波中的矩不变量以及弹性变换中的隐函数矩不变量。此外，还介绍了大量的不...

野犬之王

格日勒其木格·黑鹤主编；（英）A.J.道森著；梁颖，王静译2015 年出版138 页ISBN：9787513561310

本书内容简介：芬恩与比尔和杰西卡一起生活，可是没过多久，它就再次被抛弃了。可是，芬恩对此一无所觉，它仍在营地苦等比尔和杰西卡。毫无察觉的芬恩苦等比尔和杰西卡，却等来了另一个人，并被他无情地驱逐到野外世......

提升团队战斗力的五个加速器

（美）克里斯蒂娜·考弗曼著；范海滨译2015 年出版221 页ISBN：9787550256163

本书为经管类图书。管理不是一个人做独行侠，而是激活团队热情，发挥一群人的智慧。所以，要想做好管理即带好团队，提升团队战斗力，必须全方位调动团队所有成员，形成团队合力。纽约时报畅销书作者和神经学家克里斯.....

爱的技术 现代妈妈实用养育技术宝典

（韩）李镐汾著；刘晶译2013 年出版255 页ISBN：9787540765521

本书是韩国医学专家、家庭教育专家李镐汾总结多年研究经验，结合众多现代家庭的相关案例，著成了这样一本给广大正在亲历亲子教育诸多困惑的年轻父母们带来全新理念及福音的作品。本书揭示了众多父母在教育孩子...