Skip to main content

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


reuben thomas

Showing 1 - 12 of 12 results for “reuben thomas
Skip side bar filters
  • Elements of Automata Theory

    Translated by Reuben Thomas ...
    Automata 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 ... Read more

    $218.99 USD

People who read this also enjoyed

  • Mathematical Logic for Computer Science

    Series series Computer Science (R0)
    Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems ... Read more

    $58.99 USD

  • Scala: From a Functional Programming Perspective

    An Introduction to the Programming Language

    by Vicenç Torra ...
    Series series Computer Science (R0)
    This book gives an introduction to the programming language Scala. It presents it from a functional programming perspective. The book explains with detail functional programming and recursivity, and includes chapters on lazy and eager evaluation, streams, higher-order functions (including map, fold, reduce, and aggregate), and algebraic data types. The book also describes the object-oriented ... Read more

    $49.99 USD

  • A Concise Introduction to Languages and Machines

    Series series Computer Science (R0)
    A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader.The approach is deliberately non-mathematical, and features: - Clear ... Read more

    $40.99 USD

  • Inductive Fuzzy Classification in Marketing Analytics

    Series series Business and Management (R0)
    To enhance marketing analytics, approximate and inductive reasoning can be applied to handle uncertainty in individual marketing models. This book demonstrates the use of fuzzy logic for classification and segmentation in marketing campaigns. Based on practical experience as a data analyst and on theoretical studies as a researcher, the author explains fuzzy classification, inductive logic and the ... Read more

    $89.99 USD

  • Sets, Logic and Maths for Computing

    Series series Computer Science (R0)
    The first part of this preface is for the student; the second for the instructor. But whoever you are, welcome to both parts. For the Student You have finished secondary school, and are about to begin at a university or technical college. You want to study computing. The course includes some mathematics { and that was not necessarily your favourite subject. But there is no escape: some finite ... Read more

    $40.99 USD

  • New Frontiers in Artificial Intelligence

    JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2013 Workshops LENLS, JURISIN, MiMI, AAA, and DDS which tool place on October 2013, in Japan. The 28 contributions in this volume were carefully reviewed and selected from 48 submissions. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and ... Read more

    $49.99 USD

  • Concise Computer Mathematics

    Tutorials on Theory and Problems

    Series series Computer Science (R0)
    Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained introduction to the basic notions of mathematics necessary for a computer science degree. The text reflects the need to quickly introduce students from a variety of educational backgrounds to a number of essential mathematical concepts. The material ... Read more

    $62.99 USD

  • Quantum Physics, Fuzzy Sets and Logic

    Steps Towards a Many-Valued Interpretation of Quantum Mechanics

    Series series Physics and Astronomy (R0)
    This Brief presents steps towards elaborating a new interpretation of quantum mechanics based on a specific version of Łukasiewicz infinite-valued logic. It begins with a short survey of main interpretations of quantum mechanics already proposed, as well as various models of many-valued logics and previous attempts to apply them for the description of quantum phenomena. The prospective many-valued ... Read more

    $49.99 USD

  • Information and Communication Technologies in Education, Research, and Industrial Applications

    11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2015, held in Lviv, Ukraine, in May 2015.The 9 revised full papers presented were carefully reviewed and selected from 119 submissions. The papers are grouped into two parts: ICT in education and ... Read more

    $49.99 USD

  • Semantic Technology

    5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 5th Joint International Semantic Technology Conference, JIST 2015, held in Yichang, China, in November 2015.The theme of the JIST 2015 conference was "Big Data and Social Media". The JIST 2015 conference consisted of main technical tracks including 2 keynotes, 2 invited talks, a regular technical paper track (full and short papers), ... Read more

    $49.99 USD

  • Perspectives in Computational Complexity

    The Somenath Biswas Anniversary Volume

    Series series Mathematics and Statistics (R0)
    This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and offer fresh perspectives on various aspects of complexity theory. The topics covered include arithmetic circuit complexity, lower ... Read more

    $98.99 USD