质量-国际的共同语言
《质量-国际的共同语言》,作者:不详 出版社:科学出版社 ISBN:7030034546。本书介绍了世界各国质量管理理论与方法，一些著名企业中质量工作取得成功的经验和诀窍，并汇集了国际质量标准9000系列。
语言
语言中的去时间化研究
《语言中的去时间化研究》,作者:莫启扬 出版社:科学出版社 ISBN:9787030485137。时间性即过程性，其时间化和去时间化操作分别对应于顺序扫描和整体扫描。本书明确了去时间化的识别维度和动因，探讨了去时间化对语言使用和语言结构演变产生的影响，主要包括三个方面：在语言表述功能上，促使述谓向指称转化；在词语语义演变方面，促使词语由主观化而发生语法化；在篇章功能和信息传递
商务谈判人际语言策略研究
《商务谈判人际语言策略研究》,作者:杨文慧著 出版社:科学出版社 ISBN:9787030238146。本书从语篇分析的角度，在综合诸如社会语言学、语用学、语篇分析等学科的研究成果上，运用话语分析的研究方法，探讨人际关系如何影响商务谈判的整体话语结构、言语行为、词形运用以及它们与礼貌策略的内在关联，并对跨文化商务谈判中的文化语言现象做了一定的对比和分析。
结构化程序设计和DITSF语言
《结构化程序设计和DITSF语言》,作者:钟万勰 出版社:科学出版社 ISBN:7030000374。本书结合程序设计方法学和程序正确性证明的思想，介绍大连工学院研制的结构化FORTRAN语言DITSF。
量范畴的类型学研究——以贵州境内的语言为对象
《量范畴的类型学研究——以贵州境内的语言为对象》,作者:惠红军 出版社:科学出版社 ISBN:9787030466631。本书主要以贵州境内的汉语、苗语、彝语、水语、侗语、布依语、仡佬语七种语言为对象对量范畴进行了系统的类型学研究。具体涉及量范畴的表现形式及各种表达手段，量范畴的语序类型学研究，量范畴的功能类型学研究，量范畴的语义类型学研究，量范畴的认知类型学研究。
基于Verilog语言的实用FPGA设计
《基于Verilog语言的实用FPGA设计》,作者:(美)K.科夫曼(Ken Coffman)著；沈树群等译 出版社:科学出版社 ISBN:7030128362。本书讲解了利用Verilog进行FPGA设计的方法和技巧。内容涉及Verilog语言设计实践、数字设计的策略与技巧、数字电路工具箱、Verilog测试等9章。
基于网络媒体监测语料库的性别语言差异研究
《基于网络媒体监测语料库的性别语言差异研究》,作者:王宇波 著 出版社:科学出版社 ISBN:9787030545947。 本书的研究依托国家语言资源监测与研究中心（网络媒体语言分中心）所建的网络媒体监测语料库，研究对象主要包括字、词、句式、话题优先序列、话语量大小等方面的性别语言差异。作为首次基于目前规模最大的汉语网络媒体监测语料库的汉语本体研究，主要采用语料库语言学的研究手段，在定量和定性相
MATLAB语言与控制系统仿真
《MATLAB语言与控制系统仿真》,作者:杨成慧 主编 出版社:科学出版社 ISBN:9787030585189。本书根据实际需要，系统地介绍数学软件MATLAB 7.0的基本功能，包括数值计算功能、符号运算功能和图形处理功能等，在此基础上精心设计了丰富的实例，并且有一些导入案例、知识拓展和MATLAB实验，这样可以更好地拓展知识，提高读者的实践应用能力。MATLAB语言与控制系统仿真的结合
分次模态语言的模型论
《分次模态语言的模型论》,作者:马明辉著 出版社:科学出版社 ISBN:9787030343925。本书给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言；此外，在关系语义学下，还给出了结构类的可定义性定理。
具身语言学——人工智能时代的语言科学
《具身语言学——人工智能时代的语言科学》,作者:官群著 出版社:科学出版社 ISBN:9787030611079。“具身语言学”是以“具身认知观”为哲学基础所提出的语言学理论，为语言学习和语言理解提供了全新的研究理论和方法。《具身语言学——人工智能时代的语言科学》从人工智能领域的研究角度出发，通过大量的神经科学和生理认知关联的基础知识，从四个方面来介绍具身语言，包括具身语言的理论基础、具身语
