Search results
-
Bounded Variable Logics and Counting; A Study in Finite Models (Hardback) 9781107167940
Regular price £90.29 GBPRegular priceUnit price per£106.00 GBPSale price £90.29 GBPSold out -
Action Semantics (Paperback / softback) 9780521619332
Regular price £50.49 GBPRegular priceUnit price per£49.99 GBPSale price £50.49 GBPSold out -
Foundations of Computational Mathematics, Minneapolis 2002 (Paperback / softback) 9780521542531
Regular price £53.29 GBPRegular priceUnit price per£26.99 GBPSale price £53.29 GBPSold out -
The Standard ML Basis Library (Hardback) 9780521791427
Regular price £75.49 GBPRegular priceUnit price per£87.00 GBPSale price £75.49 GBPSold out -
Recursion-Theoretic Hierarchies (Hardback) 9781107168244
Regular price £117.59 GBPRegular priceUnit price per£138.00 GBPSale price £117.59 GBPSold out -
Theories of Computability (Paperback / softback) 9780521153430
Regular price £41.99 GBPRegular priceUnit price per£40.99 GBPSale price £41.99 GBPSold out -
Model Checking Quantum Systems; Principles and Algorithms (Hardback) 9781108484305
Regular price £47.99 GBPRegular priceUnit price per£52.99 GBPSale price £47.99 GBPSold out -
Combinatorial Species and Tree-like Structures (Hardback) 9780521573238
Regular price £172.76 GBPRegular priceUnit price per£167.00 GBPSale price £172.76 GBPSold out -
Two-Level Functional Languages (Hardback) 9780521403849
Regular price £95.78 GBPRegular priceUnit price per£116.00 GBPSale price £95.78 GBPSold out -
The Clausal Theory of Types (Paperback / softback) 9780521117906
Regular price £25.99 GBPRegular priceUnit price per£20.99 GBPSale price £25.99 GBPSold out -
A Compositional Approach to Performance Modelling (Paperback / softback) 9780521673532
Regular price £38.65 GBPRegular priceUnit price per£36.99 GBPSale price £38.65 GBPSold out -
Admissible Sets and Structures (Hardback) 9781107168336
Regular price £104.89 GBPRegular priceUnit price per£123.00 GBPSale price £104.89 GBPSold out -
Metamathematics, Machines and Gödel's Proof (Paperback / softback) 9780521585330
Regular price £41.49 GBPRegular priceUnit price per£40.99 GBPSale price £41.49 GBPSold out -
Introducing String Diagrams; The Art of Category Theory (Hardback) 9781009317863
Regular price £39.69 GBPRegular priceUnit price per£39.99 GBPSale price £39.69 GBPSold out -
Theories of Computability (Hardback) 9780521553803
Regular price £106.99 GBPRegular priceUnit price per£100.00 GBPSale price £106.99 GBPSold out -
Programs, Recursion and Unbounded Choice (Paperback / softback) 9780521018296
Regular price £41.99 GBPRegular priceUnit price per£40.99 GBPSale price £41.99 GBPSold out -
The Optimal Implementation of Functional Programming Languages (Hardback) 9780521621120
Regular price £75.85 GBPRegular priceUnit price per£76.99 GBPSale price £75.85 GBPSold out -
Probabilistic Numerics; Computation as Machine Learning (Hardback) 9781107163447
Regular price £52.19 GBPRegular priceUnit price per£54.99 GBPSale price £52.19 GBPSold out -
Topological Duality for Distributive Lattices; Theory and Applications (Hardback) 9781009349697
Regular price £56.29 GBPRegular priceUnit price per -
Session Types (Hardback) 9781316518274
Regular price £41.89 GBPRegular priceUnit price per -
Automata Theory with Modern Applications (Hardback) 9780521848879
Regular price £84.59 GBPRegular priceUnit price per£80.00 GBPSale price £84.59 GBPSold out -
Qualified Types; Theory and Practice (Paperback / softback) 9780521543262
Regular price £35.99 GBPRegular priceUnit price per£31.99 GBPSale price £35.99 GBPSold out -
Understanding Z; A Specification Language and its Formal Semantics (Paperback / softback) 9780521054140
Regular price £33.59 GBPRegular priceUnit price per£32.99 GBPSale price £33.59 GBPSold out -
An Introduction to Computational Combinatorics (Paperback / softback) 9780521294928
Regular price £34.99 GBPRegular priceUnit price per£31.99 GBPSale price £34.99 GBPSold out
