不等式机器证明与自动发现

本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......

高中数学题组精编 第7册 逻辑用语·数系扩充·推理与证明·导数

本书依据普通高中课程标准和全国考纲编写，兼顾主流教材，属于单元同步类教辅图书，秉承老“精编”的编写理念，沿袭老“精编”的编写风格。本册内容为逻辑用语、数系扩充、推理与证明、导数。...

外商投资特许权项目协议 BOT 与行政合同法

专题调研 问题诊断学习法 数学 7 破解数列&不等式、推理与证明 61个高考大问题

本套图书是定位于高中新课标专题讲解辅导读物。

内部评级理论、方法与实务 巴塞尔新资本协议核心技术

本书对巴塞尔新资本协议核心技术和内部评级法进行了全面介绍。

证券金融 融资融券与回购协议

本书分为三个部分，全面介绍了融资融券回购协议的操作方法和注意问题。包括：不同的证券借贷市场，拍卖税务，法律，法规和会计的证券借贷交易，证券借贷交易风险评估，美国和欧洲的回购市场，美元及其对MBS定价策略的......

网络应用协议与实践教程

本书将理论和应用相结合，既给出网络应用的标准协议架构，也给出应用实例。在内容上除了介绍传统的网络应用协议，更注重介绍Internet最新应用，如P2P资源共享协议、及时通讯协议、网络多媒体传输协议等。对网络应...

中华人民共和国国家标准 GB/T 16790.5-2006/ISO 10202-5:1998 金融交易卡 使用集成电路卡的金融交易系统的安全体系 第5部分：算法应用=Financial tra

中国知识产权保护前沿问题与WTO知识产权协议

本书评析中国知识产权保护的前沿问题，论述加入WTO知识产权协议对中国带来的影响。

网络处理器体系结构、协议与平台

本书内容丰富、详实、图文并茂，理论联系实际，有较强的理论指导和工程实践意义，可供从事网络和通信工作的技术人员和管理人员阅读参考。也可作为大专院校网络专业师生专业课的学习参考书使用。...