胡靖著2014 年出版320 页ISBN：9787811295023
本书分析了可逆电路的工作特点，采用矩阵模型和符号代数作为理论基础，提出了一种符号综合方法；研究了可逆电路的时延分析问题，探讨了串扰时延的计算方法，进一步在考虑面积、时延、串扰等约束下综合过程。...
（美）托斯勒著2015 年出版246 页ISBN：9787115373373
本书介绍如何为已有的JavaScript代码进行良好的测试，设计实用的测试计划，JavaScript程序员和开发者将由此提升代码的可维护性，从而受益。本书试图在良好开发实践和JavaScript之间建立一个桥梁。本书试图结合测...
（美）克拉茨（Crouch，A.L.）著；何虎等译2006 年出版284 页ISBN：7111187067
本书介绍测试和可测试性设计基本概念。
纸上魔方编绘2014 年出版154 页ISBN：9787221113078
本册《深不可测的洞窟》囊括了世界各地最著名的洞窟，其中有天然的洞窟，也有个别人类的艺术遗址，如蟠龙洞、莫高窟、云冈石窟、千佛洞和灵谷洞等。全书采用通俗易懂的语言，合理清晰的逻辑框架以及鲜明生动的图画...
度阴山著2018 年出版400 页ISBN：9787559420572
主要讲述了刘伯温一生的传奇故事。刘伯温一出生就带有传奇色彩，有过人的神算能力，而后加入元政府，但因其为人正直，故仕途不顺。最后在沧海横流中，他认识到了元政府的腐 朽而决定退居山田，直到五十多岁才被朱元......
易亚星，余志勇，曹菲，苗倩著2015 年出版136 页ISBN：9787118097979
本书以野外靶场装备试验为背景，以空中红外目标探测问题为研究对象，提出了描述空中目标可探测程度（隐蔽程度）的方法；系统分析了影响空中目标红外可测度的因素，并初步揭示了诸因素影响目标可测度的规律性；结合红......
（美）塞纳拉伯丁·纳瓦比（ZAINALABEDINNAVABI）著；贺海文，唐威昀译2015 年出版370 页ISBN：9787111501541
这本书论述了数字系统测试和可测性设计，它通过数字电路设计实例和方法阐明了测试和可测试性的概念。本书还采用Verilog模型和Verilog测试平台实现并解释故障仿真和测试生成算法。本书的最大特点是广泛地使用...
刘毅著2014 年出版159 页ISBN：9787549944545
海洋是生命的摇篮，它蕴藏着人们生存与发展所需要的极为丰富的物质资源。没有海洋就没有生命，就没有人类。人们总是对它有着无尽的向往和探索。然而，随着探测技术的发展，我们似乎揭开了一些笼罩在海洋上的迷雾，看...
阿布拉莫维奇（Abramovici，M.），布鲁尔（Breuer，M.A.），弗里德曼（Friedman，A.D.）著2004 年出版652 页ISBN：7302077479
本书共有15章，分为3部分。前8章为第一部分，主要介绍数字系统、数字微系统芯片缺陷的来源、逻辑描述的方法——故障的建模、故障模拟、测试单固定故障、测试桥接故障、智能数字系统的功能测试及范围等；第9至第1...
