Objects, Abstraction, Data Structures and Design: Using C++

  • Length: 832 pages
  • Publication Date: 2005-10-20

Algorithms and Architectures for Parallel Processing, Part II

  • Length: 429 pages
  • Publication Date: 2011-12-05

Agents in Principle, Agents in Practice

  • Length: 547 pages
  • Publication Date: 2011-12-15

Ambient Intelligence

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

Software Engineering and Formal Methods

  • Length: 518 pages
  • Publication Date: 2011-12-20

Model and Data Engineering

  • Length: 299 pages
  • Publication Date: 2011-11-01

Testing Software and Systems

  • Length: 236 pages
  • Publication Date: 2011-12-20

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