最 低 价：￥592.10
| Keynote Papers Algorithms,Games,and the Internet Automata,Circuits,and Hybrids:Facets of Continuous Time Invited Paters Languages,Rewriting Systems,and Verification of Infinite-Satae Systems Integrating Semantics for Object-Oriented System Models Modelling with Partial Orders-Why and Why Not? Theoretical Aspects of Evolutionary Algorithms Algebraic and Circuit Complexity Improvements of the Alder-Strassen Bound:Algebras With Nonzero Radical On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities Division Is in Uniform TC0 Algorithm Analysis A Framework for Index Bulk Loading and Dynamization A Characterization of Temporal Locality and Its Portability across Memory Hierarchies The Complexity of Constructing Evolutionary Trees Using Experiments Hidden Patten Statistics Combinatorci and Algorithms on Low-Discrepancy Roundings of a Real Sequence All-Pairs Shortest Paths Computation in the BSP Model Approximation and Optimization Approximating the Minimum Spanning Tree Weight in Sublinear Time Approximation Hardness of TSP with Bounded Metrics The RPR2 Rounding Technique for Semidefinte Programs Approximation Algoriths for Partial Covering Problems On the Online Bin Packing Problem Quick k-Median,k-Center,and Facility Location for Spacrse Graphs Complexity Parameterized Complexity:Exponential Speed-Up for Planar Graph Problems …… Concurrency Efficient Datastructures Graph Algorithms Language Theory,Codes and Automata Model Checking and Protocol Analysis Networks and Routing Scheduling Secure Computation Specification and Deduction Structural Complexity Author Index |
内容加载中，请稍后...
商品评论（0条）