High Performance Embedded Architectures and Compilers

  • Length: 377 pages
  • Publication Date: 2010-03-05

Developments in Language Theory

  • Length: 503 pages
  • Publication Date: 2009-08-06

Formal Verification of Object-Oriented Software

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

Model Checking Software

  • Length: 273 pages
  • Publication Date: 2010-12-09

Trust Networks for Recommender Systems

  • Length: 248 pages
  • Publication Date: 2011-09-21

Algorithmic Learning Theory

  • Length: 466 pages
  • Publication Date: 2011-10-19

Proceedings of the 10th Asian Logic Conference

  • Length: 393 pages
  • Publication Date: 2010-01-30

Discrete, Continuous, and Hybrid Petri Nets, 2nd Edition

  • Length: 576 pages
  • Publication Date: 2010-01-15

Programming Microsoft LINQ in Microsoft .NET Framework 4

  • Length: 704 pages
  • Publication Date: 2010-12-08

Graph Transformations and Model-Driven Engineering

  • Length: 782 pages
  • Publication Date: 2011-01-19