电子商务网络协议的形式化分析理论与应用 【经济】

本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...

应用偏微分方程讲义 【数理化】

偏微分方程已成为研究自然科学、工程技术以及经济管理等领域各种实际课题的重要工具。为了帮助应用数学、计算数学、运筹与控制等专业的教师、研究生和高年级大学生，应用部门的教学和研究人员以及研究生熟练...

复与P进位分析中有关值分布及微分性的一些论题 【数理化】

本书主要介绍复及p-进位分析中有关亚纯函数的理论值分布及微分性，全书分两部分，第一部分主要介绍亚纯函数理论、值分布，第二部分主要介绍微分性及其在函数方程包括偏微分方程（主要在边界值）的一些最新研究。本书...

法律之治与道德之治：形式法治观的局限及其克服 【政治法律】

本书考察分析了西方与我国语境下的法治观变迁，总结了形式法治与实质法治的异同。在严密论证法治与德治关系模式的基础上，实证地研究了我国何以深受苏联法概念的影响，而移植西方法律失败，进而得出我国传统的法观...

偏微分方程讲义 第3版 【数理化】

本书是由数学天元基金和高等教育出版社共同推出的《俄罗斯数学教材选译》中的一本。本书是俄罗斯科学院院士、莫斯科大学教授O.A.奥列尼克在莫斯科大学数学力学系讲课的讲义扩充而成的教材。作者是И.Г.彼...

数理逻辑：基本原理与形式演算 【数理化】

数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...

Adaptive finite element methods for optimal control governed by PDEs = 偏微分方程最优控制的自适应有限元方法 【外文】

几何形体 【艺术】

本书通过范画讲解为美术高考生助考。

解析几何 【数理化】

本书是为大学本科小学教育专业“空间解析几何”课程编写的教材。

几何形体 【艺术】

本丛书主要针对美术高考生初级阶段的学习而编辑，共7册，其中素描6册，色彩1册。