Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
evaluation programming » evaluating programming, evolution programming, variation programming
integrated evaluation » interfaces evaluation, integrated production, integrated navigation
programming program » programming programmed, programming problem, programming problems
program constraints » programs constraints, progress constraints, problem constraints
constraints https » constraints haptic, constraints data, constraints chap
evaluation programming » evaluating programming, evolution programming, variation programming
integrated evaluation » interfaces evaluation, integrated production, integrated navigation
programming program » programming programmed, programming problem, programming problems
program constraints » programs constraints, progress constraints, problem constraints
constraints https » constraints haptic, constraints data, constraints chap
1
Được phát hành 2014
Mục lục:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2010
Mục lục:
“...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2006
Mục lục:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2008
Mục lục:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2005
Mục lục:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”lấy văn bản
Điện tử
eBook
6
Được phát hành 2007
Mục lục:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”lấy văn bản
Điện tử
eBook
7
Được phát hành 2006
Mục lục:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2010
Mục lục:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2013
Mục lục:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2015
Mục lục:
“... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2014
Mục lục:
“... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2005
Mục lục:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2005
Mục lục:
“... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2014
Mục lục:
“... -- 10. Review of potato biotic constraints and experiences with integrated pest management interventions...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2010
Mục lục:
“... Random Goal Constraints for Stochastic Fuzzy Goal Programming -- Logical Approaches to Uncertainty...”lấy văn bản
Điện tử
eBook
16
Được phát hành 2010
Mục lục:
“... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2008
Mục lục:
“... Diagram -- Constraint-Aware XSLT Evaluation -- A Quality Circle Tool for Software Models -- Generating...”lấy văn bản
Điện tử
eBook
18
Được phát hành 2011
Mục lục:
“... Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition...”lấy văn bản
Điện tử
eBook
19
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Được phát hành 2007
Mục lục:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”lấy văn bản
Điện tử
eBook
20
Được phát hành 2006
Mục lục:
“... Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x...”lấy văn bản
Điện tử
eBook