What is included with this book?
When Worlds Collide: Derandomization, Lower Bounds, and Kolmogorov Complexity | p. 1 |
Approximation Schemes for Geometric NP-Hard Problems: A Survey | p. 16 |
On Clustering Using Random Walks | p. 18 |
An Introduction to Decidability of DPDA Equivalence | p. 42 |
Semidefinite Programming Based Approximation Algorithms | p. 57 |
Hard Sets and Pseudo-random Generators for Constant Depth Circuits | p. 58 |
The First-Order Isomorphism Theorem | p. 70 |
Thresholds and Optimal Binary Comparison Search Trees | p. 83 |
Distributed LTL Model Checking Based on Negative Cycle Detection | p. 96 |
Computability and Complexity Results for a Spatial Assertion Language for Data Structures | p. 108 |
Using Nondeterminism to Design Efficient Deterministic Algorithms | p. 120 |
Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter | p. 132 |
A Mechanically Verified Compiling Specification for a Lisp Compiler | p. 144 |
Beyond Regular Model Checking | p. 156 |
Relations Between Communication Complexity, Linear Arrangements, and Computational Complexity | p. 171 |
Optimal, Output-Sensitive Algorithms for Constructing Upper Envelope of Line Segments in Parallel | p. 183 |
List Decoding from Erasures: Bounds and Code Constructions | p. 195 |
Verification of a Leader Election Algorithm in Timed Asynchronous Systems | p. 207 |
Efficient Addition on Field Programmable Gate Arrays | p. 219 |
The Directed Minimum-Degree Spanning Tree Problem | p. 232 |
I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems | p. 244 |
Beyond Message Sequence Graphs | p. 256 |
Grouping Techniquess for One Machine Scheduling Subject to Precedence Constraints | p. 268 |
Properties of Distributed Timed-Arc Petri Nets | p. 280 |
From Falsification to Verification | p. 292 |
On Polynomial Representations of Boolean Functions Related to Some Number Theoretic Problems | p. 305 |
Range Allocation for Equivalence Logic | p. 317 |
Rewrite Closure for Ground and Cancellative AC Theories | p. 334 |
Author Index | p. 347 |
Table of Contents provided by Blackwell. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.