（以）佩莱得著2012 年出版199 页ISBN：9787111365532
本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。紧紧围绕逻辑和自动机理论这条主线，书中比较了这些方法的不同之处，并讨论了它们...
（以）亚里·拉登伯格，（加）夏罗默·迈特尔著；司哲，张哲译2014 年出版191 页ISBN：9787111466963
人类宝贵的品质——创造力已钝化。为什么？政治家、老师、家长让你无条件地服从命令，不做独立思考。因为这样的思想扰乱现有秩序和别人的地位。而我希望说服你，通过阅读本书，开启创造性思维，因为你是自由的个体。...
（英）以塞亚·伯林著2011 年出版343 页ISBN：9787544715812
在本书所收录的九篇文章中，以赛亚·伯林探讨了近三个世纪以来主导了欧洲历史发展的一些核心观念，尤其是追溯了民族主义、自由主义和马克思主义这样一些重要思想潮流的兴起与流变。伯林所探讨的主题包括：历史中...
（以）罗恩·莱瑟姆著2012 年出版307 页ISBN：9787544257060
本书是以色列现代长篇小说。作者罗恩·莱瑟姆为著名作家、记者、电视台导演、资深编辑。《美丽堡》于2006年一举夺得以色列最高文学奖Sapir Prize，由小说改编的同名电影获柏林国际电影节银熊奖和奥斯卡最佳...
（英）埃里克·坎贝尔（Eric Campbell）著；潘雯译；胡志明工作室插图2005 年出版168 页ISBN：7534234654
本书讲述了男孩艾伦从英国回到肯尼亚，发现家里发生了很多怪事，好朋友吉马赛也失踪了，为寻找事件真相，艾伦登上了乞力马扎罗山。吉马赛所属的查加族向来信奉“神豹之灵”，他必须完成“神豹之灵”交付的神秘任务。...
（美）大卫·E. 贝尔（David E. Bell），（美）沃尔特·J. 萨蒙（Walter J. Salmon）著；孙晓梅，高鹏译2006 年出版280 页ISBN：781084864X
本书通过9个模块、12个案例，对零售业所面对的定位、定价、组织管理、地点选择、扩张战略、邮购等主要问题进行了全方位的描述，概括了零售业近年来的研究发展，对各种零售形式在发展和扩张中遇到的问题和经验进...
（德）乌泽尔·舍夫勒著；（德）汉纳斯·格贝尔插图；朱显亮译2004 年出版93 页ISBN：7534231892
本书是适合6～9岁孩子阅读的冒险侦探小说。书中的主人公是一位经验丰富、精力充沛、充满智慧且风趣的老K探长。他们个性鲜明，富于正义感和探索精神。书中每章都附有一道谜题，要求读者自己动脑解答，全书附有神奇...
（德）乌泽尔·舍夫勒著；（德）汉纳斯·格贝尔插图；张维一译2004 年出版101 页ISBN：7534231884
本书是适合6～9岁孩子阅读的冒险侦探小说。书中的主人公是一位经验丰富、精力充沛、充满智慧且风趣的老K探长。他们个性鲜明，富于正义感和探索精神。书中每章都附有一道谜题，要求读者自己动脑解答，全书附有神奇...
