面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
Pattern-Oriented Analysis and Dwesign
[美]Sherif M.Yacoub Hany H.Ammar 著2004 年出版372 页ISBN：7508322096
设计模式有着巨大威力，但要构建健壮的大规模系统，这还远远不够。面向模式的分析和设计（POAD）介绍了一种新的方法学，用以“组合”设计模式来构建可靠的、健壮的大规模软件系统。使用POAD，你就能快速构建更健壮、更...
EASY MONEY THE GREATEST PONZI SCHEME EVER AND HOW IT IS SET TO DESTROY THE GLOBAL FINANCIAL SYSTEM
VIVEK KAUL2015 年出版361 页ISBN：9788132113447
THE CHINESE FOSSIL PEPTILES AND THEIR KIN SECOND EDITION
LI JINLING，WU XIAOCHUN，ZHANG FUCHENG2008 年出版474 页ISBN：7030212894
本书是一本以国内外古生物工作者为主要对象，具有极强实用性的专业书籍。它全面地收集了自1930年至2004年底所记述过的、发现于中国的化石两栖类、爬行类和鸟类的类元。本书的主要特点是：（1）资料齐全，能反映最新...
HOLLYWOOD'S DETECTIVES CRIME SERIES IN THE 1930S AND 1940S FROM THE WHODUNNIT TO HARD-BOILED NOIR
FRAN MASON2012 年出版187 页ISBN：0230578357
新历史主义文化诗学 格林布拉特批评理论研究 a study of Stephen Greenblatt's critical theories
王进著2012 年出版224 页ISBN：9787566803856
本书主要针对当代文学和文化批评理论的“文学性”和“历史性”问题，研究以当代美国文学批评家格林布拉特为代表的“新历史主义转向”的文化诗学理论，着重探讨了新历史主义诗学在言说语境、理论体系和价值观念...
向社会福祉跨越 中国老年社会福祉研究的新视角 a new approach to the study of eldly
陈立行，柳中权主编2007 年出版333 页ISBN：7802307198
“社会福利”是为了满足人们生存的基本需求而提供的一种物质援助，而社会福祉是一种平等、尊严、权利的保障制度。从社会发展的角度看，社会福利向社会福祉的过渡需要一个漫长的过程，这一过渡的实现是一个国家在...
日本农产品贸易保护的政治经济学研究 ＝ POLITICAL ECONOMY OF JAPANESE AGRICULTURAL TRADE ROTECTION
齐洪华著2015 年出版156 页ISBN：751009867X
本书主要从政治经济学的角度对日本的农产品贸易保护问题进行研究。首先根据当前国际局势的变化，对政治经济学中原有的“利益集团——政府”分析模型加以改进，加入WTO多边贸易规则和区域贸易协定两个新要素，形...
中国当代艺术家画传 王健 一个中国画家的美国传奇=WANG JIAN THE LENGEND OF A CHINESE ARTIST IN THE UNITED STATES
食指，许江主编；曲歌，王端廷撰文2008 年出版183 页ISBN：
基督教文化学刊 第25辑 2011春 经文辩读=Scriptural Reasoning Journal for the Study of Christian Culture
中国人民大学基督教文化研究所主办2011 年出版303 页ISBN：
本书为《基督教文化学刊》系列的第25辑，主题为“经文辩读”，有“理论与经典解读”、“基督教文化与文学研究”、“中国文化与基督教的对话”、“汉语基督教研究史料研究”和“基督教思想家研究”五个栏目。 ...
