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
2010년
Recent Advances in Constraints Recent Advances in Constraints
Recent Advances in Constraints
2009년
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2017년
Inductive Logic Programming Inductive Logic Programming
Inductive Logic Programming
2008년
Tractability Tractability
Tractability
2014년
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
2022년
SOFSEM 2016: Theory and Practice of Computer Science SOFSEM 2016: Theory and Practice of Computer Science
SOFSEM 2016: Theory and Practice of Computer Science
2016년
Handbook of Constraint Programming Handbook of Constraint Programming
Handbook of Constraint Programming
2006년
Static Analysis Static Analysis
Static Analysis
2011년
SOFSEM 2018: Theory and Practice of Computer Science SOFSEM 2018: Theory and Practice of Computer Science
SOFSEM 2018: Theory and Practice of Computer Science
2018년
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2017년
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2007년
Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
2011년
AI 2007: Advances in Artificial Intelligence AI 2007: Advances in Artificial Intelligence
AI 2007: Advances in Artificial Intelligence
2007년
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2018년