（意）盖伊（Ghezzi，C.），（意）查耶（Jazayeri，M.），（意）曼德若利（Mandrioli，D.）著2006 年出版588 页ISBN：7508338766
本书通过严格的形式化方法和非形式化方法阐述了软件工程原则和方法的重要性，有选择地介绍了软件工程基础；强调并确定了适用于整个软件生命期的基本原则，全面而深入地介绍了这些基本原则在软件设计、规范、验证...
（美）凯特·迪卡米洛著；（美）蒂莫西·巴兹尔·埃林绘；王昕若译2014 年出版222 页ISBN：9787530760345
德佩罗·蒂林是一只个头儿很小却有一双大耳朵的小老鼠，他从小体弱多病，不关心老鼠应该感兴趣的事，却喜欢音乐、光明、传奇故事。在图书馆德佩罗爱上了阅读，尤其喜欢那些英雄救美的故事。有一天，他爱上了一位叫作...
袁锡兴，杨若东主编；段平，吴青，李莉等编2012 年出版391 页ISBN：9787300158587
本书理论与技巧相结合，既包括基本理论的讲解和范例，也有丰富的实例和技巧方面的指导；既有常规的课堂教学内容，也有实践中实用的写译内容。该教程适合高等院校的文、理、工、医、农、林等各学科的非英语专业的硕...
孙心若主编2007 年出版132 页ISBN：9787303087150
这是一套适用于中小学生开展科技活动的新型科普图书，包括天文学、地球科学、生命科学、模型制作、数码技术、电子技术、智能控制、航天科技、工程技术、创新设计、趣味探究、生存技能等12个系列，每个系列将推...
忆若清风著2012 年出版282 页ISBN：9787531341987
她是江湖中最神秘杀手组织的美艳杀手，他是心性清冷的病猫王爷。万金悬赏，他成为了她的目标人物，面对病猫似的王爷，她以为这个任务会轻松解决，谁知此王爷的狡猾，让她陷入了他设计的圈套，反而成为了他的假冒王妃......
（美）塞奇威克，（美）弗拉若莱著2015 年出版572 页ISBN：9787121260704
本书阐述了用于算法数学分析的主要方法，所涉及的材料来自经典数学课题，包括离散数学、初等实分析、组合数学，以及来自经典的计算机科学课题，包括算法和数据结构。本书内容集中覆盖基础、重要和有趣的算法，前面侧...
张忠勋，沈全富，陈文若，任云鹏，张丰绿茵，沈忠池编著2014 年出版276 页ISBN：9787518301652
对近年来大庆油田开展的聚合物驱多学科油藏研究的技术形成背景、适合聚合物驱的沉积相控三维地质建模技术、聚合物驱油机理、聚合物驱数值模拟技术、个性化注入参数设计、聚合物驱提效技术以及精细管理等方...
（英）若弗雷·H. 巴克（Geoffrey Baker）著；王玮，张宝林，王丽娟译2005 年出版319 页ISBN：7508428757
本书是“国外高等院校建筑学专业教材”之一。书中第一部分在一个从几何学到象征主义很广的范围内讨论了建筑的性质和作用；第二部分通过引述和列举现代建筑大师——如阿尔托、迈耶和斯特林——的作品，论证了分...
张子康，罗怡，李海若著2011 年出版255 页ISBN：9787549508730
本书希望让读者能够了解自己是不是要做、能不能够做博物馆、做什么样的博物馆、怎样规划博物馆以及博物馆建成以后，如何通过实际操作链接创意产业、城市发展从而使自己有更好的土壤与空间存活下去。...
贺春英，徐冰若编著2006 年出版499 页ISBN：780717370X
本书为英语翻译教学与测试模式研究论著，主要介绍在外语教学动机理论指导下的文化翻译教学与英语测试模式的方式、方法，可供外语教师及相关研究人员参考使用。...
