-
- 书名：Pro Core Data for iOS 2nd Edition
- 作者：Michael Privat and Robert Warner
- 语言：英文
- 出版年份：2011
-
- 书名：Pro .NET Best Practices
- 作者：Stephen Ritchie
- 语言：英文
- 出版年份：2011
-
- 书名：Principles of Digital Image Processing: Fundamental Techniques
- 作者：Wilhelm Burger and Mark J. Burge
- 语言：英文
- 出版年份：2009
-
- 书名：Principles of Digital Image Processing: Core Algorithms
- 作者：Wilhelm Burger and Mark J. Burge
- 语言：英文
- 出版年份：2009
-
- 书名：Practical Distributed Processing
- 作者：Phillip J. Brooke and Richard F. Paige
- 语言：英文
- 出版年份：2007
-
- 书名：Pattern Recognition: An Algorithmic Approach
- 作者：M. Narasimha Murty and V. Susheela Devi
- 语言：英文
- 出版年份：2011
-
- 书名：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
-
- 书名：Foundations of Algebraic Specification and Formal Software Development
- 作者：Donald Sannella and Andrzej Tarlecki
- 语言：英文
- 出版年份：2012
-
- 书名：Formal Refinement for Operating System Kernels
- 作者：Iain D. Craig
- 语言：英文
- 出版年份：2007
-
- 书名：Formal Models of Operating System Kernels
- 作者：Iain D. Craig
- 语言：英文
- 出版年份：2006
-
- 书名：Embedded Java Security: Security for Mobile Devices
- 作者：Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi and Sami Zhioua
- 语言：英文
- 出版年份：2006
