-
- 书名：Temporal Logic and State Systems
- 作者：Fred Kr ̈ oger and Stephan Merz
- 语言：英文
- 出版年份：2012
-
- 书名：Foundations of Algebraic Specification and Formal Software Development
- 作者：Donald Sannella and Andrzej Tarlecki
- 语言：英文
- 出版年份：2012
-
- 书名：Windows 8 Hacks
- 作者：Preston Gralla
- 语言：英文
- 出版年份：2012
-
- 书名：jQuery: Novice to Ninja 2nd Edition
- 作者：Earle Castledine and Craig Sharkie
- 语言：英文
- 出版年份：2012
-
- 书名：Professional JavaScript for Web Developers 3rd Edition
- 作者：Nicholas C. Zakas
- 语言：英文
- 出版年份：2012
-
- 书名：Operating System Concepts 9th Edition
- 作者：Abraham Silberschats, Peter Baer Galvin and Greg Gagne
- 语言：英文
- 出版年份：2012
-
- 书名：JavaScript权威指南(第6版)
- 作者：David Flanagan
- 语言：中文
- 出版年份：2012
-
- 书名：What's New in Flash Player 11
- 作者：Joseph Labrecque
- 语言：英文
- 出版年份：2012
-
- 书名：What's New in Adobe AIR 3
- 作者：Joseph Labrecque
- 语言：英文
- 出版年份：2012
-
- 书名：Understanding PaaS
- 作者：Michael P. McGrath
- 语言：英文
- 出版年份：2012
