面向计算机科学的数理逻辑 系统建模与推理 modellin<em>gem> and reasonin<em>gem> about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
（比）吉贝尔·德莱雅著2009 年出版21 页ISBN：9787539430850
《玛蒂娜故事书系列第4辑(第16-20册)(套装共5册)》内容简介：“玛蒂娜”系列围绕一个名叫玛蒂娜的小淑女的形象，描画了她的生活、学习、游戏、娱乐、交友、体育、旅游等一系列女孩成长过程中的点点滴滴，以场景...
（德）特奥多尔·霍夫曼（Theodor Hoffmann）著；王建政等译2001 年出版456 页ISBN：7544301141
东德末任军职国防部长及国家人民军总司令，从个人的角度描述了两个历史性日期——1989年11月9日柏林墙倒塌之日和1990年10月3日两德统一之日——间的日日夜夜。 这是一个政治与社会发生深刻变化的历史时期，国...
（德）霍尔斯特·佩特里（Horst Petri）著；陈瑛，王绪梅译2003 年出版266 页ISBN：7800969940
21世纪如何做父亲？本书诚挚告诉我们：怎样做丈夫，怎样做父亲。继世界畅销书《穷爸爸、富爸爸》之后，德国出版界又推出一部“爸爸”系列之作——《好爸爸、坏爸爸》。女人们对“新型父亲”有什么要求——男人们对...
（德）阿尔弗雷德·德布林著；罗炜译2018 年出版570 页ISBN：9787532776535
德国文学史中第一部重要的大都市长篇小说，现代小说史中的一个里程碑。小说描述：弗兰茨同妻子发生口角失手致其丧命，被判四年徒刑，出狱后决心重新做人，他白天在亚历山大广场卖报纸和小商品，晚上去小酒店消磨时间.....
（美）拿破仑·希尔（Napoleon Hill）原著；黄河浪主编2002 年出版777 页ISBN：7544303608
拿破仑·希尔鼓舞了千百万的世人。他是美国成功学励志专家，成功学、创造学、人际学的世界顶尖培训大师。他的著作《成功规律》、《人人都能成功》、《思考致富》等被译成26种文字，在34个国家和地区出版发行，畅...
（英国）鲁约德·吉卜林原著；诚意，康庆译；杨武能主编1999 年出版222 页ISBN：7541118052
这本书的作者名字叫做鲁约德·吉卜林，他是1907年诺贝尔文学奖的获得者。吉卜林的文学生涯是从儿童文学开始的。这部《白海豹》一共由七个单篇故事组成，每篇都具有浓烈的传奇色彩。第一篇《白海豹》讲述的是一...
（美）海伦·凯勒（Helen Keller）原著；夏志强编译2006 年出版351 页ISBN：7104023186
《假如给我三天光明:海伦·凯勒自传》(插图珍藏本)作者海伦·凯勒，美国最著名“盲聋哑人”，著名作家，被誉为“人类意志力的伟大偶像”。著名作家马克·吐温说，“19世纪有两个值得关注的人，一个是拿破仑，另一个就...
（德）乌尔利希·贝克著；李荣荣译2016 年出版198 页ISBN：7532770362
本书是上海文化发展基金资助项目。本书是德国著名社会学家贝克的最新作品，也是他将其“风险社会”理论和“个体化”理论结合，对宗教问题进行论述的一本精彩之作。贝克认为，作为“欧洲现代性危机”的宗教危机、...
（德）西碧拉·莱维查洛夫著；顾苏译2016 年出版301 页ISBN：7532770257
小说《布鲁门贝格》架构在真实存在的哲学家身上，最近一家德国出版社将他的一些未曾出版过的手稿重新整理，从中截取出有关“狮子”的古老和现代故事的笔记，形成一本名为《狮子们》的著作。而西碧拉·莱维查洛夫...
