21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版

本书结合作者30年在哈工大、北工大讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分10章，介绍基础知识，形式语言，文法，正则语言的文法、自动机、正则表达式描述和性质，上下文无关语言的文法.....

冲突与衡平 契约视角下股东不公平损害问题研究

本书以契约理论为研究切入点，以股东不公平损害现象为研究具体模型，拟深入研究股东不公平损害发生的契约原因，不公损害具体现象后的契约特质，在此基础上为最大限度的避免和纠正股东不公平损害设计了事先的契约预...

生物启发的网络安全理论与方法

本书从全新的角度研究了生物启发的网络控制控制理论与方法，主要涵盖以下内容：(1)较全面地介绍了生物启发和基于自律计算的网络安全控制理论、方法和技术的研究现状，并对其进行了归纳分析。(2)依据线性空间和Ma...

城市规划评价及其方法 欧洲理论家与中国学者的前沿性研究

本书共分三个部分，第一部分，主要是著名的理论家们的不同评价理论及其观点的全面展现。共有7篇文章组成。第二部分，用来展现西方评价理论运用于实践的实证研究案例。第三部分，则是由周国艳博士和于立博士就城市...

《人体损伤程度鉴定标准》适用指南

为了帮助法医临床鉴定人能够全面、完整、准确地理解和运用新出台的《人体损伤程度鉴定标准》，策划司法部司法鉴定管理局、标准主要起草人及相关领域资深专家编写了这本《人体损伤程度鉴定标准适用指南》。该...

商业银行贷款定价的理论、实证与方法

本书针对商业银行贷款定价问题，从三个不同的视角，详细介绍了商业银行贷款定价的理论和方法。第一篇商业银行贷款定价理论研究--根据金融经济学理论，在利率市场化和非完全利率市场化两种金融环境下，分别对商业银...

非线性演化系统的符号计算方法

程序设计思想与方法 问题求解中的计算思维

当前高等学校计算机基础教学的一个改革和发展方向是将“计算思维”作为课程主线，其指导思想是让学生学会如何像计算机科学家那样思考并解决问题，这与传统的以一门编程语言为课程核心的做法是完全不同的。本书...

计算方法

本书共9章：第1～8章为计算方法的理论部分，内容包括绪论、非线性方程求根、线性方程组的数值解法、函数插值、曲线拟合、数值积分与数值微分、常微分方程的数值解法、矩阵特征值及特征向量的数值求解；第9章为实验...

最高人民法院《关于审理道路交通事故损害赔偿案件适用法律若干问题的解释》理解与应用

本书将对如何理解和运用该司法解释给予最细致，最权威，最实用的分析与解答，真正给法律实务者以操作指引，给一般大众法学学生教师以研究范本。...