Gary E. Jones and Joseph P. DeMarco.2016 年出版514 页ISBN:1554812349
硬件设计验证 基于模拟与形式的方法 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前应掌握的一...