-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
算法 I-IV C 实现 基础、数据结构、排序和搜索
(美)Robert Sedgwick著2003 年出版702 页ISBN:7508314816本书作者彻底重写并充分扩展了该书的前几个版本,对各个领域中当前流行的主要算法和数据结构进行了讲解。书中介绍了很多新算法,并且针对每一种算法做出了详细解释,其程度超过了以往的各个版本。创新且详细的文...
-
Pattern-Oriented Analysis and Dwesign
[美]Sherif M.Yacoub Hany H.Ammar 著2004 年出版372 页ISBN:7508322096设计模式有着巨大威力,但要构建健壮的大规模系统,这还远远不够。面向模式的分析和设计(POAD)介绍了一种新的方法学,用以“组合”设计模式来构建可靠的、健壮的大规模软件系统。使用POAD,你就能快速构建更健壮、更...
-
高级英语视听说教程 引进改编版 2
Phyllis L. Lim,William Smalzer著 贾国栋主编;《高级英语视听说教程》改编组编2005 年出版170 页ISBN:704017930X本书是高等教育出版社原版引进的美国汤姆森学习集团公司的高级听力系列教材。这套训练英语听力技巧、记录能力的教材,旨在帮助中国学生提高英语听、记和口语能力,同时介绍美国。内容涉及美国政治、经济、社会...
-
-
恒久漂游在“回家”的路上 21世纪以来诺贝尔文学奖获得主作品的全球圆形流散
王刚著2016 年出版156 页ISBN:9787514170474本专著立足于对21世纪以来的6位作家—2001年诺奖得主英国作家奈保尔、2010年诺奖得主秘鲁作家略萨、2012年诺奖得主中国作家莫言、2013年诺奖得主加拿大作家门罗、2014年诺奖得主莫法国作家迪亚诺、2015年...
-
PHOTOSHOP CC2015数码照片处理从入门到精通
创锐设计著2016 年出版464 页ISBN:9787111543664在数码摄影时代,要得到一幅优秀的摄影作品并不是按下快门那么简单,对数码照片进行后期处理已成为其中不可或缺的关键一步。本书以Photoshop CC 2015为软件平台,以实际应用为主导思想,结合编者多年的实践经验,全...
-
以案说理 《消费者行为学》自创小说及要义解析
《消费者行为学》实践课题组著2016 年出版204 页ISBN:97875096439382015年,《消费者行为学》实践课题组在指导老师郭震的代领下展开了消费者行为学体验与实践的小说写作,即在一个学期60个课时的时间里,通过设计、参与、评估一个完整的营销活动实践,让学生一次性感知、经历、应用...