面向计算机科学的数理逻辑 系统建模与推理 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，你就能快速构建更健壮、更...
荣宝斋藏册页 齐白石花鸟册 Album of flower-and-bird painting by Qi Baishi
齐白石绘2014 年出版16 页ISBN：9787500315407
齐白石，湖南湘潭人。曾任国立北平艺术专科学校名誉教授、北平美术作家协会名誉会长、中央美术学院名誉教授、中央文史馆研究馆员、中国人民对外文化协会理事、中国画院名誉院长、北京中国画研究会主席、全国...
一个陌生女人的来信 茨威格中短篇小说选 the selected stories of stefan zweig
（奥）斯蒂芬·茨威格著2015 年出版247 页ISBN：9787544745857
短篇小说《一个陌生女人的来信》为茨威格代表作之一。一个男子在四十一岁生日当天收到一封没有署名和地址的信，一个临死的女人，讲述了一个刻骨铭心的爱情故事，而故事的男主人公也就是收信的这个男人对此一无所...
NEW ESSAYS ON GO TELL IT ON THE MOUNTAIN
TRUDIER HARRIS编2007 年出版160 页ISBN：7301113854
詹姆斯·鲍德温的处女作《向苍天呼吁》自1953年出版以来，收到广泛阅读，得到批评家的普遍赞誉。尽管多数批评家认为小说基本上侧重美国黑人原教旨主义教堂及其对在这个传统文化中成长起来的人物的影响，这些学者...
高尔夫红宝书 中英文权威版 lessons and teachings from a lifetime in golf
（美）哈维·彭尼克（Harvery Penick），（美）巴德·施拉克（Bud Shrake）著；崔志强译2006 年出版288 页ISBN：7561336764
本书是美国著名高尔夫球教练哈维·佩尼克的最著名的作品。本书常居美国《纽约时报》畅销书榜，并且是最畅销的运动类书籍。本书介绍了作者总结一生中最实用的高尔夫技术指导和心得，无论初学者还是职业运动员都...
卫星网络中的资源管理：优化与跨层设计＝RESOURCE MANAGEMENT IN SATELLITE NETWORKS OPTIMIZATION AND COROSS-LAYER DESIGN
（意）GIOVANNI GIAMBENE编著2013 年出版0 页ISBN：
零差错 税收征管信息系统数据质量管理 the date quality management of taxation administration information system
程安亭主编2006 年出版318 页ISBN：7801179501
数据质量是信息管理系统能否正常运行的关键因数。随着税收信息化建设的不断推进，税收征管数据的质量高低，直接影响和决定着系统的运行效率和成败。本书从质量管理的角度，讨论税收征管信息系统中数据的质量管理...
大学生外语口语焦虑 自我图式的视角 for university students: in the view of self-schema
巫文胜著2014 年出版246 页ISBN：9787210063308
图式是指人脑中已有的知识经验的网络。而自我图式是指个体在以往经验基础上形成的对自己的概括性的认识。本书是从心理学自我图式角度探讨外语口语焦虑的专项研究。作者以大学生为实验对象，在实证研究的基础...
