Tag: Logic

Principles and Practice of Constraint Programming – CP 2011 Front Cover

Principles and Practice of Constraint Programming – CP 2011

  • Length: 860 pages
  • Publication Date: 2011-11-03
0
0 ratings
Fuzzy Logic and Applications Front Cover

Fuzzy Logic and Applications

  • Length: 290 pages
  • Publication Date: 2011-09-12
0
0 ratings
Proofs and Algorithms: An Introduction to Logic and Computability Front Cover

Proofs and Algorithms: An Introduction to Logic and Computability

  • Length: 203 pages
  • Publication Date: 2011-01-13
4.0
1 ratings
Proofs and Computations Front Cover

Proofs and Computations

  • Length: 480 pages
  • Publication Date: 2012-01-16
5.0
1 ratings
Testing Software and Systems Front Cover

Testing Software and Systems

  • Length: 236 pages
  • Publication Date: 2011-12-20
0
0 ratings
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