当前位置:首页 > (德)Eva-Maria Dombrowski著相关PDF电子书下载
-
-
高阶逻辑辅助证明系统
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
汽车变速器理论基础、选择、设计与应用
(德)瑙海姆,(德)伯尔彻,(德)诺瓦克著2014 年出版547 页ISBN:9787111415152本书共分17章,全面地叙述了汽车变速器的开发过程。内容主要包括:交通—车辆—传动系统回顾、动力传递基础、传动比选择、汽车变速器系统的基本设计原理、汽车变速器的典型设计、重要部件(如换档机构、起步元件...
-
-
-
被禁的神庙 来自因特网的危险
(德)米莱娜·拜雪著;梅宁译;(德)绍亚·费德勒著;冯艳容译2004 年出版96 页ISBN:7533244524本书包括多篇小说。书中主要介绍了一群秘密侦探俱乐部的小侦探,凭借自己的聪明才智,揭开一个个谜团,侦破了一个个疑案的故事。
-
本尼随时看 动物宝宝
(德)萨布里娜·库弗著;(德)卡尔-海因茨·霍乐林等绘;陈妙新译2015 年出版23 页ISBN:7121245167《本尼随时看》是从德国引进的幼儿启蒙图书。全套包含165个分册,内容涵盖儿童文学、幼儿科普两大类。“发现世界”是孩子的天性,本分套包含1-55共55个分册。该辑为孩子们讲述了身边不能不知的小科学。不仅有...
-
-
-
