面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

昆虫的私生活

（英）马琳·祖克著；王紫辰译2017 年出版357 页ISBN：9787100124324

《昆虫的私生活》译自美国著名昆虫学家马琳祖克（Marlene Zuk）教授撰写的有关昆虫研究的科普著作Sex on Six Legs。中文译稿约有210千字。《昆虫的私生活》是一本趣意盎然、引人入胜的小书，主题是昆虫的行为。...

当代中国少数民族地区经济史

黄健英编著2016 年出版387 页ISBN：9787566011152

经过60年的建设，少数民族地区经济在具有中国经济发展的共性特征的同时，也表现出明显的区域和民族特征，而民族区域自治制度和各项民族经济政策的实施，又使民族地区经济发展具有特殊性。在大部分当代中国经济史研...

思想道德修养与法律基础课程主体性实践教学活动指导

李林英主编2016 年出版188 页ISBN：9787568223836

本书在教材定位上以教学实践主体性、实践性、体验性相统一为原则，注重主体性教学的理论阐释，结合实践教学案例经验。设计上突出强调以学生的经验、社会实际、日常生活为核心，以主题的形式对课程资源进行整合，有...

第七情报员

（英）伊恩·弗莱明（Ian Fleming）著2007 年出版210 页ISBN：7561339356

传奇特工007－詹姆斯·邦德驰骋荧屏40年，经典电影原著小说中国大陆首次引进出版、震撼登陆。 詹姆斯·邦德横空出世——他是《第七情报员》，“全世界最有魅力的男演员”、国际著名影星肖恩·康纳利倾情主演并因...

成功演示 商务发言宝典

（英）萨拉·迪金森（Sarah Dickinson）著；于秀丽译2003 年出版259 页ISBN：7800736423

献给每一位需要当众表现的经理人、企业家、中层主管和业务人员：当发言臻于完美时，你是在享受而不是攻克每一次演讲，你的思想和自我也在其间得到清洗和提升，这便是商务演讲的最高境界。没有谁是天生的演讲家，是反...

企业生存策略 将人置于企业目标的核心

（英）琳达·格莱顿著；王巧艳译2003 年出版250 页ISBN：7505385496

当今世界，企业生存的环境越来越复杂和困难，在这个竞争越来越激烈的世界，制定什么样的战略，并采取何种策略才能够保持企业的可持续发展。本书作者琳达·格莱顿教授是伦敦商学院副教授，对企业生存策略中人力资源管...

韦尔斯世界简史 最适合大家阅读的简明世界史 彩色插图本

（英）韦尔斯（H. G. Wells）著；郭清香译2004 年出版472 页ISBN：7221064768

H·G·韦尔斯，英国著名作家。早年在一家布店当过学徒，后毕业于英国皇家学院。曾尝试以教书为生，却以新闻和文学创作闻名于世。其所著《时间机器》、《隐身人》为现代科幻小说开山之作。一生涉猎甚广，虽不是历史...

如何受人欢迎

（英）（A.赖特）Andrew Wright著；鲁彩霞，杨宏伟注1998 年出版105 页ISBN：7560014534

学习语言离不开阅读。对缺乏英语语言环境的中国英语学习者而言，广泛的阅读尤其重要。许多传统的英语阅读材料语言艰深，信息性局限，趣味性不高，往往与实际生活相脱节。读者很难从中直接获取生活的灵感从而提高自...

莎士比亚戏剧故事集

绘画；（英）约翰·吉尔伯特译者深幻2004 年出版233 页ISBN：7200050822

编辑推荐：一千个人眼中有一千个哈姆雷特，莎士比亚的魅力经久不衰。威廉·莎士比亚，堪称英国最伟大的文学家。他一生的作品数量可观，但现今传世的仅有37部戏剧、154首十四行诗和2首长诗。莎翁的成就并不单纯在于...