Mathematical theory of computation Books

Maths for computer scientists
Sidebar Sidebar Sidebar
  • How the World Computes How the World Computes
    Add to Cart The item has been added

    How the World Computes

    This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53 revised...
    $122.00

    Add to Cart The item has been added
  • Computer Science -- Theory and Applications Computer Science -- Theory and Applications
    Add to Cart The item has been added

    Computer Science -- Theory and Applications

    This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. The 28 full papers presented in this volume were...
    $92.00

    Add to Cart The item has been added
  • LATIN 2012 LATIN 2012
    Add to Cart The item has been added

    LATIN 2012

    This book constitutes the proceedings of the 10th Latin American Symposium on Theoretical Informatics, LATIN 2012, held in Arequipa, Peru, in April 2012. The 55 papers presented in this volume were...
    $122.00

    Add to Cart The item has been added
  • Multi-Agent-Based Simulation XII Multi-Agent-Based Simulation XII
    Add to Cart The item has been added

    Multi-Agent-Based Simulation XII

    This book constitutes the refereed proceedings of the 12th International Workshop on Multi-Agent-Based Simulation, MABS 2011, held in Taipei, Taiwan, in May 2011. The 10 revised selected and...
    $122.00

    Add to Cart The item has been added
  • Technological Innovation for Value Creation Technological Innovation for Value Creation
    Add to Cart The item has been added

    Technological Innovation for Value Creation

    This book constitutes the refereed proceedings of the Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, held in Costa de Caparica, Portugal,...
    $280.00

    Add to Cart The item has been added
  • Transactions on Rough Sets XI Transactions on Rough Sets XI
    Add to Cart The item has been added

    Transactions on Rough Sets XI

    Volume XI of the Transactions on Rough Sets (TRS) provides evidence of f- ther growth in the rough set landscape, both in terms of its foundations and applications. This volume provides further...
    $92.00

    Add to Cart The item has been added
  • DNA Computing and Molecular Programming DNA Computing and Molecular Programming
    Add to Cart The item has been added

    DNA Computing and Molecular Programming

    The 15th International Conference on DNA Computing and Molecular P- gramming was held during June 8-11, 2009 on the campus of the University of Arkansas in Fayetteville, AR. The conference attracts...
    $92.00

    Add to Cart The item has been added
  • AI*Ia 2009 AI*Ia 2009
    Add to Cart The item has been added

    AI*Ia 2009

    This volumecontainsthe scienti?c papersacceptedforpublicationatthe conf- ence of the Italian Association for Arti?cial Intelligence (AI*IA), held in Reggio Emilia during December 9-12, 2009. This was...
    $227.00

    Add to Cart The item has been added
  • Algorithms - ESA'99 Algorithms - ESA'99
    Add to Cart The item has been added

    Algorithms - ESA'99

    The 7th Annual European Symposium on Algorithms (ESA '99) is held in Prague, Czech Republic, July 16-18, 1999. This continued the tradition of the meetings which were held in - 1993 Bad Honnef...
    $184.00

    Add to Cart The item has been added
  • Theory Reasoning in Connection Calculi Theory Reasoning in Connection Calculi
    Add to Cart The item has been added

    Theory Reasoning in Connection Calculi

    The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about...
    $116.00

    Add to Cart The item has been added
  • Neural Circuits and Networks Neural Circuits and Networks
    Add to Cart The item has been added

    Neural Circuits and Networks

    The understanding of parallel processing and of the mechanisms underlying neural networks in the brain is certainly one of the most challenging problems of contemporary science. During the last...
    $227.00

    Add to Cart The item has been added
  • CSL '89 CSL '89
    Add to Cart The item has been added

    CSL '89

    This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range...
    $116.00

    Add to Cart The item has been added
  • COLOG-88 COLOG-88
    Add to Cart The item has been added

    COLOG-88

    This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their...
    $92.00

    Add to Cart The item has been added
  • Optimal Algorithms Optimal Algorithms
    Add to Cart The item has been added

    Optimal Algorithms

    This volume brings together papers from various fields of theoretical computer science, including computational geometry, parallel algorithms, algorithms on graphs, data structures and complexity of...
    $122.00

    Add to Cart The item has been added
  • Categorical Methods in Computer Science Categorical Methods in Computer Science
    Add to Cart The item has been added

    Categorical Methods in Computer Science

    This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in...
    $122.00

    Add to Cart The item has been added
  • Distributed Algorithms Distributed Algorithms
    Add to Cart The item has been added

    Distributed Algorithms

    This book includes the papers presented at the Third International Workshop on Distributed Algorithms organized at La Colle-sur-Loup, near Nice, France, September 26-28, 1989 which followed the first...
    $116.00

    Add to Cart The item has been added
  • EUROCAL '87 EUROCAL '87
    Add to Cart The item has been added

    EUROCAL '87

    This is the sixth in a series of conference proceedings of international conferences on computer algebra held in Europe. All the preceding ones have also been published as Lecture Notes in Computer...
    $122.00

    Add to Cart The item has been added
  • Logic at Botik '89 Logic at Botik '89
    Add to Cart The item has been added

    Logic at Botik '89

    The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the...
    $116.00

    Add to Cart The item has been added
  • Formal and Natural Computing Formal and Natural Computing
    Add to Cart The item has been added

    Formal and Natural Computing

    This book presents state of the art research in theoretical computer science and related ?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics...
    $122.00

    Add to Cart The item has been added
  • Proof Theory in Computer Science Proof Theory in Computer Science
    Add to Cart The item has been added

    Proof Theory in Computer Science

    Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory...
    $122.00

    Add to Cart The item has been added
  • Coevolutionary Fuzzy Modeling Coevolutionary Fuzzy Modeling
    Add to Cart The item has been added

    Coevolutionary Fuzzy Modeling

    Building on fuzzy logic and evolutionary computing, this book introduces fuzzy cooperative coevolution as a novel approach to systems design, conductive to explaining human decision process. Fuzzy...
    $122.00

    Add to Cart The item has been added
  • Lectures on Concurrency and Petri Nets Lectures on Concurrency and Petri Nets
    Add to Cart The item has been added

    Lectures on Concurrency and Petri Nets

    Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.-...
    $184.00

    Add to Cart The item has been added
  • Simulated Evolution and Learning Simulated Evolution and Learning
    Add to Cart The item has been added

    Simulated Evolution and Learning

    This book constitutes the refereed proceedings of the 11th International Conference on Simulated Evolution and Learning, SEAL 2017, held in Shenzhen, China, in November 2017. The 85 papers presented...
    $227.00

    Add to Cart The item has been added
  • Topical Directions of Informatics Topical Directions of Informatics
    Add to Cart The item has been added

    Topical Directions of Informatics

    This work is devoted to the late Ukrainian computer scientist V. M. Glushkov on the 90th anniversary of his birthday. Dr. Glushkov is known for his contribution to the world computer science and...
    $184.00

    Add to Cart The item has been added
  • Fault-Tolerant Parallel Computation Fault-Tolerant Parallel Computation
    Add to Cart The item has been added

    Fault-Tolerant Parallel Computation

    Fault-Tolerant Parallel Computation presents recent advances in algorithmic ways of introducing fault-tolerance in multiprocessors under the constraint of preserving efficiency. The difficulty ...
    $227.00

    Add to Cart The item has been added
  • Applied Geospatial Data Science with Python Applied Geospatial Data Science with Python
    Add to Cart The item has been added

    Applied Geospatial Data Science with Python

    Intelligently connect data points and gain a deeper understanding of environmental problems through hands-on Geospatial Data Science case studies written in PythonThe book includes colored images of...
    $120.00

    Add to Cart The item has been added
  • Computer Vision on AWS Computer Vision on AWS
    Add to Cart The item has been added

    Computer Vision on AWS

    Scale up your Windows containers seamlessly on AWS powered by field-proven expertise and best practices on Amazon ECS, EKS, and FargatePurchase of the print or Kindle book includes a free PDF...
    $98.00

    Add to Cart The item has been added
  • Hands-On Explainable AI (XAI) with Python Hands-On Explainable AI (XAI) with Python
    Add to Cart The item has been added

    Hands-On Explainable AI (XAI) with Python

    Resolve the black box models in your AI applications to make them fair, trustworthy, and secure. Familiarize yourself with the basic principles and tools to deploy Explainable AI (XAI) into your apps...
    $114.00

    Add to Cart The item has been added
  • Mining Software Specifications Mining Software Specifications
    Add to Cart The item has been added

    Mining Software Specifications

    An emerging topic in software engineering and data mining, specification mining tackles software maintenance and reliability issues that cost economies billions of dollars each year. The first...
    $198.00

    Add to Cart The item has been added
Mathematical theory of computation