面向计算机科学的数理逻辑 系统建模与推理 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）资料齐全，能反映最新...
SHADES OF CORPORATE GOVERNANCE
顾成博2014 年出版261 页ISBN：9787551706094
本书专注于比较研究不同国家（主要是英国和德国）的公司法和公司治理方面的相关法律制度（包括相关的欧盟法规），以及相应法律制度建立的公司治理模式和机制下的利益关系人（如公司的员工，客户，供应商，借款银行，......
第五届全国结构工程学术会议论文集 第3卷 proceeding of the fifth national conference on structural engineering vol.3
中国力学学会主办编2222 年出版678 页ISBN：10004750
第五届全国结构工程学术会议论文集 第2卷 proceeding of the fifth national conference on structural engineering vol.2
中国力学学会主办编2222 年出版655 页ISBN：10004750
THE SALE OF A COUNTRY BEHIND THE SCENES AT THE CANADA-U.S.FREE TRADE NEGOTIATIONS OFFICE VOLUME 1
SHELLEY ANN CLARK2011 年出版231 页ISBN：9781465341402
The design of the UNIX operating system = UNIX 操作系统设计 (英文版)
Maurice J. Bach2006 年出版474 页ISBN：7111197658
本书以UNIX系统V为背景，全面、系统地介绍了UNIX操作系统内核的内部数据结构和算法。本书首先对系统内核结构做了简要介绍，然后分章节描述了文件系统、进程调度和存储管理，并在此基础上讨论了UNIX系统的高级问...
UNIX系统第4版 程序员指南 系统服务和应用软件打包工具 Programmer's guide System services and application packaging tools
李建国等译1992 年出版297 页ISBN：7505315528
