My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free Shipping in Australia
Trustpilot
Proud to be B-Corp

Cambridge Tracts in Theoretical Computer Science Books

Action Semantics By Peter D. Mosses (Aarhus Universitet, Denmark)
Action Semanticsby Peter D. Mosses (Aarhus Universitet, Denmark)
New
$116,29
inc. GST
Introduction to Coalgebra By Bart Jacobs (Radboud Universiteit Nijmegen)
Introduction to Coalgebraby Bart Jacobs (Radboud Universiteit Nijmegen)
New
$328,69
inc. GST
Basic Proof Theory By A. S. Troelstra (Universiteit van Amsterdam)
Basic Proof Theoryby A. S. Troelstra (Universiteit van Amsterdam)
New
$101,09
inc. GST
Modal Logic By Patrick Blackburn
Modal Logicby Patrick Blackburn
New
$183,19
inc. GST
Concurrency Verification By Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
Concurrency Verificationby Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
New
$173,29
inc. GST
Domains and Lambda-Calculi By Roberto M. Amadio (Universite de Provence)
Domains and Lambda-Calculiby Roberto M. Amadio (Universite de Provence)
New
$130,49
inc. GST
Topology via Logic By Steven Vickers (Imperial College of Science, Technology and Medicine, London)
Topology via Logicby Steven Vickers (Imperial College of Science, Technology and Medicine, London)
New
$104,99
inc. GST
Understanding Z By J. M. Spivey (University of Oxford)
Understanding Zby J. M. Spivey (University of Oxford)
New
$74,39
inc. GST
Temporal Logics in Computer Science By Stephane Demri (Centre National de la Recherche Scientifique (CNRS), Paris)
Temporal Logics in Computer Scienceby Stephane Demri (Centre National de la Recherche Scientifique (CNRS), Paris)
New
$272,29
inc. GST
Understanding Z By J. M. Spivey (University of Oxford)
Understanding Zby J. M. Spivey (University of Oxford)
Very Good
$22,49
inc. GST
Metamathematics, Machines and Goedel's Proof By N. Shankar (SRI International, USA)
Metamathematics, Machines and Goedel's Proofby N. Shankar (SRI International, USA)
New
$93,09
inc. GST
Finite-State Techniques By Stoyan Mihov
Finite-State Techniquesby Stoyan Mihov
New
$165,99
inc. GST
Term Rewriting Systems By Terese
Term Rewriting Systemsby Terese
New
$424,39
inc. GST
Extensions of First-Order Logic By Maria Manzano (Universitat de Barcelona)
Extensions of First-Order Logicby Maria Manzano (Universitat de Barcelona)
New
$154,49
inc. GST
The Clausal Theory of Types By D. A. Wolfram (University of Oxford)
The Clausal Theory of Typesby D. A. Wolfram (University of Oxford)
New
$164,99
inc. GST
Epistemic Logic for AI and Computer Science By J.-J. Ch. Meyer (Universiteit Utrecht, The Netherlands)
Epistemic Logic for AI and Computer Scienceby J.-J. Ch. Meyer (Universiteit Utrecht, The Netherlands)
New
$135,09
inc. GST
Belief Revision By Peter Gardenfors (Lunds Universitet, Sweden)
Belief Revisionby Peter Gardenfors (Lunds Universitet, Sweden)
New
$140,99
inc. GST
Applications of Process Algebra By J. C. M. Baeten
Applications of Process Algebraby J. C. M. Baeten
Very Good
$239,99
inc. GST
Nominal Sets By Andrew M. Pitts (University of Cambridge)
Nominal Setsby Andrew M. Pitts (University of Cambridge)
New
$150,09
inc. GST
Logic and Computation By Lawrence C. Paulson (University of Cambridge)
Logic and Computationby Lawrence C. Paulson (University of Cambridge)
New
$118,09
inc. GST
Domains and Lambda-Calculi By Roberto M. Amadio (Universite de Provence)
Domains and Lambda-Calculiby Roberto M. Amadio (Universite de Provence)
New
$337,69
inc. GST
Information Flow By Jon Barwise (Indiana University)
Information Flowby Jon Barwise (Indiana University)
New
$116,29
inc. GST
Lambda-calculus, Combinators and Functional Programming By G. E. Revesz
Lambda-calculus, Combinators and Functional Programmingby G. E. Revesz
New
$104,39
inc. GST
Higher Order Logic and Hardware Verification By T. F. Melham (University of Glasgow)
Higher Order Logic and Hardware Verificationby T. F. Melham (University of Glasgow)
New
$64,69
inc. GST
Higher Order Logic and Hardware Verification By T. F. Melham (University of Glasgow)
Higher Order Logic and Hardware Verificationby T. F. Melham (University of Glasgow)
New
$232,99
inc. GST
Theoretical Foundations of VLSI Design By K. McEvoy (University of Leeds)
Theoretical Foundations of VLSI Designby K. McEvoy (University of Leeds)
New
$126,99
inc. GST
Updating Logical Databases By Marianne Winslett (University of Illinois, Urbana-Champaign)
Updating Logical Databasesby Marianne Winslett (University of Illinois, Urbana-Champaign)
New
$75,59
inc. GST
Deductive and Declarative Programming By Peter Padawitz
Deductive and Declarative Programmingby Peter Padawitz
New
$94,19
inc. GST
Free Choice Petri Nets By Jorg Desel (Humboldt-Universitat zu Berlin)
Free Choice Petri Netsby Jorg Desel (Humboldt-Universitat zu Berlin)
New
$84,39
inc. GST
Nets, Terms and Formulas By E. -R. Olderog (Carl V. Ossietzky Universitat Oldenburg, Germany)
Nets, Terms and Formulasby E. -R. Olderog (Carl V. Ossietzky Universitat Oldenburg, Germany)
New
$93,79
inc. GST
The Clausal Theory of Types By D. A. Wolfram (University of Oxford)
The Clausal Theory of Typesby D. A. Wolfram (University of Oxford)
New
$63,39
inc. GST
A Unifying Framework for Structured Analysis and Design Models By T. H. Tse (The University of Hong Kong)
A Unifying Framework for Structured Analysis and Design Modelsby T. H. Tse (The University of Hong Kong)
New
$234,29
inc. GST
Information Flow By Jon Barwise (Indiana University)
Information Flowby Jon Barwise (Indiana University)
New
$181,99
inc. GST
Basic Simple Type Theory By J. Roger Hindley (University of Wales, Swansea)
Basic Simple Type Theoryby J. Roger Hindley (University of Wales, Swansea)
New
$231,69
inc. GST
A Unifying Framework for Structured Analysis and Design Models By T. H. Tse (The University of Hong Kong)
A Unifying Framework for Structured Analysis and Design Modelsby T. H. Tse (The University of Hong Kong)
New
$69,49
inc. GST
Data Refinement By Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
Data Refinementby Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
New
$268,29
inc. GST
Design Theory and Computer Science By Subrata Dasgupta (University of Southwestern Louisiana)
Design Theory and Computer Scienceby Subrata Dasgupta (University of Southwestern Louisiana)
New
$365,69
inc. GST
Two-Level Functional Languages By Flemming Nielson (Aarhus Universitet, Denmark)
Two-Level Functional Languagesby Flemming Nielson (Aarhus Universitet, Denmark)
New
$305,19
inc. GST
Algebraic Specification of Communication Protocols By S. Mauw (Technische Universiteit Eindhoven, The Netherlands)
Algebraic Specification of Communication Protocolsby S. Mauw (Technische Universiteit Eindhoven, The Netherlands)
New
$91,89
inc. GST
Updating Logical Databases By Marianne Winslett (University of Illinois, Urbana-Champaign)
Updating Logical Databasesby Marianne Winslett (University of Illinois, Urbana-Champaign)
Very Good
$26,99
inc. GST
Programs, Recursion and Unbounded Choice By Wim H. Hesselink
Programs, Recursion and Unbounded Choiceby Wim H. Hesselink
New
$92,59
inc. GST
Design Theory and Computer Science By Subrata Dasgupta (University of Southwestern Louisiana)
Design Theory and Computer Scienceby Subrata Dasgupta (University of Southwestern Louisiana)
New
$144,99
inc. GST
Nonmonotonic Reasoning By Gerhard Brewka
Nonmonotonic Reasoningby Gerhard Brewka
New
$82,19
inc. GST
Hybrid Graph Theory and Network Analysis By Ladislav Novak (University of Novi Sad, Yugoslavia)
Hybrid Graph Theory and Network Analysisby Ladislav Novak (University of Novi Sad, Yugoslavia)
New
$230,09
inc. GST
Mathematical Theory of Domains By V. Stoltenberg-Hansen (Uppsala Universitet, Sweden)
Mathematical Theory of Domainsby V. Stoltenberg-Hansen (Uppsala Universitet, Sweden)
New
$131,29
inc. GST
Formal Specification and Design By L. M. G. Feijs
Formal Specification and Designby L. M. G. Feijs
New
$104,69
inc. GST
The Uncertain Reasoner's Companion By J. B. Paris (University of Manchester)
The Uncertain Reasoner's Companionby J. B. Paris (University of Manchester)
New
$96,49
inc. GST
Data Refinement By Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
Data Refinementby Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
New
$123,79
inc. GST