Skip to main content
Elsevier
View Cart

Books in Theory and mathematics

Our portfolio includes foundational theories, algorithms, formal methods, and computational complexity. Featuring rigorous research, mathematical frameworks, and practical applications, these titles support theorists, mathematicians, and computer scientists in advancing the theoretical underpinnings of computing. Addressing emerging areas like quantum algorithms and formal verification, the collection fuels innovation and scientific discovery.

BooksJournals

    • Provability, Computability and Reflection

      • 1st Edition
      • Volume 20
      • April 1, 2000
      • Lev D. Beklemishev
      • English
      • Paperback
        9 7 8 0 4 4 4 5 5 4 5 4 3
      • eBook
        9 7 8 0 0 8 0 9 5 7 4 0 1
      Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.

    • Soft Computing and Intelligent Systems

      • 1st Edition
      • October 15, 1999
      • Madan M. Gupta
      • Naresh K. Sinha
      • English
      • Paperback
        9 7 8 0 1 2 3 9 1 1 6 2 9
      • Hardback
        9 7 8 0 1 2 6 4 6 4 9 0 0
      • eBook
        9 7 8 0 0 8 0 5 4 1 3 3 4
      The field of soft computing is emerging from the cutting edge research over the last ten years devoted to fuzzy engineering and genetic algorithms. The subject is being called soft computing and computational intelligence. With acceptance of the research fundamentals in these important areas, the field is expanding into direct applications through engineering and systems science.This book cover the fundamentals of this emerging filed, as well as direct applications and case studies. There is a need for practicing engineers, computer scientists, and system scientists to directly apply "fuzzy" engineering into a wide array of devices and systems.

    • Handbook of Computability Theory

      • 1st Edition
      • Volume 140
      • October 1, 1999
      • E.R. Griffor
      • English
      • Paperback
        9 7 8 0 4 4 4 5 4 7 0 1 9
      • Hardback
        9 7 8 0 4 4 4 8 9 8 8 2 1
      • eBook
        9 7 8 0 0 8 0 5 3 3 0 4 9
      The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.

    • Compression Algorithms for Real Programmers

      • 1st Edition
      • September 30, 1999
      • Peter Wayner
      • English
      • Paperback
        9 7 8 0 1 2 7 8 8 7 7 4 6
      • eBook
        9 7 8 0 0 8 0 5 0 2 4 3 4
      In life, time is money, and on the Internet, the size of data is money. Small programs and small files take less disk space and cost less to send over the Internet. Compression Algorithms for Real Programmers describes the basic algorithms and approaches for compressing information so you can create the smallest files possible. These new algorithms are making it possible for people to take impossibly large audio and video files and compress them enough that they can flow over the Internet.

    • Recursive Model Theory

      • 1st Edition
      • Volume 1
      • November 30, 1998
      • English
      • Paperback
        9 7 8 0 4 4 4 5 4 4 2 4 7
      • eBook
        9 7 8 0 0 8 0 5 3 3 6 9 8

Related subjects

Analysis of algorithms and problem complexity

Computation by abstract devices

Logics and meanings of programs

Mathematical logic and formal languages

Natural computation

Quantum computing

Theory and mathematics general