数学天地 量与形的旋律 上 【自然科学】

这是一套自然科学丛书，对电子信息、工业、科技、交通、植物、动物、宇宙空间、地球地理、环境农业、医疗保健、物理化学等发展与形成作了较全面的记述。...

软件开发的形式化工程方法 【工业技术】

本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...

高等应用数学问题的MATLAB求解 【数理化】

本书首先介绍了MATLAB语言程序设计的基本内容，在此基础上系统介绍了各个应用数学领域的问题求解。

机器人机构学的数学基础 【工业技术】

本书包括矩阵理论，射影几何，运动学分析，静力学等内容。

组织与管理研究的实证方法 【其他书籍】

本书分五个部分：“科学研究的目的和过程”、“管理学的理论构建”、“管理学的研究方法”、“管理学研究中的测量统计方法”和“研究发表的旅程”。这可能是第一本最全面系统地介绍管理学研究方法，由海内外华...

Camassa-Holm方程 【数理化】

本书详细给出Camassa－Holm方程的物理背景、完全可积性、行波解、散射与反散射、适定性、稳定性的研究成果。这是新的一类具有尖峰孤立子的浅水波方程。目前，关于它的研究是目前国际上非线性偏微分方程研究领...

赢在庭外：诉讼策略的案例实证分析 【政治法律】

本书主要从对三个案例的分析中总结诉讼策略。

体育赛事产业与城市竞争力：产业关联·影响机制·实证模型 【文化科学教育体育】

本书从体育赛事产品入手，揭示了体育赛事产业如何影响城市竞争力的机制。

中国古典文献学的理论与方法 【文化科学教育体育】

中国古典文献学学科是以古籍整理与研究为基本对象的学科，古典文献形态学、古籍版本学、古籍校勘学、古籍目录学、古籍注释学、古籍考证学、古籍编纂学和古籍检索学构成本书的自成体系的结构内容。作者将传统...

软件开发的形式化工程方法：结构化+面向对象+形式化 【其他书籍】