硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
（美）查尔斯·J.帕拉斯（Charles J.Palus），（美）大卫·M.豪斯（David M.Horth）著；谢仁明译2005 年出版211 页ISBN：7301090455
本书从理论、实践两方面总结出了应对复杂挑战的6种素质能力：专注、个性化、形象化、严肃的游戏、合作探究、艺术化，从首先辨别自己现有能力、开发应对挑战能力、结合传统技能、找到必备能力并达成共识等方面...
（美）威廉·拉什杰（William Rathje），（美）库伦·默菲（Cullen Murphy）著；周文萍，连惠幸译1999 年出版307 页ISBN：7500424582
从纽约市斯坦顿岛海滨的巨大垃极山开始，作者揭示了垃圾在人类文明发展过程中的诸多奥秘。垃圾是人类存在的万年物证，有如一面文明之镜，忠实地反映了社会变适兴衰和人类的生活风貌。它并不歌颂英雄帝王，而是诉说...
（美）威廉·F.派纳（William F. Pinar）等著；张华等译2003 年出版536 页ISBN：7504123021
本书是继拉尔夫·泰勒《课程与教学的基本原理》之后美国最重要、最详尽的课程论教科书。这是一幅宏伟的历史画卷——论述了美国课程理论近170年的发展（1828—1994）；这是一部充满时代气息的巨著——重点论述了...
THE LATEST IN THE NEW YORK TIMES BOSTSELLING SERIES STAR TREK DARK VICTORY
WILLIAM SHATNER，JUDITH REEVES-STEVENS & GARFIELD REEVES-STEVENS1999 年出版305 页ISBN：
（美）David P.Clark，（美）Naette J. Pazdernik2009 年出版120 页ISBN：9787030245021
本书与其他现有的生物技术教科书有所不同，这本“生物技术”行文简洁直白，通俗易懂，作者在构思每一章的内容时，都从基本概念入手，展开论述，最终充实成具体而详细的原理。本书内容丰富新颖，话题涵盖广泛，并用彩......
（美）郑（Zheng，R.），（美）伯罗-桑切斯（Burrow-Sanchez，J.），（美）德鲁（Drew，C.）著；刘勤学，黄飞，熊俊梅译2014 年出版301 页ISBN：9787510080258
本书包括了当今网络心理学研究青少年网络社会交往行为的顶尖学者的最新研究成果，分别从理论框架、网络关系、网络交往内容以及相关的危险因素、法律道德因素等多个层面对青少年网络社会交往及网络关系形成做...
（美）Richard L. Burden，（美）J. Douglas Faires著；冯烟利，朱海燕译2005 年出版812 页ISBN：7040171465
本书介绍了现代数值近似技术的理论及实用知识，解释了它们的工作原理。同它的前几个版本一样，该书仍将重点放在近似技术的数值分析上，以便为读者今后的学习打下坚实的数值分析与科学计算基础。本书内容丰富、翔...
A mathematical introduction to fluid mechanics Third Edition = 流体力学数学导论 第3版
Alexandre J. Chorin ; Jerrold E. Marsden2013 年出版174 页ISBN：7510061790
Probability and stochastic processes: a friendly introduction for electrical and computer engineers
Roy D. Yates ; David J. Goodman2015 年出版462 页ISBN：1118808719
