面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

Pattern-Oriented Analysis and Dwesign

设计模式有着巨大威力，但要构建健壮的大规模系统，这还远远不够。面向模式的分析和设计（POAD）介绍了一种新的方法学，用以“组合”设计模式来构建可靠的、健壮的大规模软件系统。使用POAD，你就能快速构建更健壮、更...

EASY MONEY THE GREATEST PONZI SCHEME EVER AND HOW IT IS SET TO DESTROY THE GLOBAL FINANCIAL SYSTEM

THE CHINESE FOSSIL PEPTILES AND THEIR KIN SECOND EDITION

本书是一本以国内外古生物工作者为主要对象，具有极强实用性的专业书籍。它全面地收集了自1930年至2004年底所记述过的、发现于中国的化石两栖类、爬行类和鸟类的类元。本书的主要特点是：（1）资料齐全，能反映最新...

新历史主义文化诗学 格林布拉特批评理论研究 a study of Stephen Greenblatt's critical theories

本书主要针对当代文学和文化批评理论的“文学性”和“历史性”问题，研究以当代美国文学批评家格林布拉特为代表的“新历史主义转向”的文化诗学理论，着重探讨了新历史主义诗学在言说语境、理论体系和价值观念...

向社会福祉跨越 中国老年社会福祉研究的新视角 a new approach to the study of eldly

“社会福利”是为了满足人们生存的基本需求而提供的一种物质援助，而社会福祉是一种平等、尊严、权利的保障制度。从社会发展的角度看，社会福利向社会福祉的过渡需要一个漫长的过程，这一过渡的实现是一个国家在...

日本农产品贸易保护的政治经济学研究 ＝ POLITICAL ECONOMY OF JAPANESE AGRICULTURAL TRADE ROTECTION

本书主要从政治经济学的角度对日本的农产品贸易保护问题进行研究。首先根据当前国际局势的变化，对政治经济学中原有的“利益集团——政府”分析模型加以改进，加入WTO多边贸易规则和区域贸易协定两个新要素，形...

基督教文化学刊 第25辑 2011春 经文辩读=Scriptural Reasoning Journal for the Study of Christian Culture

本书为《基督教文化学刊》系列的第25辑，主题为“经文辩读”，有“理论与经典解读”、“基督教文化与文学研究”、“中国文化与基督教的对话”、“汉语基督教研究史料研究”和“基督教思想家研究”五个栏目。 ...

UNIX系统第4版 程序员指南 系统服务和应用软件打包工具 Programmer's guide System services and application packaging tools

THE TURN FROM THE COLD WAR TO A NEW ERA THE UNITED STATES AND THE SOVIET UNION 1983-1990