质量-国际的共同语言
《质量-国际的共同语言》,作者:不详 出版社:科学出版社 ISBN:7030034546。本书介绍了世界各国质量管理理论与方法，一些著名企业中质量工作取得成功的经验和诀窍，并汇集了国际质量标准9000系列。
语言
语言中的去时间化研究
《语言中的去时间化研究》,作者:莫启扬 出版社:科学出版社 ISBN:9787030485137。时间性即过程性，其时间化和去时间化操作分别对应于顺序扫描和整体扫描。本书明确了去时间化的识别维度和动因，探讨了去时间化对语言使用和语言结构演变产生的影响，主要包括三个方面：在语言表述功能上，促使述谓向指称转化；在词语语义演变方面，促使词语由主观化而发生语法化；在篇章功能和信息传递
商务谈判人际语言策略研究
《商务谈判人际语言策略研究》,作者:杨文慧著 出版社:科学出版社 ISBN:9787030238146。本书从语篇分析的角度，在综合诸如社会语言学、语用学、语篇分析等学科的研究成果上，运用话语分析的研究方法，探讨人际关系如何影响商务谈判的整体话语结构、言语行为、词形运用以及它们与礼貌策略的内在关联，并对跨文化商务谈判中的文化语言现象做了一定的对比和分析。
分次模态语言的模型论
《分次模态语言的模型论》,作者:马明辉著 出版社:科学出版社 ISBN:9787030343925。本书给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言；此外，在关系语义学下，还给出了结构类的可定义性定理。
量范畴的类型学研究——以贵州境内的语言为对象
《量范畴的类型学研究——以贵州境内的语言为对象》,作者:惠红军 出版社:科学出版社 ISBN:9787030466631。本书主要以贵州境内的汉语、苗语、彝语、水语、侗语、布依语、仡佬语七种语言为对象对量范畴进行了系统的类型学研究。具体涉及量范畴的表现形式及各种表达手段，量范畴的语序类型学研究，量范畴的功能类型学研究，量范畴的语义类型学研究，量范畴的认知类型学研究。
结构化程序设计和DITSF语言
《结构化程序设计和DITSF语言》,作者:钟万勰 出版社:科学出版社 ISBN:7030000374。本书结合程序设计方法学和程序正确性证明的思想，介绍大连工学院研制的结构化FORTRAN语言DITSF。
算法语言 ALGOL68 修改报告
《算法语言 ALGOL68 修改报告》,作者:不详 出版社:科学出版社 ISBN:15031434。ALGOL68是一种新式大型通用语言，作为ALGOL60的后继于1968年底问世．它兼有数值计算，符号处理，数据加工和平行操作等功能，国外已在多种机器上实现．它提出一种新的语法和语义描述原则，理论上也有研究价值．本书是1975年的修改报告，对原报告作了大量扩充，是ALGOL68的
基于Verilog语言的实用FPGA设计
《基于Verilog语言的实用FPGA设计》,作者:(美)K.科夫曼(Ken Coffman)著；沈树群等译 出版社:科学出版社 ISBN:7030128362。本书讲解了利用Verilog进行FPGA设计的方法和技巧。内容涉及Verilog语言设计实践、数字设计的策略与技巧、数字电路工具箱、Verilog测试等9章。
具身语言学——人工智能时代的语言科学
《具身语言学——人工智能时代的语言科学》,作者:官群著 出版社:科学出版社 ISBN:9787030611079。“具身语言学”是以“具身认知观”为哲学基础所提出的语言学理论，为语言学习和语言理解提供了全新的研究理论和方法。《具身语言学——人工智能时代的语言科学》从人工智能领域的研究角度出发，通过大量的神经科学和生理认知关联的基础知识，从四个方面来介绍具身语言，包括具身语言的理论基础、具身语
