Formal Methods: Foundations and Applications

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

Conceptual Models: Core to Good Design

  • Length: 110 pages
  • Publication Date: 2011-12-12

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

Reliable Knowledge Discovery

  • Length: 326 pages
  • Publication Date: 2012-03-31

Drupal For Dummies

  • Length: 384 pages
  • Publication Date: 2009-12-29

Guide to Web Development with Java: Understanding Website Creation

  • Length: 401 pages
  • Publication Date: 2012-03-31

Certified Programs and Proofs

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

Advances in Artificial Intelligence, part I

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

SDL 2011: Integrating System and Software Modeling

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

Advances in Soft Computing

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

Security of Mobile Communications

  • Length: 630 pages
  • Publication Date: 2009-07-27