-
- 书名：Models of Computation: An Introduction to Computability Theory
- 作者：Maribel Fernández
- 语言：英文
- 出版年份：2009
-
- 书名：Logics of Specification Languages
- 作者：Dines Bjørner and Martin C. Henson
- 语言：英文
- 出版年份：2007
-
- 书名：Introduction to Operating System Design and Implementation
- 作者：Michael Kifer and Scott A. Smolka
- 语言：英文
- 出版年份：2007
-
- 书名：JBoss AS 7 Configuration, Deployment, and Administration
- 作者：Francesco Marchioni
- 语言：英文
- 出版年份：2011
-
- 书名：Java Software Solutions: Foundation of Program Design 7th Edition
- 作者：John Lewis and William Loftus
- 语言：英文
- 出版年份：2011
-
- 书名：Java Foundations: Introduction to Program Design & Data Structures 2nd Edition
- 作者：John Lewis, Peter DePasquale and Joseph Chase
- 语言：英文
- 出版年份：2010
-
- 书名：Java: An Introduction to Problem Solving & Programming 6th Edition
- 作者：Walter Savitch and Kenrick Mock
- 语言：英文
- 出版年份：2011
-
- 书名：iPhone 4S Made Simple: For all iPhones running iOS5
- 作者：Martin Trautschold, Rene Ritchie and Gary Mazo
- 语言：英文
- 出版年份：2011
-
- 书名：Introduction to Data Mining for the Life Sciences
- 作者：Rob Sullivan
- 语言：英文
- 出版年份：2011
-
- 书名：Introduction to Computer Graphics: Using Java 2D and 3D
- 作者：Frank Klawonn
- 语言：英文
- 出版年份：2008
