(德)诺伯特·费什,(德)托马斯·威尔肯著;祝泮瑜译2015 年出版344 页ISBN:9787302411499
本书全面参考了建筑设计、能源规划以及建筑设备方面与产能标准相关的理念,展示了居住建筑、非居住建筑以及城市街区的实际案例,同时也展示了产能建筑标准在全球范围内的应用潜力。...
(德)霍尔格·阿佩尔(Holger Appel),(德)克里斯托弗·海茵(Christoph Hein)著;刘海宁译1999 年出版268 页ISBN:7214023415
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
(英)蒙特贝罗,(英)盖福特著2016 年出版248 页ISBN:9787532296354
蒙特贝罗曾任纽约大都会艺术博物馆馆长,历时31年(1997-2008年)。盖福特是一名艺术评论家。他们曾探访了世界各地的美术馆、教堂和博物馆,本书记述了他们的艺术之旅。不论身处卢浮宫、普拉多博物馆,还是毛里茨皇...
(美)弗雷德·考夫曼著;王晓鹏译2017 年出版355 页ISBN:9787508672274
本书是一本聚焦于企业管理和自我管理的作品。每个企业都希望成功,清醒地经营企业是走向成功的必要条件。一个清醒的企业,要求有清醒的管理者、清醒的员工、清醒的管理方式,有正确的价值观从而创造价值。那么,如...
张金涛主编;盖建民执行主编;蒋朝君著2014 年出版290 页ISBN:9787210067887
本书为《中国历代张天师评传》之第一卷,共写第一至第十二代张天师的生平情况。作为开创道教的老祖张陵天师,作者着墨最多,占全书近一半篇幅,对张陵在道教史上的文化历史地位,及其所开创的正一道派于中国宗教文化...
(德)瑙海姆,(德)伯尔彻,(德)诺瓦克著2014 年出版547 页ISBN:9787111415152
本书共分17章,全面地叙述了汽车变速器的开发过程。内容主要包括:交通—车辆—传动系统回顾、动力传递基础、传动比选择、汽车变速器系统的基本设计原理、汽车变速器的典型设计、重要部件(如换档机构、起步元件...
(德)哈德,(德)舒马赫著;银晓鲲译2006 年出版96 页ISBN:7501547556
本书为德国儿童侦探小说,故事后附有与案情相关的问题与答案,具趣味性和故事性。
(德)雅各布·格林,(德)威廉·格林著;孙秀芬译;余良丽主编2018 年出版216 页ISBN:9787536488434
《格林童话》选录了最受孩子们喜爱的一些故事,如美丽的《白雪公主》、淘气的《小红帽》、聪明乐观的《不莱梅的音乐家》、温柔帅气的《青蛙王子》和幸运的《灰姑娘》等经典童话。这些故事情节曲折生动,文字优...