数控铣削加工过程仿真与优化 建模、算法与工程应用

本书全面介绍了铣削过程力学建模，铣削过程动力学建模，数控铣削切削参数优化技术，数控铣削切削参数数据库，基于切削过程仿真的数控铣削优化技术应用。...

司法证明的逻辑

本书对司法证明的逻辑路径、语言逻辑、图式逻辑、模糊逻辑、司法证明的思想谱系、威格莫尔论证明等内容做了全面论述。

制度创新与可持续利用 四荒资源的产权运作及管理模式

C语言接口与实现 创建可重用软件的技术

本书讲述基于接口的C语言设计理念及其实现，描述了24个C语言接口及其实现，适于软件开发人员和高校师生阅读。

数值算法的精确性与稳定性

本书详尽讨论线性方程系统数值算法的精确性与稳定性，被誉为此领域的“圣经”类图书。

数据结构与算法项目化教程

本书内容分为9个学习情景，分别为程序设计语言基础、认识数据结构和算法、线性表、栈和队列、串、树和二叉树、图、排序、查找等。

VLSI计算理论与并行算法

国家八六三计划资助项目:本书研究了VLSI的理论计算模型、面积和时间下界以及布局理论和布局方法;讨论了典型的VLSI计算结构上的各种数值计算、非数值计算和图论方面的一些算法……...

数据结构与算法分析 C语言描述

本书包括数据结构以及算法分析，其中例程用C语言描述。

现代证明责任问题

本书是一部阐述德国民事诉讼中证明责任原理的学术名著。

以孙子兵法证明日本必败