| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
Information Flow(Paperback)
The Logic of Distributed Systems
Cambridge University Press
Published:
01/08/2008
Presents a mathematically rigorous, philosophically sound foundation for a science of information.
|
In Stock:
1
| List Price:
|
£53.99 |
|
Our Price:
£47.24
|
|
|
|
|
|
|
|
2.
|
|
|
Computational Geometry in C(Paperback)
Cambridge University Press
Published:
01/10/1998
This 1998 book explains the design of geometry algorithms, including discussion of implementation issues and working C code.
|
In Stock:
1
| List Price:
|
£47.99 |
|
Our Price:
£41.99
|
|
|
|
|
|
|
|
3.
|
|
|
4.
|
|
|
Basic Proof Theory(Paperback)
Cambridge University Press
Published:
27/07/2000
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
|
In Stock:
None
| List Price:
|
£44.99 |
|
Our Price:
£39.37
|
|
|
|
|
|
|
|
5.
|
|
|
Hybrid Graph Theory and Network Analysis(Hardback)
Cambridge University Press
Published:
02/09/1999
Contains work on applications of graph-theory to electrical network analysis.
|
In Stock:
None
| List Price:
|
£110.00 |
|
Our Price:
£96.25
|
|
|
|
|
|
|
|
6.
|
|
|
Basic Simple Type Theory(Hardback)
Cambridge University Press
Published:
31/07/1997
An introduction to type theory for computer scientists.
|
In Stock:
None
| List Price:
|
£96.99 |
|
Our Price:
£84.87
|
|
|
|
|
|
|
|
7.
|
|
|
8.
|
|
|
Rippling: Meta-Level Guidance for Mathematical Reasoning(Hardback)
Cambridge University Press
Published:
01/11/2004
A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.
|
In Stock:
None
| List Price:
|
£110.00 |
|
Our Price:
£96.25
|
|
|
|
|
|
|
|
9.
|
|
|
Topology Via Logic(Paperback)
Cambridge University Press
Published:
22/08/1996
This is an advanced textbook on topology for computer scientists.
|
In Stock:
None
| List Price:
|
£47.99 |
|
Our Price:
£41.99
|
|
|
|
|
|
|
|
10.
|
|
|
Information Flow(Hardback)
The Logic of Distributed Systems
Cambridge University Press
Published:
28/07/1997
Presents a mathematically rigorous, philosophically sound foundation for a science of information.
|
In Stock:
None
| List Price:
|
£65.99 |
|
Our Price:
£57.74
|
|
|
|
|
|
|
|