姜云，张洪波，庞博主编2011 年出版290 页ISBN：9787301197332
本书既继承了传统《城市规划原理》教材的理论精华，又与时俱进，充分反映了教材的时代性。本书既注重理论性，又注重实践性，每章都设置了案例与分析、习题；教材结构合理，层次清晰，既方便教师教学，也方便学生学习......
徐林主编2012 年出版334 页ISBN：9787513802130
本书整理总结中考作文经常考什么，按照常考主题进行针对性辅导。详细品读中考满分作文的特点，总结应对中考作文的技巧，从而使得对中考作文的指导更为实用。...
何满喜，曹飞龙主编2011 年出版187 页ISBN：9787030318657
本书重点介绍计算机上常用的典型数值计算方法和基本理论。主要内容包括数值计算中的误差分析；线性方程组与非线性方程组的解法；矩阵特征值与特征向量的计算方法；非线性方程求根的方法；数值逼近的插值法与数据拟...
（瑞士）曼纽尔·阿曼（Manuel Ammann）著；杨玉明译2004 年出版270 页ISBN：7302093857
本书介绍信用风险评估模型的高级理论，运用众或有要求取分析中发展而来的理论，为信用风险定价；概括时下信用风险评估理论，从交易对手风险为关注点，分析信用风险模型在金融街的产品定价中的几种应用。本书介绍最流...
石长岩主编2014 年出版253 页ISBN：9787551705370
红透山矿开采历经五十余年，为目前国内累计开采深度及开拓深度最大的金属矿山，专著在简略总结矿山开采历史的基础上，概要介绍了矿山地质条件以及各主要生产系统现状，围绕地压管理、采矿方法、通风、充填等重点技...
黄乐天，范兴山，彭军等编著2015 年出版142 页ISBN：9787560637709
2011年Altera公司发布支持利用OpenCL来开发FPGA的SDK工具以后，采用CPU+FPGA异构计算系统的基本架构和开发方法，本书主要介绍了FPGA异构计算系统的基本架构和开发方法，并以多个不同的案例为读者展示如何利用几...
钟山主编；王星贤本册主编；李洪国本册副主编2012 年出版298 页ISBN：7538287116
本书针对初中重难疑点内容的学习，重难题目的解决，备考应试与同步学习的零距离对接等问题给出了实用详细的方法指导。同时，本书引用“图解新教材”的图解方式，以插画、图解、图文并茂的编排方式轻松活泼呈现。本...
孔红著2013 年出版236 页ISBN：9787562049166
分析表列是20世纪50年代由Beth与Hintikka等人建立、后由Smullyan加以发展的一种形式证明方法，基于分析表列方法的逻辑系统称为表列系统。表列系统与公理系统、自然推理系统一样，是目前最为流行的逻辑证明方法...
（苏）格梁德科夫（Глядков，В.А.）著；汤侠生等译1989 年出版266 页ISBN：7010004846
本书共分四章。第一章研究否定之否定这一规律的理论来源，现代否定之否定理论的产生；第二章和第三章对这一规律的基本问题和理论概念作出实质性的阐释，具体分析了这一规律的特点、概念特征；第四章阐述了这一规律...
