pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register



Your search for " SERIES like 'Cambridge Tracts in Theoretical Computer Science No. 9' " has produced 134 results.
Total number of pages displayed: 14
Select number of records to display per page: Sort by
Select All | Add selected items to basket   
1 2 3 4 5 6 7 8 9 10 ...
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.

12.5% off
In Stock: 1
List Price: £50.00
Our Price: £43.75
2.
Derivation and Computation(Hardback)
Taking the Curry-Howard correspondence seriously
Cambridge University Press
Published: 18/05/2000
An introduction to simple type theory, containing 200 exercises with complete solutions.

12.5% off
In Stock: 1
List Price: £134.00
Our Price: £117.25
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.

12.5% off
In Stock: None
List Price: £47.00
Our Price: £41.13
4.
Concurrency Verification(Hardback)
Introduction to Compositional and Non-compositional Methods
Cambridge University Press
Published: 26/11/2001
An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.

12.5% off
In Stock: None
List Price: £225.00
Our Price: £196.88
5.
Nominal Sets(Hardback)
Names and Symmetry in Computer Science
Cambridge University Press
Published: 30/05/2013
The first detailed account of the basic theory and applications of nominal sets.

10% off
In Stock: None
List Price: £57.00
Our Price: £51.30
6.
Basic Simple Type Theory(Hardback)
Cambridge University Press
Published: 31/07/1997
An introduction to type theory for computer scientists.

12.5% off
In Stock: None
List Price: £101.00
Our Price: £88.38
7.
Applications of Process Algebra(Paperback)
Cambridge University Press
Published: 22/05/2004
This book gives applications of the theory of process algebra. or Algebra of Comunicating Processes (ACS).

12.5% off
In Stock: None
List Price: £89.00
Our Price: £77.88
8.
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.

12.5% off
In Stock: None
List Price: £54.00
Our Price: £47.25
9.
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.

12.5% off
In Stock: None
List Price: £54.00
Our Price: £47.25
10.
Updating Logical Databases(Paperback)
Cambridge University Press
Published: 31/12/2004
The book will be of value to all involved in database research.

12.5% off
In Stock: None
List Price: £36.99
Our Price: £32.37
1 2 3 4 5 6 7 8 9 10 ...
Select All | Add selected items to basket   
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
World’s Worst Superheroes GET READY FOR SOME SUPERSIZED FUN!
add to basket





New
No Cheese, Please! A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
add to basket

New
My Brother Is a Superhero Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
add to basket


Picture Book
Animal Actions: Snap Like a Crab
By:
The first title in a new preschool series from Guilherme Karsten.
add to basket