面向计算机科学的数理逻辑 系统建模与推理 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）资料齐全，能反映最新...
UNIX系统第4版 程序员指南 系统服务和应用软件打包工具 Programmer's guide System services and application packaging tools
李建国等译1992 年出版297 页ISBN：7505315528
THE TURN FROM THE COLD WAR TO A NEW ERA THE UNITED STATES AND THE SOVIET UNION 1983-1990
DON OBERDORFER1992 年出版514 页ISBN：067179230X
Python Machine Learning By Example Easy-to-follow examples that get you up and running with machine
Yuxi(Hayden)Liu2017 年出版242 页ISBN：1783553112
上下级法院审判业务关系研究＝A RESEARCH ON ADJUDICATIVE RELATIONSHIP BETWEEN THE HIGHER LEVEL OP COURT AND THE LOWE
左卫民丛书主编；杜豫苏著2015 年出版0 页ISBN：
社交电视 系统关键支撑技术与应用案例 system key supporting technology and application
叶志强编著2016 年出版222 页ISBN：9787504375469
本书是一本系统介绍社交电视技术架构、关键支撑技术及行业应用案例的专业书籍。英国电视制作和发行公司Shine Limited首席执行官伊丽莎白·默多克在2011全美电视节目高管协会（NATPE）的年会上表示：“社交网络是...
Managing your solvency : a guide to insolvency and how to ensure that you continue as a going concer
ed. by Michael Norton.1994 年出版154 页ISBN：
