Sold Out
Book Categories |
General Size-Change Termination and Lexicographic Descent | 3 | |
Comparing Star and Pancake Networks | 18 | |
Synchronization of Finite Automata: Contributions to an Old Problem | 37 | |
Lambda Calculi and Linear Speedups | 60 | |
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software | 85 | |
Meta-circular Abstract Interpretation in Prolog | 109 | |
Flow Analysis: Games and Nets | 135 | |
On Extracting Static Semantics | 157 | |
Foundations of the Bandera Abstraction Tools | 172 | |
Types in Program Analysis | 204 | |
Flow Logic: A Multi-paradigmatic Approach to Static Analysis | 223 | |
Structure-Preserving Binary Relations for Program Abstraction | 245 | |
Principles of Inverse Computation and the Universal Resolving Algorithm | 269 | |
A Symmetric Approach to Compilation and Decompilation | 296 | |
The Abstraction and Instantiation of String-Matching Programs | 332 | |
WSDFU: Program Transformation System Based on Generalized Partial Computation | 358 | |
Homeomorphic Embedding for Online Termination of Symbolic Methods | 379 | |
Simple Driving Techniques | 404 | |
Demonstrating Lambda Calculus Reduction | 420 | |
From Type Inference to Configuration | 436 | |
Author Index | 473 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionThe Essence of Computation
X
This Item is in Your InventoryThe Essence of Computation
X
You must be logged in to review the productsX
X
X
Add The Essence of Computation, By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself. The 20 reviewed research papers presented tog, The Essence of Computation to the inventory that you are selling on WonderClubX
X
Add The Essence of Computation, By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself. The 20 reviewed research papers presented tog, The Essence of Computation to your collection on WonderClub |