| 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.
|
|
|
5.
|
|
|
6.
|
|
|
Temporal Logics in Computer Science(Hardback)
Finite-State Systems
Volume 1
Cambridge University Press
Published:
13/10/2016
A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
|
In Stock:
None
| List Price:
|
£111.00 |
|
|
|
Availability:
Out of Print
|
|
|
|
|
|
7.
|
|
|
Topological Duality for Distributive Lattices(Hardback)
Theory and Applications
Published:
31/03/2024
This introduction to Stone-Priestley duality theory brings modern tools in the area together in textbook format for the first time and covers applications to logic and theoretical computer science. ...
|
In Stock:
None
| List Price:
|
£64.99 |
|
Our Price:
£58.49
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
8.
|
|
|
Syntax and Semantics of Petri Nets(Hardback)
Published:
31/08/2025
A modern look at Petri net theory, providing a uniform presentation of both theories of sequential and distributed computation. Introducing the theory step by step, this is a useful resource for gra...
|
In Stock:
None
| List Price:
|
£110.00 |
|
Our Price:
£99.00
|
|
Availability:
Not Yet Published
|
|
|
|
|
|
9.
|
|
|
10.
|
|
|