黄冈学霸 新课标版：人教版 数学．七年级 上

本书依据人教社新编实验教材编写，采用与课堂同步的形式。

逻辑公式的可满足性判定 方法、工具及应用

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

黄冈学霸 新课标苏教版 语文 七年级 上

本书依据苏教社新编实验教材编写。采用与课堂同步的形式。

学霸培养计划 托福阅读词汇

本书为准备参加托福考试的初中生、高中生和大学生而编写，以备考托福的“官方指南”和“托福在线模拟训练题”为基础，收集了托福阅读中的常用词汇共约3000词。本书以帮助阅读文章的理解为中心，通过阅读文章中的...

城乡收入差距的临界点判定及其对经济效率影响的研究

本书运用抽象实证与经验实证的研究，结合规范分析和比较分析等方法深入系统地研究了劳动剩余型发展中大国经济城乡收入差距对经济效率的影响。...

震后趋势判定参考指南

《震后趋势判定技术参考指南》是由国家”十二·五”科技支撑计划项目子专题（2012BAK19B02-05-02）成果编写而成。全共分六章，第一章对震后趋势判定及余震预测工作中涉及的主要基本概念进行厘清和约定。第二章为...

アメリカ本土決戦 戦艦“大和米艦隊を殲滅す! 長編スペクタクル小説

マルクス経済学レキシコン5　唯物史観Ⅱ

マルクス経済学レキシコン4　唯物史観Ⅰ

学霸满分笔记 语文

本书主要通过各地区优秀学生中学语文学科的听课、备考笔记、老师教案、然后经过全面系统的梳理、归纳而成。和传统教辅图书相比，本书编排体系灵活，贴近学生实际的鲜明特点。本书内容包括：梳理基础知识、突破重...