Search results
-
Metamathematics, Machines and Gödel's Proof (Paperback) 9780521585330
Regular price £40.59 GBPRegular priceUnit price per£40.99 GBPSale price £40.59 GBPSale -
Introducing String Diagrams; The Art of Category Theory (Hardback) 9781009317863
Regular price £35.89 GBPRegular priceUnit price per£39.99 GBPSale price £35.89 GBPSale -
Automata Theory with Modern Applications (Hardback) 9780521848879
Regular price £84.59 GBPRegular priceUnit price per£80.00 GBPSale price £84.59 GBP -
Qualified Types; Theory and Practice (Paperback) 9780521543262
Regular price £33.99 GBPRegular priceUnit price per£31.99 GBPSale price £33.99 GBP -
Understanding Z; A Specification Language and its Formal Semantics (Paperback / softback) 9780521054140
Regular price £33.39 GBPRegular priceUnit price per£32.99 GBPSale price £33.39 GBP -
An Introduction to Computational Combinatorics (Paperback) 9780521294928
Regular price £33.99 GBPRegular priceUnit price per£31.99 GBPSale price £33.99 GBP -
Two-Level Functional Languages (Hardback) 9780521403849
Regular price £94.35 GBPRegular priceUnit price per£116.00 GBPSale price £94.35 GBPSale -
A Compositional Approach to Performance Modelling (Paperback) 9780521673532
Regular price £38.49 GBPRegular priceUnit price per£36.99 GBPSale price £38.49 GBP -
Theories of Computability (Hardback) 9780521553803
Regular price £105.59 GBPRegular priceUnit price per£100.00 GBPSale price £105.59 GBP -
Two-Level Functional Languages (Paperback) 9780521018470
Regular price £46.89 GBPRegular priceUnit price per£45.99 GBPSale price £46.89 GBP -
Programs, Recursion and Unbounded Choice (Paperback) 9780521018296
Regular price £41.88 GBPRegular priceUnit price per£40.99 GBPSale price £41.88 GBP -
The Optimal Implementation of Functional Programming Languages (Hardback) 9780521621120
Regular price £79.75 GBPRegular priceUnit price per£76.99 GBPSale price £79.75 GBP -
A Practical Guide to the Invariant Calculus (Hardback) 9780521857017
Regular price £62.75 GBPRegular priceUnit price per£75.99 GBPSale price £62.75 GBPSale -
Formal Semantics and Pragmatics for Natural Language Querying (Paperback) 9780521602747
Regular price £40.88 GBPRegular priceUnit price per£40.99 GBPSale price £40.88 GBPSale -
The Uncertain Reasoner's Companion; A Mathematical Perspective (Paperback / softback) 9780521032728
Regular price £42.49 GBPRegular priceUnit price per£42.99 GBPSale price £42.49 GBPSale -
Coding Theory; A First Course (Paperback) 9780521529235
Regular price £46.27 GBPRegular priceUnit price per£48.99 GBPSale price £46.27 GBPSale -
Topology for Computing (Paperback) 9780521136099
Regular price £44.98 GBPRegular priceUnit price per£47.99 GBPSale price £44.98 GBPSale -
Foundations of Cryptography: Volume 2, Basic Applications (Paperback) 9780521119917
Regular price £51.59 GBPRegular priceUnit price per£36.99 GBPSale price £51.59 GBP -
Process Algebra: Equational Theories of Communicating Processes (Hardback) 9780521820493
Regular price £70.99 GBPRegular priceUnit price per£82.99 GBPSale price £70.99 GBPSale -
Axiomatic Domain Theory in Categories of Partial Maps (Paperback) 9780521602778
Regular price £37.49 GBPRegular priceUnit price per£36.99 GBPSale price £37.49 GBP -
General Recursion Theory; An Axiomatic Approach (Hardback) 9781107168169
Regular price £88.99 GBPRegular priceUnit price per£106.00 GBPSale price £88.99 GBPSale -
Quasi-Interpolation (Hardback) 9781107072633
Regular price £63.28 GBPRegular priceUnit price per£69.99 GBPSale price £63.28 GBPSale -
Topology for Computing (Hardback) 9780521836661
Regular price £101.79 GBPRegular priceUnit price per£84.00 GBPSale price £101.79 GBP -
Term Rewriting Systems (Hardback) 9780521391153
Regular price £198.39 GBPRegular priceUnit price per£167.00 GBPSale price £198.39 GBP
