Introduction to Stochastic Analysis

  • Length: 288 pages
  • Publication Date: 2011-08-15

Formal Methods: Industrial Use from Model to the Code

  • Length: 384 pages
  • Publication Date: 2012-06-18

Program Specialization

  • Length: 544 pages
  • Publication Date: 2012-12-26

Textual Information Access: Statistical Models (ISTE)

  • Length: 448 pages
  • Publication Date: 2012-05-14

Static Analysis of Software: The Abstract Interpretation (ISTE)

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

User-Centered Agile Method

  • Length: 128 pages
  • Publication Date: 2013-05-20

Computer Architecture

  • Length: 384 pages
  • Publication Date: 2012-12-26

Fundamentals of Software Testing

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