Fundamental Networking in Java

  • Length: 399 pages
  • Publication Date: 2005-09-01

Handbook of Service Description: USDL and Its Methods

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

Principles and Practice of Constraint Programming – CP 2011

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

Models in Software Engineering

  • Length: 428 pages
  • Publication Date: 2011-08-03

Software Engineering and Formal Methods

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

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

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

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

Algebraic and Numeric Biology

  • Length: 195 pages
  • Publication Date: 2012-01-12