（美）（K.斯珀林）Karen Sperling，（美）（W.斯图尔德）Winston Steward著；康博创作室译1999 年出版399 页ISBN：7801248988
（美）（K.阿诺德）Ken Arnold，（美）（J.戈斯林）James Gosling著；杨承高等译1998 年出版243 页ISBN：7301034725
（美）Prakash Rashinkar，（美）Peter Paterson，（美）Leena Singh著；孙海平，丁健译2005 年出版263 页ISBN：7121005891
本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
（美）保罗·S.麦耶斯（Paul S. Myers主编；蒋惠工等译1998 年出版356 页ISBN：7806074708
本书收集了在组织设计领域已经发生影响的经典著作，以及在知识管理方面描述当今先行实践的较新成就。本书作者们提出了知识时代管理者必须面对的一个全新问题，即组织设计。它不同于传统管理当中强调的组织结构...
（美）（K.伊文思）Kathy Ivens（美）（C.卡尔贝里）Conrad Carlberg著；希望图书创作室译1999 年出版508 页ISBN：7980026276
