JUDICIAL POLICIES IMPLEMENTATION AND IMPACT
CHARLES A. JOHNSON BRADLEY C. CANON2222 年出版288 页ISBN：0871872846
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
（德）米勒（Miiller，K.）著；裘明仁译2004 年出版117 页ISBN：7534631092
在霍恩海庄园二十公里的地方发生了一系列盗马鞍的事件。马帮小侦探通过侦察、推理，最后破获此案。
Advanced theranostics materials
Ashutosh Tiwari ; Hirak K. Patra ; Jeong-Woo Choi2015 年出版454 页ISBN：1632380531
Advanced theranostics materials
Ashutosh Tiwari ; Hirak K. Patra ; Jeong-Woo Choi2015 年出版733 页ISBN：1118998298
（美）开斯宾革（Kaspersky，K.）著；罗爱国等译2006 年出版377 页ISBN：7121030306
本书的内容紧密围绕shellcoder编程展开，系统地阐述了作为一名shellcoder应该掌握的知识要点。除了shellcoder之外，作者还介绍了手机，BIOS等涉及安全的新领域。本书的第1部分介绍了编写shellcoder前应掌握的一...
（美）Michael Reilly（美）Michelle Poolet著；卢庆龄等译2002 年出版385 页ISBN：7302050090
这是一本关于规划、设计和实现SQL Server 2000数据库的专业指导书。全书以一个小型商业公司的数据库为样例，详细讲述了数据库的设计、实现、信息检索、程序设计以及数据模型等方面的技术。不管是创建新的数...
HOW TO TAKE PHYSICAL INVENTORY
RICHARD F.NEUSCHEL AND H.TALLMAN JOHNSON1946 年出版159 页ISBN：
BIOCHEMISTRY AND METHODOLOGY OF LIPIDS
A.R.JOHNSON AND J.B.DAVENPORT2222 年出版578 页ISBN：
