Search results
-
Acta Numerica 2016: Volume 25 (Hardback) 9781107168053
Regular price £119.88 GBPRegular priceUnit price per£165.00 GBPSale price £119.88 GBPSale -
Logic Programming; Operational Semantics and Proof Theory (Paperback) 9780521607544
Regular price £35.89 GBPRegular priceUnit price per£30.99 GBPSale price £35.89 GBP -
Topics in Finite and Discrete Mathematics (Hardback) 9780521772594
Regular price £104.59 GBPRegular priceUnit price per£94.99 GBPSale price £104.59 GBP -
Systemic Text Generation as Problem Solving (Hardback) 9780521350761
Regular price £88.29 GBPRegular priceUnit price per£94.00 GBPSale price £88.29 GBPSale -
Categories and Computer Science (Paperback) 9780521422260
Regular price £38.99 GBPRegular priceUnit price per£37.99 GBPSale price £38.99 GBP -
Systemic Text Generation as Problem Solving (Paperback / softback) 9780521039260
Regular price £33.59 GBPRegular priceUnit price per£31.99 GBPSale price £33.59 GBP -
Solving Polynomial Equation Systems III: Volume 3, Algebraic Solving (Hardback) 9780521811552
Regular price £88.99 GBPRegular priceUnit price per£106.00 GBPSale price £88.99 GBPSale -
Topics in Finite and Discrete Mathematics (Paperback) 9780521775717
Regular price £43.99 GBPRegular priceUnit price per£38.99 GBPSale price £43.99 GBP -
Algorithmic Information Theory (Paperback) 9780521616041
Regular price £43.79 GBPRegular priceUnit price per£45.99 GBPSale price £43.79 GBPSale -
Algebraic Specification of Communication Protocols (Paperback / softback) 9780521088121
Regular price £40.19 GBPRegular priceUnit price per£38.99 GBPSale price £40.19 GBP -
Graph Theory (Paperback) 9780521794893
Regular price £44.89 GBPRegular priceUnit price per£46.99 GBPSale price £44.89 GBPSale -
Specification and Proof in Real Time CSP (Paperback / softback) 9781107403864
Regular price £45.96 GBPRegular priceUnit price per£49.99 GBPSale price £45.96 GBPSale -
The Standard ML Basis Library (Paperback) 9780521794787
Regular price £37.99 GBPRegular priceUnit price per£40.99 GBPSale price £37.99 GBPSale -
Predicate Transformer Semantics (Paperback) 9780521616102
Regular price £48.89 GBPRegular priceUnit price per£49.99 GBPSale price £48.89 GBPSale -
Free Choice Petri Nets (Paperback) 9780521019453
Regular price £37.39 GBPRegular priceUnit price per£36.99 GBPSale price £37.39 GBP -
Semantics and Logics of Computation (Hardback) 9780521580571
Regular price £96.39 GBPRegular priceUnit price per£100.00 GBPSale price £96.39 GBPSale -
Specification and Proof in Real Time CSP (Hardback) 9780521450553
Regular price £85.49 GBPRegular priceUnit price per£94.00 GBPSale price £85.49 GBPSale -
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Paperback) 9780521168465
Regular price £43.69 GBPRegular priceUnit price per£42.99 GBPSale price £43.69 GBP -
Foundations of Computational Mathematics, Minneapolis 2002 (Paperback) 9780521542531
Regular price £52.59 GBPRegular priceUnit price per£26.99 GBPSale price £52.59 GBP -
Categories and Computer Science (Hardback) 9780521419970
Regular price £72.49 GBPRegular priceUnit price per£81.00 GBPSale price £72.49 GBPSale -
Semantics and Logics of Computation (Paperback) 9780521118460
Regular price £40.99 GBPRegular priceUnit price per£36.99 GBPSale price £40.99 GBP -
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Hardback) 9780521753739
Regular price £96.99 GBPRegular priceUnit price per£106.00 GBPSale price £96.99 GBPSale -
Protocols by Invariants (Paperback) 9780521607551
Regular price £41.88 GBPRegular priceUnit price per£40.99 GBPSale price £41.88 GBP -
Proof Theory; A selection of papers from the Leeds Proof Theory Programme 1990 (Hardback) 9780521414135
Regular price £88.29 GBPRegular priceUnit price per£105.00 GBPSale price £88.29 GBPSale
