彭刚编著2009 年出版222 页ISBN：9787301158593
本书是作者多年深入考察20世纪西方历史哲学的成果的结晶，包括对海登·怀特、安克斯密特、昆廷·斯金纳等著名史学理论家的专题研究，以及历史事实与历史解释、历史学的客观性等基本问题的新探索。其中，有部分内...
张晓军，张均著2006 年出版125 页ISBN：7562520941
本书以可持续发展论、系统论为理论基础，以系统分析、模型评价和GIS技术为评价方法和技术手段，提出了资源环境经济（REE）系统这一概念，构建了相应的理论框架、区域REE系统评价的指标体系和基于GIS技术的评价模型；并...
沈守愚著2008 年出版276 页ISBN：9787109126404
本书为沈守愚先生多年对哲学、史学研读成果。内容涉及西方文化哲学、西方经济学等内容。
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
ELECTRONIC STRUCTURE BASIC THEORY AND PRACTICAL METHODS
RICHARD M.MARTIN2017 年出版624 页ISBN：7519220877
《电子结构》是一部教科书，内容分为五个部分。第一部分介绍相关理论知识，重点讨论周期结构和能带论等。第二部分介绍密度泛函理论，重点讨论Kohn-Sham方法。第三部分介绍原子的重要预备知识，包括原子的电子结构...
INTRODUCTION TO MODERN METHODS OF QUANTUM MANY-BODY THEORY AND THEIR APPLICATIONS
ADELCHI FABROCINI2002 年出版413 页ISBN：
