| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
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:
|
£50.00 |
|
Our Price:
£43.75
|
|
|
|
|
|
|
|
2.
|
|
|
3.
|
|
|
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:
|
£47.00 |
|
Our Price:
£41.13
|
|
|
|
|
|
|
|
4.
|
|
|
Modal Logic(Paperback)
Cambridge University Press
Published:
22/08/2002
A 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists.
|
In Stock:
None
| List Price:
|
£90.00 |
|
Our Price:
£78.75
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
5.
|
|
|
Belief Revision(Paperback)
Cambridge University Press
Published:
18/10/2003
This book contains a collection of research articles on belief revision that are right up to date and an introductory chapter that presents a survey of current research in the area and the fundament...
|
In Stock:
None
| List Price:
|
£64.00 |
|
Our Price:
£56.00
|
|
|
|
|
|
|
|
6.
|
|
|
Theoretical Foundations of VLSI Design(Paperback)
Cambridge University Press
Published:
18/10/2003
Recent research on the physical technologies of very large scale integration (VLSI).
|
In Stock:
None
| List Price:
|
£48.99 |
|
Our Price:
£42.87
|
|
|
|
|
|
|
|
7.
|
|
|
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:
|
£50.00 |
|
Our Price:
£43.75
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
8.
|
|
|
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:
|
£69.00 |
|
Our Price:
£60.38
|
|
|
|
|
|
|
|
9.
|
|
|
Metamathematics, Machines and Godel's Proof(Paperback)
Cambridge University Press
Published:
30/01/1997
Describes the use of computer programs to check several proofs in the foundations of mathematics.
|
In Stock:
None
| List Price:
|
£45.00 |
|
Our Price:
£39.38
|
|
|
|
|
|
|
|
10.
|
|
|
Computational Learning Theory(Paperback)
Cambridge University Press
Published:
27/02/1997
This an introduction to the theory of computational learning.
|
In Stock:
None
| List Price:
|
£44.00 |
|
Our Price:
£38.50
|
|
|
|
|
|
|
|