Hardback
The Space and Motion of Communicating Agents
In stock
Paperback
Geometry of Cuts and Metrics
In stock
Paperback
Algorithmic Game Theory
In stock
Paperback
FM 2009: Formal Methods
In stock
Hardback
Introduction to Physical Modeling with Modelica
In stock
Paperback
Statistical Mechanics of Learning
In stock
Hardback
Computational Line Geometry
In stock
Paperback
Computers and Intractability
In stock
Hardback
Computation, Proof, Machine
In stock
Hardback
Programming the Dynamic Analysis of Structures
In stock
Paperback
An Introduction to Substructural Logics
In stock
Hardback
Nets, Terms and Formulas
In stock
Hardback
Two-Level Functional Languages
In stock
Paperback
Mathematics of Evolution and Phylogeny
In stock
Paperback
The Essential Turing
In stock
Paperback
Two-Level Functional Languages
In stock
Hardback
Theories of Programming Languages
In stock
Hardback
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
In stock
Paperback
The Computational Beauty of Nature
In stock
Paperback
Protecting Information
In stock
Paperback
Programs, Recursion and Unbounded Choice
In stock
Hardback
Mathematical Principles of Signal Processing
In stock
Hardback
The Nature of Statistical Learning Theory
In stock
Hardback
Quantum Computing
In stock
Hardback
A Course in Computational Algebraic Number Theory
In stock
Paperback
Theory and Applications of Models of Computation
In stock
Paperback
Modal Logic
In stock
Paperback
Logic in Computer Science
In stock
Paperback
Computability, Enumerability, Unsolvability
In stock
Hardback
Higher Order Operational Techniques in Semantics
In stock
Hardback
Model Theory
In stock
Hardback
Probabilistic Reasoning in Multiagent Systems
In stock
Paperback
A First Course in Coding Theory
In stock
Hardback
Automatic Sequences
In stock
Paperback
Categories and Computer Science
In stock
Hardback
Concurrency Verification
In stock
