最 低 价：￥935.60
| The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes. —proceedings （published in time for the respective conference） —post-proceedings （consisting of thoroughly revised final full papers） —research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.） |
| Invited Papers Search and Inference in AI Planning OWL: A Description Logic Based Ontology Language Preference Reasoning The G12 Project: Mapping Solver Independent Models to Efficient Solutions Best Papers Symmetry Definitions for Constraint Satisfaction Problems Dynamic Ordering for Asynchronous Backtracking on DisCSPs Full Papers Incremental Algorithms for Local Search from Existential Second-Order Logic Inter-distance Constraint: An Extension of the All-Different Constraint for Scheduling Equal Length Jobs Mind the Gaps: A New Splitting Strategy for Consistency Techniques Graph Invariants as Necessary Conditions for Global Constraints Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation Sub-optimality Approximations A Linear-Logic Semantics for Constraint Handling Rules Distributed Stable Matching Problems Beyond Hypertree Width: Decomposition Methods Withoutn Decompositions Ad-hoc Global Constraints for Life Tractable Clones of Polynomials over Semigroups CP(Graph): Introducing a Graph Computation Domain in Constraint Programming Interval Analysis in Scheduling Assumption-Based Pruning in Conditional CSP Conditional Symmetry Breaking Symmetry and Consistency Solving the MOLR and Social Golfers Problems …… Short Papers Doctoral Papers System Demonstrations Author Index |
内容加载中，请稍后...
商品评论（0条）