Formal Methods: Foundations and Applications

  • Length: 215 pages
  • Publication Date: 2011-12-27

Pro Windows Embedded Compact 7: Producing Device Drivers

  • Length: 296 pages
  • Publication Date: 2011-11-30

Introduction to Programming with Fortran, 2nd Edition

  • Length: 641 pages
  • Publication Date: 2012-02-09

Certified Programs and Proofs

  • Length: 416 pages
  • Publication Date: 2011-12-13

SDL 2011: Integrating System and Software Modeling

  • Length: 285 pages
  • Publication Date: 2012-01-31

C# Database Basics

  • Length: 108 pages
  • Publication Date: 2012-02-07

Theory and Applications of Models of Computation

  • Length: 494 pages
  • Publication Date: 2010-07-16

Fundamental Approaches to Software Engineering

  • Length: 396 pages
  • Publication Date: 2010-04-21

Distributed, Embedded and Real-time Java Systems

  • Length: 388 pages
  • Publication Date: 2012-02-29

Big Java: Compatible with Java 5, 6 and 7

  • Length: 1168 pages
  • Publication Date: 2009-12-30

Android for Programmers: An App-Driven Approach

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

Beginning iOS Application Development with HTML and JavaScript

  • Length: 432 pages
  • Publication Date: 2012-02-01