2012淘金高阶英语专业四级巅峰训练 全文翻译+分阶突破 华研外语

淘金高阶考研英语全真题典 1991-2006 16套题

本书是1990年至今所有考研试卷的总编。讲解精当，答案权威，对目前不考的题型已删去。

高阶逻辑辅助证明系统

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

现代信号处理技术 高阶谱、时频分析与小波变换

现代信号处理技术 高阶谱、时频分析与小波变换

淘金高阶：英语专业4级阅读120篇（翻译＋难句）

本书是针对英语专业4级考试的阅读单项训练，包括答题理论，30个单元题目共120篇，题后有译文、答案、解析、难句分析、词汇突破等解说方式。解析详尽，实用性强。...

牛津高阶英汉双解词典 第7版 大字本

本书在六版基础上增加了20%的篇幅，内容更丰富，收词更广泛，学习功能更强。此书为大字本。

直销神奇思想 高阶直销商 演兵场 下

本书内容介绍了直销经营的几种模式，帮助人们分清直销与非法传销的区别，并对直销业进行详细的分析研究，以期把中国直销业推向健康、成熟、有序的发展轨道。...

国家司法考试高阶教程 民事诉讼法与仲裁法

本书以国家考试大纲为线索，以最新法律法规及配套司法解释为依据，按学科分类编写。

牛津高阶英语词典 原书第8版

本书原来是牛津大学出版社于2010年推出的《牛津高阶英语词典（第8版）》，与7版相比，8版：1、新增32页的Writing Tutor；2、新增主题框；3、增加1000新词新义；4、标出最重要的3000词与义；5、动词模式更改；6、收录11．8万单词...