张德富，倪南编著1994 年出版190 页ISBN：7305022306
本书是普通高校系列教材，信息技术丛书之一。全书主要介绍Visual Basic的程序设计。
（英）费勒，（英）格鲁茨著2014 年出版303 页ISBN：9787516504055
本书主要介绍基于AADL的SAE体系结构分析。AADL是一个建模语言，考虑到性能关键属性，通过一个可扩展的符号，一个工具框架和精确定义的语义，这个语言支持对系统的结构进行早期和反复的论证。这个语言按照不同的构...
Python编程实战 运用设计模式、并发和程序库创建高质量程序
（美）MarkSummerfield著2014 年出版252 页ISBN：9787111473947
本书主要关注了四个方面，即：优雅编码设计模式、通过并发和编译后的Python(Cython)使处理速度更快、高层联网和图像。书中展示了在Python中已经过验证有用的设计模式，用专家级的代码阐释了这些设计模式，并解释了...
（美）布彻著2015 年出版235 页ISBN：9787115386069
并发编程近年逐渐热起来，Go等并发语言也对并发编程提供了良好的支持，使得并发这个话题受到越来越多人的关注。本书通过以下七个精选的模型帮助读者了解并发领域的轮廓：线程与锁，函数式编程，Clojure，actor，通信顺序...
自然语言交流的计算机模型 数据库语义学下的语言理解、推理和生成
（德）罗兰德·豪塞尔著；冯秋香译2016 年出版411 页ISBN：9787100115186
第一部分介绍SLIM语言理论的基础框架。包括认知主体的外部界面，数据结构和算法。第二部分系统分析自然语言的主要结构，以英语在听话者和说话者模式下的释义推到为例。第三部分介绍英语断片，构建一个功能完整但...
