-
- 书名：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
-
- 书名：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
