Mathematical theory of computation Books
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 Protecting Information From Classical Error Correction to Quantum Cryptography
a huge range and FREE tracked UK delivery on ALL orders.
£35.14
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
Cambridge University Press Planning Algorithms
Book SynopsisWritten for computer scientists and engineers with interests in artificial intelligence, robotics, or control theory, this is the only book on this topic that integrates literature from several fields into a coherent source for teaching and reference in applications including robotics, computational biology, computer graphics, manufacturing, aerospace applications and medicine.Trade Review'This is a terrific book, a milestone in the robotics literature.' Matt Mason, Director of The Carnegie Mellon Robotics Institute'Motion planning is an important field of research with applications in such diverse terrains as robotics, molecular modeling, virtual environments, and games. Over the past two decades a huge number of techniques have been developed, all with their merits and shortcomings. The book by Steve LaValle gives an excellent overview of the current state of the art in the field. It should lie on the desk of everybody that is involved in motion planning research or the use of motion planning in applications.' Mark Overmars, Utrecht University'A great book at the junction where Robotics, Artificial Intelligence, and Control are crossing their paths. For many problems you will find in-depth discussion and algorithms; for virtually all others in the field, an intriguing introduction to make you at ease and entice you to further probing the matter.' Antonio Bicchi, della Università di Pisa'Since the early 90s, Latombe's book has been the authoritative source for students and researchers working on motion planning problems in robotics. During the succeeding decade and half, the motion planning field moved forward with significant developments. LaValle's book picks up the field where Latombe's book left it, describing in detail major developments such as probabilistic roadmaps, manipulation, and coverage planning. Moreover, the book describes a fundamental generalization of configuration spaces to information spaces. The chapters on information spaces appear here for the first time, making them accessible to students and researchers who wish to tackle progressively more challenging real-world motion planning problems in robotics.' Elon Rimon, Technion'Planning Algorithms is a daring title. It aims at being ecumenical gathering students and their professors scattered in various departments of Engineering and calling them to share the same mathematical foundations. The story starts with motion planning algorithms. Steve LaValle's deep extensive understanding and his effective expertise in that area are shared in this book. They allow the author to go further and to generalize the famous configuration space of the piano mover problem into the information space. This is the core of the title ambition. All the seminal material born with Robotics, Artificial Intelligence and Control, and developed for more than thirty years in a sparse way, are there uniquely unified. The book is not a catalogue of methods. It is the coherent view of a single researcher. The style is nice making the reading fluent: there is a good balance between informal introduction of concepts and the necessary technical developments. Students, researchers and engineers exploring routes in Artificial Intelligence and Robotics, in Graphics and CAD/CAM, and even Molecular Biology now, will find here amazing computational foundations for their topics.' Jean-Paul Laumond, LAAS-CNRS' … this book really is monumental and well-written piece of work, and although few will have cause to read more than a fraction of its content, at its price it deserves to find its way onto the bookshelves of many of us, as well as being recommended to our students.' ScienceDirectTable of ContentsPart I. Introductory Material: 1. Introduction; 2. Discrete planning; Part II. Motion Planning: 3. Geometric representations and transformations; 4. The configuration space; 5. Sampling-based motion planning; 6. Combinatorial motion planning; 7. Extensions of basic motion planning; 8. Feedback motion planning; Part III. Decision-Theoretic Planning: 9. Basic decision theory; 10. Sequential decision theory; 11. Information spaces; 12. Planning under sensing uncertainty; Part IV. Planning Under Differential Constraints: 13. Differential models; 14. Sampling-based planning under differential constraints; 15. System theory and analytical techniques.
£89.29
Cambridge University Press Computational Thermodynamics The CALPHAD Method
Book SynopsisA hands-on 2007 introductory guide to CALPHAD, the reader can directly apply the methods in the book to their own research. Several case studies put the methods into a practical context. Suitable for advanced materials design and engineering courses and to those using thermodynamic data in their research or simulations.Trade Review"Lukas (U. Stuttgart emeritus) and co-authors Sundman (Paul Sabatier U.) and independent scientist Fries provide the first introductory guide to this method of computation that combines data from thermodynamics, phase diagrams, and atomistic properties such as magnetism into a unified and consistent model. They introduce the science and art of computational thermodynamics and the past and present of the Calphad technique, the scientific basis of the technique (including thermodynamics, crystallography, equilibrium calculations and optimization methods), first principles and thermodynamic properties, experimental data needed for optimization, models for the Gibbs energy element, assessment methodology, optimization tools, and thermodynamic databases. They also offer a series of case studies, including a complete assessment of the Cu-Mg system and a complete binary system (Ca-Ng) and provide a list of websites along with comprehensive references." --Book NewsTable of ContentsPreface; 1. Introduction; 2. Basis; 3. First principles and thermodynamic properties; 4. Experimental data used for the optimisation; 5. Models for the Gibbs energy; 6. Assessment methodology; 7. Optimisation tools; 8. Creating thermodynamic databases; 9. Case studies; Bibliography; Index.
£107.35
Cambridge University Press A Distributed PiCalculus
a huge range and FREE tracked UK delivery on ALL orders.
£64.59