（美）Prakash Rashinkar，（美）Peter Paterson，（美）Leena Singh著；孙海平，丁健译2005 年出版263 页ISBN：7121005891
本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
（美）Peter H.Gregory著；潇湘工作室译2000 年出版253 页ISBN：7115087288
中国计算机学会计算机安全专业委员会推荐参考书:本书从各个方面介绍如何保护Solaris系统的安全性，内容包括：安全性的基础知识；Solaris单机系统的安全保护；Solaris网络系统的安全保护；灾难恢复的问题；附录。 ...
Microsoft Internet Explorer用户使用指南
（美）P.肯特（Peter Kent）著；王桂香等译1996 年出版231 页ISBN：703005315X
刘创，（英）RODNEY H.SMITH，（美）AUSTEN PETER等编著2005 年出版278 页ISBN：9787030156310
（美）彼得J.丹宁（Peter J.Denning），（美）克雷格H.马特尔（Craig H.Martell）著2017 年出版239 页ISBN：9787111567264
本书系统总结了从算法到系统横跨计算机领域的6类计算原理（计算、通信、协作、记忆、评估和设计），旨在构建起一个框架帮助读者认识计算思维，领会其核心思想──计算原理的相互影响以及问题有效解决的思维方式，并....
（美）Peter J.Brockwell，Richard A.Davis著；田铮译2001 年出版446 页ISBN：7040087014
（美）Peter J. Ashenden著；葛红，黄河，吴继明译2005 年出版571 页ISBN：7111162161
本书系统介绍标准VHDL语言及其使用方法，包括建模工具在数字系统设计中的应用方法。
（美）包弼德（Peter K.Bol）著；刘宁译2001 年出版600 页ISBN：7214028077
本书在考察唐宋士人从门阀士族向文官再向地方精英转型的基础上，以“斯文”为核心概念，围绕“学”在士人身份确认中地位的上升以及“学”的内涵由文化向伦理的转向，细腻勾勒了唐宋士人价值观演变的轨迹。...
（美）Peter Rob，（美）Elie Semaan著；于书举等译2002 年出版490 页ISBN：7505370898
编辑推荐：本书广泛深入地讲解了有关数据库设计、实现及应用开发方面的基本理论、技术及方法，具有很高的实用性。书中的例子覆盖了各种数据库类型，大量的习题有助于加强读者对本书内容的理解。本书所覆盖的数据...
（美）托马斯·A.普格尔（Thomas A.Pugel），（美）彼得·H.林德特（Peter H.Lindert）著；李克宁译2001 年出版92 页ISBN：7505825186
