Cambridge Tracts in Theoretical Computer Science Products at Mighty Ape Australia

1 to 40 of 60 Results

$25999

Modal Logic

by Patrick Blackburn ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$10199

A Unifying Framework for Structured Analysis and Design Models

by T.H. Tse ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$12699

Programs, Recursion and Unbounded Choice

by Wim H. Hesselink ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$14299

Formal Specification and Design

by L.M.G. Feijs ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$14399

Lambda-calculus, Combinators and Functional Programming

by G. E. Revesz ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$12799

The Logic of Typed Feature Structures

by Robert L. Carpenter ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$37699

Domains and Lambda-Calculi

by Roberto M. Amadio ~ Hardback

Available - Usually ships in 3-4 weeks

$15699

Action Semantics

by Peter D. Mosses ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$15099

Predicate Transformer Semantics

by Ernest G. Manes ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$33999

Two-Level Functional Languages

by Flemming Nielson ~ Hardback

Available - Usually ships in 3-4 weeks

$9399

Hybrid Graph Theory and Network Analysis

by Ladislav Novak ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$12799

Algebraic Specification of Communication Protocols

Paperback / softback

Available - Usually ships in 3-4 weeks

$17799

Epistemic Logic for AI and Computer Science

by J.-J Ch. Meyer ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$50499

Term Rewriting Systems

by Terese ~ Hardback

Available - Usually ships in 3-4 weeks

$25799

Rippling: Meta-Level Guidance for Mathematical Reasoning

by Alan Bundy ~ Hardback

Available - Usually ships in 3-4 weeks

$19399

Nonmonotonic Reasoning

by Gerhard Brewka ~ Hardback

Available - Usually ships in 3-4 weeks

$18299

The Clausal Theory of Types

by D.A. Wolfram ~ Hardback

Available - Usually ships in 3-4 weeks

$35299

Derivation and Computation

by H. Simmons ~ Hardback

Available - Usually ships in 3-4 weeks

$13299

The Uncertain Reasoner's Companion

by J.B. Paris ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$24899

Applications of Process Algebra

Paperback / softback

Available - Usually ships in 3-4 weeks

$14199

Two-Level Functional Languages

by Flemming Nielson ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$16899

Domains and Lambda-Calculi

by Roberto M. Amadio ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$22499

Concurrency Verification

by Willem-Paul de Roever ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$11999

Formal Methods in Artificial Intelligence

by Allan M. Ramsay ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$27099

A Unifying Framework for Structured Analysis and Design Models

by T.H. Tse ~ Hardback

Available - Usually ships in 3-4 weeks

$27799

Basic Simple Type Theory

by J. Roger Hindley ~ Hardback

Available - Usually ships in 3-4 weeks

$14199

Algorithmic Information Theory

by Gregory J Chaitin ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$12799

Deductive and Declarative Programming

by Peter Padawitz ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$15699

Information Flow

by Jon Barwise ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$14399

Basic Proof Theory

by A.S. Troelstra ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$16799

Nominal Sets

by Andrew M. Pitts ~ Hardback

Available - Usually ships in 3-4 weeks

$24699

Advanced Topics in Bisimulation and Coinduction

Hardback

Available - Usually ships in 3-4 weeks

$8999

Higher Order Logic and Hardware Verification

by T.F. Melham ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$43899

Design Theory and Computer Science

by Subrata Dasgupta ~ Hardback

Available - Usually ships in 3-4 weeks

$17699

Mathematical Theory of Domains

by V. Stoltenberg-Hansen ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$11799

Nonmonotonic Reasoning

by Gerhard Brewka ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$12699

Formal Semantics and Pragmatics for Natural Language Querying

by James Clifford ~ Paperback / softback

Available - Usually ships in 3-4 weeks

$31399

Data Refinement

by Willem-Paul de Roever ~ Hardback

Available - Usually ships in 3-4 weeks

$25699

The Optimal Implementation of Functional Programming Languages

by Andrea Asperti ~ Hardback

Available - Usually ships in 3-4 weeks

$11899

Free Choice Petri Nets

by Jorg Desel ~ Paperback / softback

Available - Usually ships in 3-4 weeks

Get free delivery, exclusive deals, and more*

Get free delivery, exclusive deals, and more^*