(德)F.伦克著;(德)A.诺伊鲍尔著2008 年出版195 页ISBN:7020066879
塔里克和他的朋友萨利很高兴能有机会去帝王谷和考古学家的父亲一起体验发掘古墓的工作,突然发现有几件文物珍品不翼而飞!
(德)尤塔·鲍尔著/绘;刘海颖译2012 年出版57 页ISBN:9787543497542
《神奇的色彩女王》是我社已出版的启发精选国际大师名作绘本系列之一。书中描绘了色彩女王玛琳达和大臣红、黄、蓝三原色之间的波折故事。...
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
(德)碧尔吉特·格鲍尔·瑟斯特亨,(德)曼弗雷德·普劳恩著;魏萍译2017 年出版255 页ISBN:9787550292529
本书作为一本育儿类书籍,主要讲述了在宝宝出生后一年之内,父母会遇到的一些问题,并且为这些问题提供了解决方案,帮助父母及宝宝更多地度过他们相处的第一年。全书内容丰富,从宝宝出生前为宝宝准备的一系列婴儿用...
(德)耶尔格·迈德恩鲍尔(Jorg Meidenbauer)著;光军译1999 年出版434 页ISBN:7801276140
(德)鲍尔(Jurgen F. Baur),(德)施蒂尔纳(Rolf Sturner)著;申卫星,王洪亮译2006 年出版982 页ISBN:7503665009
本书为我社当代德国法学名著系列新书,并沿袭了该系列作者权威、翻译准确的一贯作风。本书出自当代德国著名法学家之手,内容全面、深入浅出,是针对年轻的法学工作者的一本优秀的法学教科书。本书上册早已面世且...