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

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
Rippling: Meta-Level Guidance for Mathematical Reasoning By Alan Bundy (University of Edinburgh)
Rippling: Meta-Level Guidance for Mathematical Reasoningby Alan Bundy (University of Edinburgh)
New
$236.49
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
$231.79
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
$64.29
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
Formal Semantics and Pragmatics for Natural Language Querying By James Clifford
Formal Semantics and Pragmatics for Natural Language Queryingby James Clifford
New
$92.59
inc. GST
Predicate Transformer Semantics By Ernest. G. Manes (University of Massachusetts, Amherst)
Predicate Transformer Semanticsby Ernest. G. Manes (University of Massachusetts, Amherst)
New
$110.89
inc. GST
Computational Learning Theory By M. H. G. Anthony (London School of Economics and Political Science)
Computational Learning Theoryby M. H. G. Anthony (London School of Economics and Political Science)
New
$88.49
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
$267.19
inc. GST
The Logic of Typed Feature Structures By Robert L. Carpenter (Carnegie Mellon University, Pennsylvania)
The Logic of Typed Feature Structuresby Robert L. Carpenter (Carnegie Mellon University, Pennsylvania)
New
$93.89
inc. GST
Two-Level Functional Languages By Flemming Nielson (Aarhus Universitet, Denmark)
Two-Level Functional Languagesby Flemming Nielson (Aarhus Universitet, Denmark)
New
$103.39
inc. GST