L.T.F.Gamut2017 年出版430 页ISBN：9787100121293
全书分为两卷，第二卷介绍内涵逻辑(包括模态逻辑和时态逻辑)，范畴语法和类型论，内涵类型论。 这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍，它以自然语言语义研究为目的，主要介绍有关的...
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
（美）威廉·拉什杰（William Rathje），（美）库伦·默菲（Cullen Murphy）著；周文萍，连惠幸译1999 年出版307 页ISBN：7500424582
从纽约市斯坦顿岛海滨的巨大垃极山开始，作者揭示了垃圾在人类文明发展过程中的诸多奥秘。垃圾是人类存在的万年物证，有如一面文明之镜，忠实地反映了社会变适兴衰和人类的生活风貌。它并不歌颂英雄帝王，而是诉说...
（美）威廉·F.派纳（William F. Pinar）等著；张华等译2003 年出版536 页ISBN：7504123021
本书是继拉尔夫·泰勒《课程与教学的基本原理》之后美国最重要、最详尽的课程论教科书。这是一幅宏伟的历史画卷——论述了美国课程理论近170年的发展（1828—1994）；这是一部充满时代气息的巨著——重点论述了...
THE LATEST IN THE NEW YORK TIMES BOSTSELLING SERIES STAR TREK DARK VICTORY
WILLIAM SHATNER，JUDITH REEVES-STEVENS & GARFIELD REEVES-STEVENS1999 年出版305 页ISBN：
（美）Beverly L.Kirkpatrick，（美）James M.Kirkpatrick著；齐舒创作室译2001 年出版573 页ISBN：7508406397
AutoCAD已成为建筑和室内装潢领域中典型的图形设计软件，本书通过几个具体方案的设计，由浅入深讲解了AutoCAD 2000在建筑和室内装潢中的使用方法和技巧。本书共分四部分，第一部分讲解AutoCAD的绘图基础知识；第二...
（英）安德鲁·伯杰（Andrew J.Berger），（澳）约翰·加托纳（John L.Gattorna）著；马士华，游知译2002 年出版296 页ISBN：7505373838
电子商务改变了世界，改变了企业的运作模式，并重新唤起了人们对财富之源——供应链的重视。由于客户需求的多样化和具体化，因此以何种方式提供产品和服务已经成为业务流程的关键部分。产品开发与制造流程都必须...
MAKING DESEGREGATION WORK:A PROFESSIONAL'S GUIDE TO EFFECTING CHANGE
MARK A.CHESLER BUNYAN L.BRYANT JAMES E.CROWFOOT1981 年出版184 页ISBN：0803914563
LEGAL CONTROL OF WATER RESOURCES CASES AND MATERIALS SECOND EDITION
JOSEPH L.SAX ROBERT H.ABRAMS BARTON H.THOMPSON1988 年出版987 页ISBN：0314862285
INTERNATIONAL BUSINESS COMPETING IN TEH GLOBAL MARKETPLACE:POSTSCRIPT 2001 THIRD EDITION
CHARLES W.L.HILL2001 年出版692 页ISBN：0072430788
