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
٢٠٠٨
Static Analysis Static Analysis
Static Analysis
٢٠٠٧
Recent Advances in Constraints Recent Advances in Constraints
Recent Advances in Constraints
٢٠٠٩
Parallel Scientific Computing in C++ and MPI Parallel Scientific Computing in C++ and MPI
Parallel Scientific Computing in C++ and MPI
٢٠٠٣
Tractability Tractability
Tractability
٢٠١٤
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
Mathematical Aspects of Computer and Information Sciences
٢٠١٦
Numerical Simulation in Physics and Engineering Numerical Simulation in Physics and Engineering
Numerical Simulation in Physics and Engineering
٢٠١٦
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
٢٠١١
Concepts of Combinatorial Optimization, Volume 1 Concepts of Combinatorial Optimization, Volume 1
Concepts of Combinatorial Optimization, Volume 1
٢٠١٢
Computer Science – Theory and Applications Computer Science – Theory and Applications
Computer Science – Theory and Applications
٢٠٠٧
Static Analysis Static Analysis
Static Analysis
٢٠٢١
Facets of Combinatorial Optimization Facets of Combinatorial Optimization
Facets of Combinatorial Optimization
٢٠١٣
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
٢٠١٦
Decision Procedures Decision Procedures
Decision Procedures
٢٠٠٨
Static Analysis Static Analysis
Static Analysis
٢٠١١