Tag: Logic

Formal Verification of Object-Oriented Software Front Cover

Formal Verification of Object-Oriented Software

  • Length: 209 pages
  • Publication Date: 2011-03-11
0
0 ratings
Model Checking Software Front Cover

Model Checking Software

  • Length: 273 pages
  • Publication Date: 2010-12-09
0
0 ratings
Trust Networks for Recommender Systems Front Cover

Trust Networks for Recommender Systems

  • Length: 248 pages
  • Publication Date: 2011-09-21
0
0 ratings
Algorithmic Learning Theory Front Cover

Algorithmic Learning Theory

  • Length: 466 pages
  • Publication Date: 2011-10-19
0
0 ratings
Proceedings of the 10th Asian Logic Conference Front Cover

Proceedings of the 10th Asian Logic Conference

  • Length: 393 pages
  • Publication Date: 2010-01-30
0
0 ratings
Combinatorial Algorithms: 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers Front Cover

Combinatorial Algorithms: 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers

  • Length: 429 pages
  • Publication Date: 2011-04-05
0
0 ratings
Transactions on High-Performance Embedded Architectures and Compilers IV Front Cover

Transactions on High-Performance Embedded Architectures and Compilers IV

  • Length: 445 pages
  • Publication Date: 2011-12-12
0
0 ratings
Discrete, Continuous, and Hybrid Petri Nets, 2nd Edition Front Cover

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

  • Length: 576 pages
  • Publication Date: 2010-01-15
0
0 ratings
Programming Microsoft LINQ in Microsoft .NET Framework 4 Front Cover

Programming Microsoft LINQ in Microsoft .NET Framework 4

  • Length: 704 pages
  • Publication Date: 2010-12-08
4.2
14 ratings
Graph Transformations and Model-Driven Engineering Front Cover

Graph Transformations and Model-Driven Engineering

  • Length: 782 pages
  • Publication Date: 2011-01-19
0
0 ratings
Formal Methods for Industrial Critical Systems Front Cover

Formal Methods for Industrial Critical Systems

  • Length: 243 pages
  • Publication Date: 2010-11-04
0
0 ratings
Graph Transformations Front Cover

Graph Transformations

  • Length: 431 pages
  • Publication Date: 2010-12-09
0
0 ratings