| 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.
|
|
|
Predicatetransformer Semantics(Paperback)
Cambridge University Press
Published:
20/10/2004
This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.
|
In Stock:
None
| List Price:
|
£54.00 |
|
Our Price:
£47.25
|
|
|
|
|
|
|
|
5.
|
|
|
Action Semantics(Paperback)
Cambridge University Press
Published:
31/12/2004
Action Semantics is a comprehensive introduction to the semantics of programming languages. It will be of use to graduates of computer science and mathematics.
|
In Stock:
None
| List Price:
|
£54.00 |
|
Our Price:
£47.25
|
|
|
|
|
|
|
|
6.
|
|
|
Updating Logical Databases(Paperback)
Cambridge University Press
Published:
31/12/2004
The book will be of value to all involved in database research.
|
In Stock:
None
| List Price:
|
£36.99 |
|
Our Price:
£32.37
|
|
|
|
|
|
|
|
7.
|
|
|
8.
|
|
|
Programs, Recursion and Unbounded Choice(Paperback)
Cambridge University Press
Published:
31/05/2005
A complete account of the predicate transformation calculus semantics of sequential programs.
|
In Stock:
None
| List Price:
|
£45.00 |
|
Our Price:
£39.38
|
|
|
|
|
|
|
|
9.
|
|
|
10.
|
|
|
Formal Methods in Artificial Intelligence(Paperback)
Cambridge University Press
Published:
26/07/1991
This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
|
In Stock:
None
| List Price:
|
£41.00 |
|
Our Price:
£35.88
|
|
|
|
|
|
|
|