Abstract Domains in Constraint Programming 비슷한 책 더 보기

Reliable Implementation of Real Number Algorithms: Theory and Practice Reliable Implementation of Real Number Algorithms: Theory and Practice
Reliable Implementation of Real Number Algorithms: Theory and Practice
2008년
Static Analysis Static Analysis
Static Analysis
2007년
Recent Advances in Constraints Recent Advances in Constraints
Recent Advances in Constraints
2009년
Parallel Scientific Computing in C++ and MPI Parallel Scientific Computing in C++ and MPI
Parallel Scientific Computing in C++ and MPI
2003년
Tractability Tractability
Tractability
2014년
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
Mathematical Aspects of Computer and Information Sciences
2016년
Numerical Simulation in Physics and Engineering Numerical Simulation in Physics and Engineering
Numerical Simulation in Physics and Engineering
2016년
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
2011년
Concepts of Combinatorial Optimization, Volume 1 Concepts of Combinatorial Optimization, Volume 1
Concepts of Combinatorial Optimization, Volume 1
2012년
Computer Science – Theory and Applications Computer Science – Theory and Applications
Computer Science – Theory and Applications
2007년
Static Analysis Static Analysis
Static Analysis
2021년
Facets of Combinatorial Optimization Facets of Combinatorial Optimization
Facets of Combinatorial Optimization
2013년
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
2016년
Decision Procedures Decision Procedures
Decision Procedures
2008년
Static Analysis Static Analysis
Static Analysis
2011년