Tag: Logic

Formal Methods: Foundations and Applications Front Cover

Formal Methods: Foundations and Applications

  • Length: 215 pages
  • Publication Date: 2011-12-27
0
0 ratings
Certified Programs and Proofs Front Cover

Certified Programs and Proofs

  • Length: 416 pages
  • Publication Date: 2011-12-13
0
0 ratings
Theory and Applications of Models of Computation Front Cover

Theory and Applications of Models of Computation

  • Length: 494 pages
  • Publication Date: 2010-07-16
0
0 ratings
Fundamental Approaches to Software Engineering Front Cover

Fundamental Approaches to Software Engineering

  • Length: 396 pages
  • Publication Date: 2010-04-21
0
0 ratings
Algebraic and Numeric Biology Front Cover

Algebraic and Numeric Biology

  • Length: 195 pages
  • Publication Date: 2012-01-12
0
0 ratings
High Performance Embedded Architectures and Compilers Front Cover

High Performance Embedded Architectures and Compilers

  • Length: 377 pages
  • Publication Date: 2010-03-05
0
0 ratings
Developments in Language Theory Front Cover

Developments in Language Theory

  • Length: 503 pages
  • Publication Date: 2009-08-06
0
0 ratings
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

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

Algorithmic Learning Theory

by , , ,
  • 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