Mighty Ape
Paperback
Action Semantics
Peter D. Mosses

 

 

In stock
Hardback
Theories of Computability
Nicholas Pippenger

 

 

In stock
Hardback
Domains and Lambda-Calculi
Roberto M. Amadio, Pierre-Louis Curien

 

 

In stock
Paperback
Complexity: Knots, Colourings and Countings
Dominic Welsh

 

 

In stock
Paperback
The Practical Performance Analyst
Neil J Gunther

 

 

In stock
Paperback
A Compositional Approach to Performance Modelling
Jane Hillston

 

 

In stock
Paperback
Logic and Computation
Lawrence C. Paulson

 

 

In stock
Hardback
Theories of Programming Languages
John C. Reynolds

 

 

In stock
Paperback
An Introduction to C++ and Numerical Methods
ORTEGA, Grimshaw

 

 

In stock
Hardback
Categories and Computer Science
R. F. C. Walters

 

 

In stock
Hardback
Fast Parallel Algorithms for Graph Matching Problems
Marek Karpinski, Wojciech Rytter

 

 

In stock
Paperback
User-Centered Design Stories
Carol Righi, Janice James

 

 

In stock
Paperback
VHDL-2008
Jim Lewis, Peter J. Ashenden

 

 

In stock
Paperback
A Framework and Methodology for Managing Quality of Web Services
Mohamed Adel Serhani

 

 

In stock
Hardback
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

 

 

In stock
Paperback
The Computational Beauty of Nature
Gary William Flake

 

 

In stock
Paperback
The Pi-Calculus
Davide Sangiorgi, David Walker

 

 

In stock
Hardback
Analysis and Design of Information Systems
Arthur M. Langer

 

 

In stock
Paperback
Pseudorandomness and Cryptographic Applications
Michael Luby

 

 

In stock
Hardback
Spectral Techniques in VLSI CAD
Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller

 

 

In stock
Hardback
Solving Higher-Order Equations
Christian Prehofer

 

 

In stock
Hardback
Specification and Design Methodology for Real-Time Embedded Systems
Randall S. Janka

 

 

In stock
Hardback
Algebraic Combinatorics and Computer Science

 

 

In stock
Hardback
The Verilog PLI Handbook: A User's Guide and Comprehensive Reference on the Verilog Programming Language Interface
Stuart Sutherland

 

 

In stock
Hardback
Labelled Non-Classical Logics
Luca Vigano

 

 

In stock
Hardback
Applications of Continuous Mathematics to Computer Science
Hung T. Nguyen, V. Kreinovich

 

 

In stock
Hardback
Mathematics of Biology

 

 

In stock
Hardback
Mathematics and Computer Science III

 

 

In stock
Paperback
Protecting Information
Susan Loepp, William K. Wootters

 

 

In stock
Hardback
Analog Behavioral Modeling with the Verilog-A Language
Dan FitzPatrick, Ira Miller

 

 

In stock
Paperback
Spatial Statistics and Computational Methods

 

 

In stock
Paperback
Data Structures for Computational Statistics
Sigbert Klinke

 

 

In stock
Hardback
An Invitation to 3-D Vision
Yi Ma, Stefano Soatto, Jana Kosecka, S. Shankar Sastry

 

 

In stock
Hardback
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

 

 

In stock
Paperback
An Introduction to Fuzzy Logic and Fuzzy Sets
Esfandiar Eslami, James J. Buckley

 

 

In stock
Hardback
Data Mining, Rough Sets and Granular Computing

 

 

In stock