Search results
-
Probabilistic Reasoning in Multiagent Systems; A Graphical Models Approach (Paperback / softback) 9780521153904
Regular price £42.78 GBPRegular priceUnit price per£42.99 GBPSale price £42.78 GBPSold out -
The Clausal Theory of Types (Paperback / softback) 9780521117906
Regular price £25.89 GBPRegular priceUnit price per£20.99 GBPSale price £25.89 GBPSold out -
Transitions and Trees; An Introduction to Structural Operational Semantics (Hardback) 9780521197465
Regular price £81.79 GBPRegular priceUnit price per£84.99 GBPSale price £81.79 GBPSold out -
Finite Markov Chains and Algorithmic Applications (Paperback / softback) 9780521890014
Regular price £34.59 GBPRegular priceUnit price per£29.99 GBPSale price £34.59 GBPSold out -
Modeling in Event-B; System and Software Engineering (Hardback) 9780521895569
Regular price £99.59 GBPRegular priceUnit price per£116.00 GBPSale price £99.59 GBPSold out -
Nets, Terms and Formulas; Three Views of Concurrent Processes and their Relationship (Hardback) 9780521400442
Regular price £86.99 GBPRegular priceUnit price per£105.00 GBPSale price £86.99 GBPSold out -
General Recursion Theory; An Axiomatic Approach (Hardback) 9781107168169
Regular price £90.66 GBPRegular priceUnit price per£106.00 GBPSale price £90.66 GBPSold out -
Geometric and Topological Inference (Paperback / softback) 9781108410892
Regular price £34.39 GBPRegular priceUnit price per£31.99 GBPSale price £34.39 GBPSold out -
Logic Colloquium '95; Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995 (Hardback) 9781107167902
Regular price £100.99 GBPRegular priceUnit price per£123.00 GBPSale price £100.99 GBPSold out -
Predicate Transformer Semantics (Paperback / softback) 9780521616102
Regular price £48.99 GBPRegular priceUnit price per£49.99 GBPSale price £48.99 GBPSold out -
Mathematics for Future Computing and Communications (Hardback) 9781316513583
Regular price £45.59 GBPRegular priceUnit price per£49.99 GBPSale price £45.59 GBPSold out -
A Practical Introduction to Denotational Semantics (Paperback / softback) 9780521314237
Regular price £28.69 GBPRegular priceUnit price per£27.99 GBPSale price £28.69 GBPSold out -
Think Before You Compute; A Prelude to Computational Fluid Dynamics (Hardback) 9781108479547
Regular price £72.59 GBPRegular priceUnit price per£67.00 GBPSale price £72.59 GBPSold out -
Metamathematics, Machines and Gödel's Proof (Paperback / softback) 9780521585330
Regular price £40.28 GBPRegular priceUnit price per£40.99 GBPSale price £40.28 GBPSold out -
Rippling: Meta-Level Guidance for Mathematical Reasoning (Hardback) 9780521834490
Regular price £94.59 GBPRegular priceUnit price per£87.99 GBPSale price £94.59 GBPSold out -
Lectures in Game Theory for Computer Scientists (Hardback) 9780521198660
Regular price £91.37 GBPRegular priceUnit price per£107.00 GBPSale price £91.37 GBPSold out -
Metamathematics of First-Order Arithmetic (Hardback) 9781107168411
Regular price £150.97 GBPRegular priceUnit price per£138.00 GBPSale price £150.97 GBPSold out -
Logic and Computation; Interactive Proof with Cambridge LCF (Paperback / softback) 9780521395601
Regular price £47.39 GBPRegular priceUnit price per£29.99 GBPSale price £47.39 GBPSold out -
Theory and Computation in Hydrodynamic Stability (Paperback / softback) 9781108466721
Regular price £51.59 GBPRegular priceUnit price per£54.99 GBPSale price £51.59 GBPSold out -
Temporal Logics in Computer Science; Finite-State Systems (Hardback) 9781107028364
Regular price £81.99 GBPRegular priceUnit price per£102.00 GBPSale price £81.99 GBPSold out -
The Uncertain Reasoner's Companion; A Mathematical Perspective (Paperback / softback) 9780521032728
Regular price £42.56 GBPRegular priceUnit price per£42.99 GBPSale price £42.56 GBPSold out -
Formal Specification and Design (Paperback / softback) 9780521435925
Regular price £44.59 GBPRegular priceUnit price per£45.99 GBPSale price £44.59 GBPSold out -
Logical Foundations of Proof Complexity (Hardback) 9780521517294
Regular price £84.39 GBPRegular priceUnit price per£101.00 GBPSale price £84.39 GBPSold out -
A Unifying Framework for Structured Analysis and Design Models; An Approach Using Initial Algebra Semantics and Category Theory (Hardback) 9780521391962
Regular price £115.49 GBPRegular priceUnit price per£92.00 GBPSale price £115.49 GBPSold out
