(美)戴维·奥斯本(David Osborne),彼德·普拉斯特里克(Peter Plastrik)著;谭功荣,刘霞译2002 年出版415 页ISBN:7300039952
(美)Prakash Rashinkar,(美)Peter Paterson,(美)Leena Singh著;孙海平,丁健译2005 年出版263 页ISBN:7121005891
本书从最高层次的系统级验证直至最终的物理实现和签付,详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
(美)皮特·布鲁克史密斯(Peter Brookesmith著;马永波译1999 年出版282 页ISBN:7806455914
(美)(P.D.希普森)Peter D.Hipson著;朱友芹等译1999 年出版422 页ISBN:7505353349
(美)克雷格·P.鲍尔(Craig P.Bauer)著2019 年出版440 页ISBN:9787508695075
本书属于数学类图书。本书介绍了密码学的基本知识,从古代流传下来的密码讲起,介绍了这些未解密码背后隐藏的历史,其中包括古代密码、艺术家和作曲家编写的密码、杀人犯或受害者留下的密码等。通过作者的讲述,读...