分次模态语言的模型论
《分次模态语言的模型论》,作者:马明辉著 出版社:科学出版社 ISBN:9787030343925。本书给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言；此外，在关系语义学下，还给出了结构类的可定义性定理。
语言
语言中的去时间化研究
《语言中的去时间化研究》,作者:莫启扬 出版社:科学出版社 ISBN:9787030485137。时间性即过程性，其时间化和去时间化操作分别对应于顺序扫描和整体扫描。本书明确了去时间化的识别维度和动因，探讨了去时间化对语言使用和语言结构演变产生的影响，主要包括三个方面：在语言表述功能上，促使述谓向指称转化；在词语语义演变方面，促使词语由主观化而发生语法化；在篇章功能和信息传递
算法语言 ALGOL68 修改报告
《算法语言 ALGOL68 修改报告》,作者:不详 出版社:科学出版社 ISBN:15031434。ALGOL68是一种新式大型通用语言，作为ALGOL60的后继于1968年底问世．它兼有数值计算，符号处理，数据加工和平行操作等功能，国外已在多种机器上实现．它提出一种新的语法和语义描述原则，理论上也有研究价值．本书是1975年的修改报告，对原报告作了大量扩充，是ALGOL68的
应用MATLAB语言处理数字信号与数字图像
《应用MATLAB语言处理数字信号与数字图像》,作者:陈桂明等编著 出版社:科学出版社 ISBN:7030078489。
基于网络媒体监测语料库的性别语言差异研究
《基于网络媒体监测语料库的性别语言差异研究》,作者:王宇波 著 出版社:科学出版社 ISBN:9787030545947。 本书的研究依托国家语言资源监测与研究中心（网络媒体语言分中心）所建的网络媒体监测语料库，研究对象主要包括字、词、句式、话题优先序列、话语量大小等方面的性别语言差异。作为首次基于目前规模最大的汉语网络媒体监测语料库的汉语本体研究，主要采用语料库语言学的研究手段，在定量和定性相
图像加密算法与实践 : 基于C#语言实现
《图像加密算法与实践 : 基于C#语言实现》,作者:孙燮华著 出版社:科学出版社 ISBN:9787030376701。本书介绍了国内外图像加密方案与算法，介绍图形加密的基本概念和算法基础，分别从空域和频域介绍各类图像加密方案，包括空域置乱加密、灰度加密、混合加密、频域置乱与数据加密、频域混合加密，还介绍图像加密的分析与攻击，以及评估与测试等内容。
语言接口视角下的英语冠词二语习得研究
《语言接口视角下的英语冠词二语习得研究》,作者:韦理著 出版社:科学出版社 ISBN:9787030394224。本书从接口视角探讨了语言模块与非语言模块如何交互作用并影响英语冠词的二语习得，为语言接口理论在语言和语言习得领域的应用提供了理论依据和实证支持，具有重要的理论和现实意义。
PROLOG语言,它的应用与实现
《PROLOG语言,它的应用与实现》,作者:刘椿年 出版社:科学出版社 ISBN:7030017404。本书介绍了逻辑程序设计语言PROLOG的特性。理论基础、程序设计方法、以及PROLOG语言在人工智能和软件工程方面的应用与实现技术。
基于Verilog语言的实用FPGA设计
《基于Verilog语言的实用FPGA设计》,作者:(美)K.科夫曼(Ken Coffman)著；沈树群等译 出版社:科学出版社 ISBN:7030128362。本书讲解了利用Verilog进行FPGA设计的方法和技巧。内容涉及Verilog语言设计实践、数字设计的策略与技巧、数字电路工具箱、Verilog测试等9章。
