Pro Core Data for iOS, 2nd Edition

  • Length: 400 pages
  • Publication Date: 2011-11-23

R Graph Cookbook

  • Length: 272 pages
  • Publication Date: 2011-01-14

Formal Verification of Object-Oriented Software

  • Length: 209 pages
  • Publication Date: 2011-03-11

Model Checking Software

  • Length: 273 pages
  • Publication Date: 2010-12-09

Scientific Data Analysis using Jython Scripting and Java

  • Length: 464 pages
  • Publication Date: 2010-08-18

Pro DLR in .NET 4

  • Length: 328 pages
  • Publication Date: 2010-12-09

Graph Transformations and Model-Driven Engineering

  • Length: 782 pages
  • Publication Date: 2011-01-19

Engineering a Compiler, 2nd Edition

  • Length: 824 pages
  • Publication Date: 2011-02-21