(英)迈克尔·达米特(Michael Dummett)著;任晓明,李国山译2004 年出版339 页ISBN:7300061915
本书论述当代西方著名哲学家和逻辑学家达米特的逻辑哲学思想。
(以色列)奥西洛夫著;张昌贵,张博超,李丁山译2012 年出版297 页ISBN:9787302269168
本书作者一步步地引导并示范如何从简单的单元测试写起,再循序渐进写出可维护、可读、可信赖的单元测试。
陈明著;陈明丛书主编2015 年出版334 页ISBN:9787302404101
本书是计算机专业及相关专业的基础课程教材,涉及到计算机科学与技术的各方面内容,着重介绍基本概念和基本模型与方法,不论及更高的理论与技术细节。主要内容包括:计算机的产生与发展、计算机工作原理、程序设计...
(苏)康德拉捷夫(К.Я.Кондратьев),(苏)布那果娃(А.М.Бунакова)著;王跃山译1978 年出版65 页ISBN:13031·868