（美）戴尔格兰姆专业小组著2004 年出版444 页ISBN：7801457935
本书包括术语解释，各学科的大事记及各领域里的优秀人物的介绍，以术语解释为主体内容。
（瑞典）卡撒·英格玛森著2009 年出版371 页ISBN：9787503939846
本书讲述了一个女孩希望拥有的，安格妮斯（Agnes）差不多都有了完美得如同偶像剧。可是，上天似乎希望让不知人间痛苦的小公主体验一下人间疾苦。一夜之间，幸福土崩瓦解，面临的却是意想不到的坎坷与波折。...
（美）霍尔德曼（Halderman，J.D.），（美）米切尔（Mitchell，C.D.）著；刘存友，蒋琳，邢茜译2006 年出版161 页ISBN：7504554448
本书主要内容包括：点火系统运行、点火系统故障诊断与排除、示波器检测、计算机基础与操作、计算机传感器运行与诊断、电子燃油喷射运行与诊断、排放控制装置运行与诊断、发动机性能诊断。...
（美）劳伦斯·M.弗里德曼著2007 年出版790 页ISBN：7500432984
本书为美国艺术与自然科学院院士、斯坦福大学法学教授弗里德曼的代表作，曾荣获美国法学院协会奖，已成为美国大学法学院学生的经典性必读书。作为一部法社会学著作，作者以通俗易懂又妙趣横生的语言，阐述了美国从...
（联邦德国）卡尔·迪特利希·埃尔德曼著；华明等译1986 年出版528 页ISBN：11017·741
（美）保罗·柯文（P.A.Cohen.），（美）默尔·戈德曼（M.Goldman）主编；朱政惠等译2000 年出版256 页ISBN：7806275134
（英）弗里德曼文；（英）科特图；肖毛译2013 年出版26 页ISBN：9787538575422
外星人个个兴高采烈，因为明天就是圣诞节。这回他们不想偷内裤，只想把内裤来当礼物！外星人正在想各种办法，准备过一个最有意思的圣诞节。快来和他们一起行动吧：在忙碌的圣诞礼物作坊给圣诞老爷爷帮忙，给驯鹿穿上.....
（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
