Database management systems designing and building business applications = 数据库管理系统（英文版·第3版）
Gerald V. Post2006 年出版426 页ISBN：7111178521
本书涵盖了构建数据库前的两个关键主题：数据库设计（规范化）和SQL（查询）。这两个主题跨越所有主要的数据库系统。规范化说明了如何细致设计数据库以获得DBMS手段的能力。SQL是一种标准查询语言，事实上用于应用程序...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
永不震动的国：台湾基督教信仰与基督徒问题总探索=A Kingdom That Cannot be Shaken:Christianity and Christian Faith Research In
Paul Young著2007 年出版463 页ISBN：
企业文化、技术创新与企业绩效：匹配模式 深圳企业的案例分析与实证研究 an empirical research and some case analyses in Shenzhen
范诵著2006 年出版298 页ISBN：750585870X
本书深入研究和分析了企业非正式制度对企业成员技术创新行为的影响，不同模式企业文化下的技术创新方式案例分析。
对白剪辑：通往看不见的艺术=Dialogue Editing For Motion Pictures:A Guide to The Invisible Art
（美）John Purcell著2012 年出版0 页ISBN：
