面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
EASY MONEY THE GREATEST PONZI SCHEME EVER AND HOW IT IS SET TO DESTROY THE GLOBAL FINANCIAL SYSTEM
VIVEK KAUL2015 年出版361 页ISBN：9788132113447
modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi
bran selic2014 年出版287 页ISBN：0124166199
Object-Oriented Analysis and Design with Applications
[美]布奇著2003 年出版520 页ISBN：7508318072
本书是面向对象分析和设计（OO）方面的绝对经典之作，为后来众多的作品所引用。本书推出当年，即荣获美国著名开发杂志《Software Development》颁发的Jolt Award 震撼大奖。作者Grady Booch是Rational公司的首席科...
Applying UML and Patterns—An Introduction to Object-Oriented Analysis and Design and the Unified Pro
[美]Craig Larman 著2004 年出版627 页ISBN：7508322045
本书是当今最畅销的介绍面向对象的分析/设计、迭代开发和UML的书籍。本书的目的是帮助开发人员或学生掌握关于面向对象的分析和设计的核心原理和最佳实践，并将它们真正应用到软件设计中去。本书的作者是颇有...
Applying UML and Patterns An Introduction to Object-Oriented Analysis and Design and the Unified Pro
[美]Craig Larman著2004 年出版627 页ISBN：7508322045
本书是当今最畅销的介绍面向对象的分析/设计、迭代开发和UML的书籍。本书的目的是帮助开发人员或学生掌握关于面向对象的分析和设计的核心原理和最佳实践，并将它们真正应用到软件设计中去。本书的作者是颇有...
UNIX系统第4版 程序员指南 系统服务和应用软件打包工具 Programmer's guide System services and application packaging tools
李建国等译1992 年出版297 页ISBN：7505315528
教育 公正与人之善 教育系统中的教育公平与教育平等 fairness and equality in the education system
（德）KirstenMeyer主编；张群等译2018 年出版158 页ISBN：9787567571488
由于人们对教育公平、教育目的、机会平等等问题的看法存在分歧，如何实现教育公平，尚无定论。目前，关于教育公平，学术界主要分为平等主义和充分教育两派，两派观点各有侧重。本文选取了双方论文共8篇，对教育公平......
社交电视 系统关键支撑技术与应用案例 system key supporting technology and application
叶志强编著2016 年出版222 页ISBN：9787504375469
本书是一本系统介绍社交电视技术架构、关键支撑技术及行业应用案例的专业书籍。英国电视制作和发行公司Shine Limited首席执行官伊丽莎白·默多克在2011全美电视节目高管协会（NATPE）的年会上表示：“社交网络是...
声音设计 电影中语言、音乐和音响的表现力 Sound design the expressive power of music， voice and sound effects in cinema e
David Sonnenschein著；王旭锋译2007 年出版258 页ISBN：9787308056908
本书内容包括电影声音设计的各个方面、各个环节，主要章节为声音设计的工艺流程、声音设计的创造性，从振动到感知，从感知到感觉，声音和叙事，声音设计的前景等。...
