Mathematical theory of computation Books
Cambridge University Press Computer Mathematics 18 Cambridge Computer Science Texts Series Number 18
a huge range and FREE tracked UK delivery on ALL orders.
£31.34
Cambridge University Press An Introduction to Computational Combinatorics 9 Cambridge Computer Science Texts Series Number 9
a huge range and FREE tracked UK delivery on ALL orders.
£35.14
Cambridge University Press Practical Denotational Semantics 23 Cambridge Computer Science Texts Series Number 23
a huge range and FREE tracked UK delivery on ALL orders.
£28.99
Cambridge University Press Design Theory and Computer Science
a huge range and FREE tracked UK delivery on ALL orders.
£144.40
Cambridge University Press Term Rewriting Systems 55 Cambridge Tracts in Theoretical Computer Science Series Number 55
Book SynopsisA comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for teaching or research, it features numerous exercises with selected solutions on the web, an extensive bibliography and a chapter on applications.Trade Review'The book presents the state of the art of rewriting techniques, it gives (or scratches) proofs on a very precise level and gives hints to historical sources of the results and to further readings, so it is highly recommended to researchers working in this area.' Zentralblatt für Mathematik'… has extensive material … suffice it to say that this book is indispensable for a any serious student of rewriting.' Journal of TLP'… it will soon be a compulsory reference for anyone working in the area.' Journal of Functional ProgrammingTable of Contents1. Abstract reduction systems; 2. First-order term rewriting systems; 3. Examples of TRSs and special rewriting formats; 4. Orthogonality; 5. Properties of rewriting: decidability and modularity; 6. Termination; 7. Completion of equational specifications; 8. Equivalence of reductions; 9. Strategies; 10. Lambda calculus; 11. Higher order rewriting; 12. Infinitary rewriting; 13. Term graph rewriting; 14. Advanced ARS theory; 15. Rewriting based languages and systems; 16. Mathematical background.
£185.25
Cambridge University Press The Clausal Theory of Types 21 Cambridge Tracts in Theoretical Computer Science Series Number 21
a huge range and FREE tracked UK delivery on ALL orders.
£57.95
Cambridge University Press Nets Terms and Formulas Three Views of Concurrent Processes and their Relationship 23 Cambridge Tracts in Theoretical Computer Science Series Number 23
a huge range and FREE tracked UK delivery on ALL orders.
£99.75
Cambridge University Press Designs and their Codes 103 Cambridge Tracts in Mathematics Series Number 103
a huge range and FREE tracked UK delivery on ALL orders.
£145.35
Cambridge University Press Proof Theory
a huge range and FREE tracked UK delivery on ALL orders.
£104.50
Cambridge University Press Higher Order Logic and Hardware Verification 31 Cambridge Tracts in Theoretical Computer Science Series Number 31
a huge range and FREE tracked UK delivery on ALL orders.
£88.00
Cambridge University Press LMS 177 Applications of Categories Proceedings of the London Mathematical Society Symposium Durham 1991 London Mathematical Society Lecture Note Series Series Number 177
a huge range and FREE tracked UK delivery on ALL orders.
£65.86
Cambridge University Press Computation with Finitely Presented Groups 48 Encyclopedia of Mathematics and its Applications Series Number 48
a huge range and FREE tracked UK delivery on ALL orders.
£147.25
Cambridge University Press Formal Specification and Design 35 Cambridge Tracts in Theoretical Computer Science Series Number 35
a huge range and FREE tracked UK delivery on ALL orders.
£45.59
Cambridge University Press Bounded Arithmetic Propositional Logic and Complexity Theory 60 Encyclopedia of Mathematics and its Applications Series Number 60
a huge range and FREE tracked UK delivery on ALL orders.
£122.55
Cambridge University Press Designs and their Codes 103 Cambridge Tracts in Mathematics Series Number 103
a huge range and FREE tracked UK delivery on ALL orders.
£72.19
Cambridge University Press Semantic Techniques in Quantum Computation
a huge range and FREE tracked UK delivery on ALL orders.
£76.94
Cambridge University Press foundationsofcomputationalmathematicsminneapolis2002
a huge range and FREE tracked UK delivery on ALL orders.
£61.71
Cambridge University Press Qualified Types
a huge range and FREE tracked UK delivery on ALL orders.
£35.14
Cambridge University Press The PiCalculus
a huge range and FREE tracked UK delivery on ALL orders.
£59.22
Cambridge University Press The Way of Z
a huge range and FREE tracked UK delivery on ALL orders.
£54.14
Cambridge University Press Combinatorial Species and Treelike Structures 67 Encyclopedia of Mathematics and its Applications Series Number 67
Book SynopsisThis book provides a unified understanding of the use of generating functions for labelled and unlabelled structures. Applications include graphical enumeration, Polya theory and analysis of data structures in computer science, special functions, functional equations, asymptotic analysis, and differential equations.Trade Review'This book can serve as an introduction to the subject; it will also be an extremely valuable reference book.' International Mathematical News' … the first complete presentation in English of the combinatorial theory of species.' L'Enseignment Mathématique' … a comprehensive account.' Zentralblatt für Mathematik und ihre GrenzgebieteTable of Contents1. Introduction to species of structures; 2. Complements on species of structures; 3. Combinatorial functional equations; 4. Complements on types of structures; 5. Species on totally ordered sets.
£158.65
Cambridge University Press Semantics and Logics of Computation 14 Publications of the Newton Institute Series Number 14
a huge range and FREE tracked UK delivery on ALL orders.
£112.22
Cambridge University Press Metamaths Machines Godels Proof 38 Cambridge Tracts in Theoretical Computer Science Series Number 38
a huge range and FREE tracked UK delivery on ALL orders.
£40.84
Cambridge University Press Epistemic Logic for Artifcl Intell 41 Cambridge Tracts in Theoretical Computer Science Series Number 41
a huge range and FREE tracked UK delivery on ALL orders.
£55.91
Cambridge University Press Logic Programming
a huge range and FREE tracked UK delivery on ALL orders.
£35.14
Cambridge University Press Linear Logic in Computer Science 316 London Mathematical Society Lecture Note Series Series Number 316
a huge range and FREE tracked UK delivery on ALL orders.
£82.41
Cambridge University Press Algorithmic Information Theory
a huge range and FREE tracked UK delivery on ALL orders.
£45.59
Cambridge University Press Action Semantics
a huge range and FREE tracked UK delivery on ALL orders.
£49.39
Cambridge University Press Elliptic Curves in Cryptography 265 London Mathematical Society Lecture Note Series Series Number 265
a huge range and FREE tracked UK delivery on ALL orders.
£62.69
Cambridge University Press Permutation Group Algorithms
a huge range and FREE tracked UK delivery on ALL orders.
£105.45
Cambridge University Press Case Studies in Neuroanesthesia and Neurocritical Care Case Studies in Neurology
a huge range and FREE tracked UK delivery on ALL orders.
£100.70
Cambridge University Press Lambda Calculus with Types Perspectives in Logic
Book SynopsisTyped lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided.Trade Review'The book has a place in undergraduate libraries because of its uniquely comprehensive, if theoretical, treatment of a timely, widely important subject. Recommended.' D. V. Feldman, Choice'The authors have produced a well-written, organised and comprehensive account of three important type systems. These systems' properties have been rich sources of interest to logicians for many years; their problems are not all solved, and in future work this book will almost certainly become a standard reference about them. It will also allow the more mathematically inclined computer scientist to obtain a deeper understanding of the principles behind some of the higher order languages in current use.' Bulletin of the London Mathematical SocietyTable of ContentsList of contributors; Preface; Introduction; Part I. Simple Types: 1. The simply typed lambda calculus; 2. Properties; 3. Tools; 4. Definability, unification and matching; 5. Extensions; 6. Applications; Part II. Recursive Types: 7. The systems; 8. Properties of recursive types; 9. Properties of terms with types; 10. Models; 11. Applications; Part III. Intersection Types: 12. An exemplary system; 13. Type assignment systems; 14. Basic properties; 15. Type and lambda structures; 16. Filter models; 17. Advanced properties and applications; Bibliography; Symbol index; Names index; Definitions index.
£74.09
Cambridge University Press Topics in Finite and Discrete Mathematics
a huge range and FREE tracked UK delivery on ALL orders.
£94.99
Cambridge University Press Statistical Mechanics of Learning
a huge range and FREE tracked UK delivery on ALL orders.
£114.00
Cambridge University Press Statistical Mechanics of Learning
a huge range and FREE tracked UK delivery on ALL orders.
£59.84
Cambridge University Press Topics in Finite and Discrete Mathematics
a huge range and FREE tracked UK delivery on ALL orders.
£42.74
Cambridge University Press The Standard ML Basis Library
a huge range and FREE tracked UK delivery on ALL orders.
£40.84
Cambridge University Press Concurrency Verification Introduction to Compositional and Noncompositional Methods 54 Cambridge Tracts in Theoretical Computer Science Series Number 54
a huge range and FREE tracked UK delivery on ALL orders.
£202.50
Cambridge University Press Solving Polynomial Equation Systems III Volume 3 Algebraic Solving 157 Encyclopedia of Mathematics and its Applications Series Number 157
a huge range and FREE tracked UK delivery on ALL orders.
£105.45
Cambridge University Press Fluid Dynamics of Particles Drops and Bubbles
a huge range and FREE tracked UK delivery on ALL orders.
£75.99
Cambridge University Press Knowledge Representation Reasoning and Declarative Problem Solving
a huge range and FREE tracked UK delivery on ALL orders.
£128.25
Cambridge University Press Process Algebra Equational Theories of Communicating Processes 50 Cambridge Tracts in Theoretical Computer Science Series Number 50
a huge range and FREE tracked UK delivery on ALL orders.
£82.64
Cambridge University Press Automatic Sequences
a huge range and FREE tracked UK delivery on ALL orders.
£81.69
Cambridge University Press Protecting Information From Classical Error Correction to Quantum Cryptography
a huge range and FREE tracked UK delivery on ALL orders.
£79.79
Cambridge University Press Global Methods for Combinatorial Isoperimetric Problems
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Cambridge University Press The Geometry of Information Retrieval
a huge range and FREE tracked UK delivery on ALL orders.
£69.34
Cambridge University Press Elements of Automata Theory
Book SynopsisAutomata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous account of the topic and illuminates its real meaning by looking at the subject in a variety of ways. The first part of the book is organised around notions of rationality and recognisability. The second part deals with relations between words realised by finite automata, which not only exemplifies the automata theory but also illustrates the variety of its methods and its fields of application. Many exercises are included, ranging from those that test the reader, to those that are technical results, to those that extend ideas presented in the text. Solutions or answers to many of these are included in the book.Trade Review'… a rich exposition … expertly translated by Reuben Thomas … its motivating ideas and substantive cross-currents fill almost every page … Nothing seems to be missing … should be on the shelf of every serious student and professional. It will enjoy a very long stay on my own.' Computing ReviewsTable of ContentsForeword; 0. Fundamental structures; 1. The simplest possible machine; 2. The power of algebra; 3. The pertinence of enumeration; 4. The richness of transducers; 5. The simplicity of functional transducers; Bibliography; Index.
£153.00
Cambridge University Press A Short Introduction to Quantum Information and Quantum Computation
a huge range and FREE tracked UK delivery on ALL orders.
£56.99