-
- 书名：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
-
- 书名：Pro iOS 5 Tools: Xcode, Instruments, and Build Tools
- 作者：Brandon Alexander, J.Bradford Dillon and Kevin Y. Kim
- 语言：英文
- 出版年份：2011
-
- 书名：Pro iOS 5 Augmented Reality
- 作者：Kyle Roche
- 语言：英文
- 出版年份：2011
-
- 书名：Pro HTML5 Programming
- 作者：Peter Lubbers, Brian Albers, and Frank Salim
- 语言：英文
- 出版年份：2010
-
- 书名：Programming Languages: Principles and Practice 3rd Edition
- 作者：Kenneth C. Louden and Kenneth A. Lambert
- 语言：英文
- 出版年份：2011
-
- 书名：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
