-
- 书名：Compiler Construction: 13th International Conference
- 作者：Evelyn Duesterwald
- 语言：英文
- 出版年份：2004
-
- 书名：Beautiful Code
- 作者：Andy Oram and Greg Wilson
- 语言：英文
- 出版年份：2007
-
- 书名：Analysis for Computer Scientists: Foundations, Methods, and Algorithms
- 作者：Michael Oberguggenberger and Alexander Ostermann
- 语言：英文
- 出版年份：2011
-
- 书名：The Web Application Hacker’s Handbook 2nd Edition: Finding and Exploiting Security Flaws
- 作者：Dafydd Stuttard and Marcus Pinto
- 语言：英文
- 出版年份：2011
-
- 书名：Temporal Logic and State Systems
- 作者：Fred Kr ̈ oger and Stephan Merz
- 语言：英文
- 出版年份：2012
-
- 书名：Starting Out with C++ Early Objects 7th Edition
- 作者：Tony Gaddis, Judy Walters and Godfrey Muganda
- 语言：英文
- 出版年份：2010
-
- 书名：Sensing and Systems in Pervasive Computing: Engineering Context Aware Systems
- 作者：Dan Chalmers
- 语言：英文
- 出版年份：2011
-
- 书名：Proofs and Algorithms: An Introduction to Logic and Computability
- 作者：Gilles Dowek
- 语言：英文
- 出版年份：2011
-
- 书名：Pro Java 7 NIO.2
- 作者：Anghel Leonard
- 语言：英文
- 出版年份：2011
-
- 书名：Pro iOS Web Design and Development: HTML5, CSS3, and JavaScript with Safari
- 作者：Andrea Picchi
- 语言：英文
- 出版年份：2011
