（英）Alan Burns ，（英）Andy Wellings著；王振宇，陈利等译2004 年出版578 页ISBN：7111139879
本书介绍实时系统的特征，分析设计和实现的方法以及所用的编程语言。
阳小华，马淑萍主编2013 年出版335 页ISBN：9787121212444
本书是原《大学C／C++语言程序设计》（2011年3月，电子工业出版社）的修订版，本次修订增加了计算思维在程序设计中应用，加强了MATLAB基础知识内容的介绍。...
（英）A·J·艾耶尔著；尹大贻译2006 年出版141 页ISBN：7532739082
艾耶尔，英国著名哲学家，牛津大学逻辑教授，维也纳小组成员，逻辑实证主义代表之一。本书为艾耶尔的成名作，也是代表作之一。对于逻辑实证主义的主要观点作了系统的论述，也是研究这一学派的基本著作之一。...
（荷）约翰·范本特姆著2009 年出版428 页ISBN：9787030254306
本书是由我们翻译的世界著名逻辑学家范本特姆的16篇论文组成，约40万字。我们以语言和认知逻辑为核心挑选出了16篇引用率最高的论文。论文的发表时间从1970年代到2007年，内容涵盖了逻辑、语言和认知的一般理论...
张基温编著2011 年出版262 页ISBN：9787512311459
本书是21世纪高等学校规划教材，是一本基于能力培养体系的程序设计教材。
