硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
（爱尔兰）迈克尔·斯科特著；王甜甜译2013 年出版333 页ISBN：9787530972069
本书是系列丛书的第五本，该书所讲述的故事是在前四本的基础上，故事情节进一步发展。在书中尼古拉与双胞胎姐弟经历了平凡世界中的人们很难想象的一切。尽管邪恶的约翰·迪已经被他的盟友通缉，但是尼克洛和比利...
（英）阿加莎·克里斯蒂（Agatha Christie）著；杨志强，王利英译1998 年出版312 页ISBN：7221047162
这是巴特尔探长的首次登场。 战后的赫索斯拉夫准备恢复帝制。即将成为国王的迈克殿下秘密来到英国，与英国金融家讨论合作项目，然而就在他入住烟囱大厦的当晚，就被人枪杀在议事厅中，凶手似乎并未离开大厦。奇怪...
