微型计算机系统COBOL语言与程序设计
《微型计算机系统COBOL语言与程序设计》,作者:倪天智编著 出版社:科学出版社 ISBN:15031679。本书系统地介绍了配有CP/M,IBMPC DOS及TRSDOS等操作系统的微型计算机（如IBM PC-XT,BCM,DJS-052，长城052A,TRS,Apple及CROMEMCO等）上广泛使用的Microsoft COBOL的全部语言功能及其程序设计的方法和技巧．
语言
编程语言 : 设计与实现 | Programming Languages : Design and Implementation影印版
《编程语言 : 设计与实现 | Programming Languages : Design and Implementation影印版》,作者:(美)Terrence W.Pratt，(美)Marvin V.Zelkowitz编著 出版社:科学出版社 ISBN:7030124731。本书系统地讲述了编程语言，包括C、C++、Java和PERL等11中语言，内容包括编程语言简史、编程环境、编程
PROLOG语言,它的应用与实现
《PROLOG语言,它的应用与实现》,作者:刘椿年 出版社:科学出版社 ISBN:7030017404。本书介绍了逻辑程序设计语言PROLOG的特性。理论基础、程序设计方法、以及PROLOG语言在人工智能和软件工程方面的应用与实现技术。
英语写作语言表现的测量及测量指标的研究
《英语写作语言表现的测量及测量指标的研究》,作者:陈慧媛 出版社:科学出版社 ISBN:9787030448132。本书旨在对英语写作语言表现的测量指标及指标体系进行理论与实验相结合的系列探讨和检验。书中在综合现有文献后遴选和设计了66项能体现学习者英语写作语言中表现不同维度特征的指标，并进行了较大规模的写作实验和多角度的统计分析。实验和分析结果验证了测量指标的类别属性，发现了指标对学习者英语
语言迁移和概念性迁移：理论与实证
《语言迁移和概念性迁移：理论与实证》,作者:张素敏等 著 出版社:科学出版社 ISBN:9787030693181。本书从双语及多语思维能力角度，基于英汉不同思维模式，从词素、短语、句子及篇章层面分析了中国英语外语学习者在时间域、运动域及空间域中出现的语言迁移和概念性迁移。本书区分了概念迁移和概念化迁移，在指出英汉不同思维模式是造成迁移产生的根源的同时，认为双语者主导语言是语言迁移和概念性迁移产生
中国电子信息工程科技发展研究．自然语言处理专题
《中国电子信息工程科技发展研究．自然语言处理专题》,作者:中国信息与电子工程科技发展战略研究中心 编著 出版社:科学出版社 ISBN:9787030684073。自然语言处理是人工智能领域的核心基础技术，是构建新一代人工智能关键共性技术体系的重要组成部分。本书总结阐述了自然语言处理技术和产业的发展历程、现状及特点，重点介绍了当前我国自然语言处理发展的热点亮点，并详细论述了知识图谱、语言理解、语言生
片上系统的设计和描述语言 : [英文本] | Advances in design and specification languages for SoCs影印版
《片上系统的设计和描述语言 : [英文本] | Advances in design and specification languages for SoCs影印版》,作者:Boulet Pierre[著] 出版社:科学出版社 ISBN:9787030188519。本书主要针对数模混合系统在计算模型中遇到的问题进行了分析。通过对基于UML系统的分析以及C/C++等语言的使用，可以很方便的进行系
自动机理论、语言和计算导引
《自动机理论、语言和计算导引》,作者:J.E.霍普克罗夫特 出版社:科学出版社 ISBN:15031737。本书是讨论自动机理论、语言理论和计算理论（主要是计算复杂性理论）的专著． 全书共十四章．第一章为预备知识；第二、三章讨论有穷自动机和正规集合；第四、五、六章讨论上下文无关语言和下推自动机；第七章讨论图灵机；第八章讨论不可判定性；第九章按Chomsky谱系对语言和自
语言与逻辑——当代反实在论的核心问题研究
《语言与逻辑——当代反实在论的核心问题研究》,作者:胡瑞娜 出版社:科学出版社 ISBN:9787030475947。实在论与反实在论之争是当代西方哲学的核心问题之一。随着现代数理逻辑和量子力学的发展，实在论受到来自各方面的挑战。而现代数理逻辑和量子力学所证明的排中律和二价原则的无效性则为反实在论提供了强有力的依据。随着对形而上学的拒斥带来的“本体论的弱化”以及“语言学转向”的到来，语言和逻辑成
