（美）杰弗里·迈耶斯（Jeffrey Meyers）著；孙仲旭译2003 年出版479 页ISBN：7506016621
本书详细叙述了英国著名作家乔治·奥威尔的生平、思想、作品。
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
（美）佛瑞德著2012 年出版515 页ISBN：9787121175015
随着互联网的迅速发展，几乎所有工具软件和程序语言都支持的正则表达式也变得越来越强大和易于使用。本书是讲解正则表达式的经典之作。本书主要讲解了正则表达式的特性和流派、匹配原理、优化原则、实用诀窍...
（美）埃德蒙·伯克·费德曼（Edmund Burke Feldman）著2018 年出版122 页ISBN：9787534070655
作者从社会、经济、政治、心理、认知与道德五个维度研讨艺术教育与艺术教学质检的问题及意义。本书用哲学的思想将艺术家与美术教师相结合，并结合当下美术教师关心的热点，如批判性思维、消费美学、艺术与道德...
（美）Jeffrey D.Ullman，（美）Jennifer Widom著；岳丽华，龚育昌等译2003 年出版321 页ISBN：7111100956
本书重点介绍了数据库系统基本原理和使用方法，是一本全面的数据库方面经典教材。
