面向计算机科学的数理逻辑 系统建模与推理 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，你就能快速构建更健壮、更...
HOW CAN WE TALK ABOUT THAT? OVERCOMING PERSONAL HANG-UPS SO WE CAN TEACH KIDS THE RIGHT STUFF ABOUT
2002 年出版324 页ISBN：9780787959142
UNIX系统第4版 程序员指南 系统服务和应用软件打包工具 Programmer's guide System services and application packaging tools
李建国等译1992 年出版297 页ISBN：7505315528
Python Machine Learning By Example Easy-to-follow examples that get you up and running with machine
Yuxi(Hayden)Liu2017 年出版242 页ISBN：1783553112
社交电视 系统关键支撑技术与应用案例 system key supporting technology and application
叶志强编著2016 年出版222 页ISBN：9787504375469
本书是一本系统介绍社交电视技术架构、关键支撑技术及行业应用案例的专业书籍。英国电视制作和发行公司Shine Limited首席执行官伊丽莎白·默多克在2011全美电视节目高管协会（NATPE）的年会上表示：“社交网络是...
College Enhlish focus listening and speaking book2 teacher's book third edition=大学英语 听说 2 教师用书 第三版
虞苏美，李慧琴主编；毛士国，关肇远，李慧琴，邹瑶美，虞苏美编者2014 年出版226 页ISBN：7544623087
HODGE理论和L2分析 = HODGE THEORY AND L2-ANALYSIS
LIZHENG JI2017 年出版600 页ISBN：9787040477771
Steven Zucker教授在代数几何中的Hodge理论、L^2和L^p (p ≠ 2)上同调以及局部对称空间的紧化等领域做出了重要的贡献，并于20世纪80年代提出了著名的Zucker猜想。本书的内容涉及了Zucker教授研究和关注的相...
有限元分析 ANSYS理论与应用 Theory and application with ANSYS
（美）Saeed Moaveni著；王崧，董春敏，金云平等译2005 年出版588 页ISBN：712101565X
本书精辟地讲解了有限元分析的理论，同时还给出了针对实际问题的ANSYS建模方法。ANSYS是全书的主体。本书的主要内容涉及到有限元分析的基本思想、一维单元、二维单元和三维单元的有限公式及应用，详细讨论了桁...
可靠性与维修性工程概论 An Introduction to Reliability and Maintainaility Engineering 英文 eng
（美）埃贝灵（Ebeling，C.E.）著2008 年出版486 页ISBN：9787302177548
本书是在国外被广泛采用的可靠性工程方面的入门教材，对概念、模型、方法等的阐述清晰易懂。内容主要有3部分：第1部分为基本模型，包括失效分布与模型、系统可靠性、可靠性物理模型、可靠性与维修性设计、可用性...
