Abstraction, Reformulation, and Approximation المزيد من الكتب المشابهة

Principles and Practice of Constraint Programming - CP 2010 Principles and Practice of Constraint Programming - CP 2010
Principles and Practice of Constraint Programming - CP 2010
٢٠١٠
Recent Advances in Constraints Recent Advances in Constraints
Recent Advances in Constraints
٢٠٠٩
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
٢٠١٧
Inductive Logic Programming Inductive Logic Programming
Inductive Logic Programming
٢٠٠٨
Tractability Tractability
Tractability
٢٠١٤
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
٢٠٢٢
SOFSEM 2016: Theory and Practice of Computer Science SOFSEM 2016: Theory and Practice of Computer Science
SOFSEM 2016: Theory and Practice of Computer Science
٢٠١٦
Handbook of Constraint Programming Handbook of Constraint Programming
Handbook of Constraint Programming
٢٠٠٦
Static Analysis Static Analysis
Static Analysis
٢٠١١
SOFSEM 2018: Theory and Practice of Computer Science SOFSEM 2018: Theory and Practice of Computer Science
SOFSEM 2018: Theory and Practice of Computer Science
٢٠١٨
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٧
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٠٧
Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
٢٠١١
AI 2007: Advances in Artificial Intelligence AI 2007: Advances in Artificial Intelligence
AI 2007: Advances in Artificial Intelligence
٢٠٠٧
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
٢٠١٨