软件可靠性方法

（以）佩莱得著2012 年出版199 页ISBN：9787111365532

本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。紧紧围绕逻辑和自动机理论这条主线，书中比较了这些方法的不同之处，并讨论了它们...

试毒者

（意）迪芬得著；埃尔博林英译；刘毅译2006 年出版229 页ISBN：7536675984

乌格·迪芬得，是意大利宫廷中一位公爵的食物品酒师，从1529年的夏天到1534年的冬天一直在意大利从事这个职业。他以第一人称讲述自己的奇异的故事情节，包括那些令人难忘的值得纪念的一餐、他的爱情经历以及多次...

不一样的数学故事 6

少军，张秀丽，米吉卡主编；梦小得著2014 年出版151 页ISBN：9787532885381

用幽默易懂，简洁优美的语言叙述了怪怪老师和学生发生在课堂上的有趣故事，故事就像《神奇校车》那样不受时间，空间限制，充满想象力，同时又能将数学原理很好地融入到故事里。在提高学生阅读水平的同时，让他们理解.....

不一样的数学故事 5

少军，张秀丽，米吉卡主编；梦小得著2014 年出版152 页ISBN：9787532885374

用幽默易懂，简洁优美的语言叙述了怪怪老师和学生发生在课堂上的有趣故事，故事就像《神奇校车》那样不受时间，空间限制，充满想象力，同时又能将数学原理很好地融入到故事里。在提高学生阅读水平的同时，让他们理解.....

丈夫使用手册

（韩）金相得著2010 年出版130 页ISBN：9787208086647

《丈夫使用说明书》从一个普通丈夫的角度出发写作的小书，从丈夫的“栖息之地”，“出没时间”，“固有习性”等等出发描写夫妻生活，力图将“丈夫”这种特殊生物的种种特点，用可见的、量化的归类展现在读者眼前。虽...

罗马法教科书 2017年校订版

（意）彼德罗·彭梵得著；黄风译2017 年出版472 页ISBN：9787562078098

本书研究的基本对象是优士丁尼罗马法，即由东罗马皇帝优士丁尼于公元六世纪编纂的罗马法律和学说，包括该皇帝自己的立法。本书遵循盖尤斯的教科书体系，同样以人、物和诉讼为中心再现罗马私法的特有框架。同时作...

不一样的语文故事 2

少军，张秀丽，米吉卡主编；梦小得著2016 年出版105 页ISBN：9787532892839

此系列图书共分六册，用幽默易懂、简洁优美的语言叙述了怪怪老师和学生发生的有趣故事。语文课堂上来了一位会魔法的怪怪老师，将语文变得奇幻、有趣且丰富。可爱的小学生们皮豆、蜜蜜、女王、十一、博多等，延续...

不一样的语文故事 6

少军，张秀丽，米吉卡主编；梦小得著2016 年出版113 页ISBN：9787532892877

此系列图书共分六册，用幽默易懂、简洁优美的语言叙述了怪怪老师和学生发生的有趣故事。语文课堂上来了一位会魔法的怪怪老师，将语文变得奇幻、有趣且丰富。可爱的小学生们皮豆、蜜蜜、女王、十一、博多等，延续...

变压器工程 设计 技术与诊断 原书第2版

（印度）S.V.库卡尼，S.A.科哈帕得著；陈玉国译2016 年出版539 页ISBN：9787111539544

本书由2013年出版于美国的《Transformer Engineering:Design,Technology,and Diagnostics(Second Edition)》英文版译出，书中系统全面地介绍了变压器设计、技术与诊断的主要理论与应用。全书共15章，内容主要...

希特勒的女明星 纳粹电影中的明星身份和女性特质

（美）安特耶·阿舍得著2009 年出版305 页ISBN：9787208086302

克里斯蒂娜·泽德尔鲍姆、莉莲·哈维和莎拉·莱安德，戈培尔“娱乐产业”中的“完美化身”，银幕上璀璨的明星。她们既受制于纳粹政府强硬的宣传控制，又被控于市场自由经济本质的欲望。本书通过对这三位女影星在...