(德)霍尔格·阿佩尔(Holger Appel),(德)克里斯托弗·海茵(Christoph Hein)著;刘海宁译1999 年出版268 页ISBN:7214023415
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
(德)瑙海姆,(德)伯尔彻,(德)诺瓦克著2014 年出版547 页ISBN:9787111415152
本书共分17章,全面地叙述了汽车变速器的开发过程。内容主要包括:交通—车辆—传动系统回顾、动力传递基础、传动比选择、汽车变速器系统的基本设计原理、汽车变速器的典型设计、重要部件(如换档机构、起步元件...
(德)哈德,(德)舒马赫著;银晓鲲译2006 年出版96 页ISBN:7501547556
本书为德国儿童侦探小说,故事后附有与案情相关的问题与答案,具趣味性和故事性。
(德)雅各布·格林,(德)威廉·格林著;孙秀芬译;余良丽主编2018 年出版216 页ISBN:9787536488434
《格林童话》选录了最受孩子们喜爱的一些故事,如美丽的《白雪公主》、淘气的《小红帽》、聪明乐观的《不莱梅的音乐家》、温柔帅气的《青蛙王子》和幸运的《灰姑娘》等经典童话。这些故事情节曲折生动,文字优...
(德)米莱娜·拜雪著;梅宁译;(德)绍亚·费德勒著;冯艳容译2004 年出版96 页ISBN:7533244524
本书包括多篇小说。书中主要介绍了一群秘密侦探俱乐部的小侦探,凭借自己的聪明才智,揭开一个个谜团,侦破了一个个疑案的故事。
(德)萨布里娜·库弗著;(德)卡尔-海因茨·霍乐林等绘;陈妙新译2015 年出版23 页ISBN:7121245167
《本尼随时看》是从德国引进的幼儿启蒙图书。全套包含165个分册,内容涵盖儿童文学、幼儿科普两大类。“发现世界”是孩子的天性,本分套包含1-55共55个分册。该辑为孩子们讲述了身边不能不知的小科学。不仅有...
(德)凯雅·瑞德著;(德)君特·雅各布绘;徐胤译;任溶溶审译2014 年出版28 页ISBN:9787513550505
《小女巫的魔法之旅》:小女巫海默利娜决定独自到外面去冒险,她把备用魔法杖留给家里的朋友们,然后就出发了。冒险可真不是一件容易的事情啊,海默利娜的脚上磨出了水泡,摔进溪水里浑身湿透,还被蚂蚁钻进衣服里爬.....
(德)哈瑞特·格伦特曼著;(德)安珂·阿姆·博尔格图;时晓译2011 年出版56 页ISBN:9787514302165
这是一本绘本文学书。一本分四个篇章,一篇一个故事,故事分别从爱情和生活的不同阶段介入,故事中的人物或者正处在寻找幸福的阶段,或者刚刚获得幸福开始热恋,或者已经从热恋期进入磨合期,作者就着这些傻傻的漫画.....