1
出版 2014
書本目錄: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
獲取全文
電子 電子書
2
出版 2010
書本目錄: ...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...
獲取全文
電子 電子書
3
出版 2006
書本目錄: ... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...
獲取全文
電子 電子書
4
出版 2008
書本目錄: ... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...
獲取全文
電子 電子書
5
出版 2007
書本目錄: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
獲取全文
電子 電子書
6
出版 2005
書本目錄: ...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...
獲取全文
電子 電子書
7
出版 2006
書本目錄: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
獲取全文
電子 電子書
8
出版 2010
書本目錄: ... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...
獲取全文
電子 電子書
9
出版 2013
書本目錄: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
獲取全文
電子 電子書
10
出版 2015
書本目錄: ... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...
獲取全文
電子 電子書
11
出版 2014
書本目錄: ... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...
獲取全文
電子 電子書
12
出版 2005
書本目錄: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
獲取全文
電子 電子書
13
出版 2005
書本目錄: ... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...
獲取全文
電子 電子書
14
出版 2014
書本目錄: ... -- 10. Review of potato biotic constraints and experiences with integrated pest management interventions...
獲取全文
電子 電子書
15
出版 2010
書本目錄: ... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...
獲取全文
電子 電子書
16
出版 2008
書本目錄: ... Diagram -- Constraint-Aware XSLT Evaluation -- A Quality Circle Tool for Software Models -- Generating...
獲取全文
電子 電子書
17
出版 2011
書本目錄: ... Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition...
獲取全文
電子 電子書
18
出版 2010
書本目錄: ... Random Goal Constraints for Stochastic Fuzzy Goal Programming -- Logical Approaches to Uncertainty...
獲取全文
電子 電子書
19
出版 2006
書本目錄: ... Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x...
獲取全文
電子 電子書
20
Revesz, Peter., Revesz, Peter.
出版 2010
書本目錄: ...Data Models, Queries, Evaluation -- Propositional Databases -- Relational Databases -- Constraint...
獲取全文
電子 電子書