Skip to main content
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.

  • Digital Transformation and Equitable Global Health

    A Future-Ready Perspective
    • 1st Edition
    • October 1, 2026
    • Arletty Pinel + 2 more
    • English
    Digital Transformation and Equitable Global Health: A Future-Ready Perspective presents a collective body of knowledge and global experiences that demonstrate current status and future trends in the use of exponential technologies and their potential for poverty reduction, improving health outcomes, strengthening health systems, and transforming traditional development aid structures. The book uses a translational innovation perspective to guide the reader—regardless of their area of expertise—on the rationale behind the co-creation of human-centered, affordable, and sustainable digital solutions.It addresses the interest of professionals from multiple areas (e.g., technology, health, social development, global financing), and it is a valuable resource for professionals, social scientists, practitioners, researchers, instructors, and undergraduate and graduate students interested in understanding the challenges and complexities of global public health and the applied uses of health technologies for equitable access to primary health care and universal health coverage.

  • Quantum Communication and Cryptography

    • 1st Edition
    • September 1, 2026
    • Walter O. Krawec
    • English
    Quantum Communication and Cryptography introduces readers to the theory of quantum cryptography, with a focus will on quantum key distribution (QKD) and more advanced quantum cryptographic protocols beyond QKD. It contains a brief introduction to the field of modern cryptography that is needed to fully appreciate and understand how quantum cryptographic systems are proven secure, and how they can be safely used in combination with current day classical systems. Readers are then introduced to quantum key distribution (QKD) - perhaps the most celebrated, and currently the most practical, of quantum cryptographic techniques.Basic protocols are described, and security proofs are given, providing readers with the knowledge needed to understand how QKD protocols are proven secure using modern, state- of-the-art definitions of security. Following this, more advanced QKD protocols are discussed, along with alternative quantum and classical methods to improve QKD performance. Finally, alternative quantum cryptographic protocols are covered, along with a discussion on some of the practical considerations of quantum secure communication technology. Throughout, protocols are described in a clear and consistent manner that still provides comprehensive, theoretical proofs and methods.

  • Complexity in Mathematical Biology for Sustainable Development

    Modeling Climate, Disease, and Ecosystems through Difference, Differential, and Fractional Theory
    • 1st Edition
    • August 1, 2026
    • Fatma Bozkurt
    • English
    Complexity in Mathematical Biology for Sustainable Development: Modeling Climate, Disease, and Ecosystems through Difference, Differential, and Fractional Theory introduces new mathematical methods to derive complex modeling solutions for a wide range of engineering and scientific research applications. The book strikes a balance between high-level mathematical theory and technical derivations, offering step-by-step explanations, real-world case studies, and clear introductions to advanced mathematical models. Solutions include modeling and quantifying complexity, with emphasis placed on the growing need for interdisciplinary collaboration, the integration of real-time data into models, and the development of adaptive frameworks challenges such as pandemics, biodiversity loss, and climate uncertainty.The book is designed to meet the needs of a diverse primary audience, from graduate students to professionals in fields such as computer science, public health, environmental policy, applied mathematics, and biotechnology. By providing both theoretical foundations and practical applications, the book equips readers with the skills and knowledge to tackle pressing global challenges through mathematical models, making it a valuable resource for both academic and professional development.

  • Quantum Cryptography and Annealing for Securing Industrial IoT

    • 1st Edition
    • February 27, 2026
    • Seifedine Kadry + 5 more
    • English
    Quantum Cryptography and Annealing for Securing Industrial IoT focuses on the rapidly evolving field of quantum security solutions for Industrial Internet of Things (IIoT) platforms, emphasizing the critical intersection of quantum cryptography, post-quantum cryptography, and their practical applications in IIoT. The book’s primary objective is to drive advancements that significantly intersect quantum cryptography in securing IIoT devices, elevate secure IIoT infrastructures, and optimize the overall delivery. Distinguishing itself by prioritizing practical applications, it offers a nuanced perspective on how technological integrations in quantum cryptosystems are actively employed in real-world scenarios. The authors meticulously examine the role of quantum cryptosystems in the design, analysis, and optimization of IIoT-specific hardware, covering their resilience to physical and side-channel attacks and evaluating performance. This book strikes a balance between theoretical concepts and practical applications, providing insights into the challenges and solutions encountered in applying quantum cryptographical principles to IIoT engineering problems.

  • Fundamentals of Statistics for Researchers and Data Analysts

    • 1st Edition
    • January 23, 2026
    • Shashi A. Chiplonkar + 1 more
    • English
    Fundamentals of Statistics for Researchers and Data Analysts explains statistical methods, and the assumptions and prerequisites for applying various analytical tools from an statistical point of view. Statistical analysis has become indispensable in almost all fields of science, business, industry and medicine, for evidence-based decision making and forecasting. However, due to lack of fundamental understanding of statistics, results of data analysis often remain inconclusive or erroneous. In addition, data analysts or even statistical advisers may not be familiar with the subject area of the data, leading to inaccurate application of statistical tools and interpretation of results. To address these issues, this book breaks down the concepts of statistics into accessible, practical explanations with real-world examples. The book is organized by first explaining what statistical thinking is and how one should proceed with formulating their question in terms of a statistical hypothesis. Then step by step, topics are explained in detail, including data generation by choice of proper study design, data collection methods, identifying outliers, methods of data analysis, and finally interpretation of results to help make the required decision. Essential statistical methods such as classification techniques, correlation analysis, regression models, probability distributions, model building and statistical tests of significance are explained with live datasets using Excel and SPSS. Fundamentals of Statistics for Researchers and Data Analysts instructs readers on the precise methodology of analyzing data and interpretation of statistical results to arrive at a valid conclusion. Readers can use the same methodology from the case studies given in the book for their own applications and research by replacing the variables in the examples with the variables from their own datasets. The book ensures that readers are well-prepared for data-driven roles in various sectors.

  • Quantum Technology

    • 1st Edition
    • October 13, 2025
    • Stefan Tappertzhofen + 1 more
    • English
    Quantum Technology introduces the readers to the fundamentals, materials, and devices for quantum technology applications.The author provides the reader with the key principles of quantum and solid-state physics, and electronic, magnetic and low-dimensional materials. Then, he introduces important advances towards realization of quantum technology such as quantum computing, quantum electronics, and cryogenics. Throughout, the author explores how understanding of materials, physics and nanotechnology can lead to practical implementation and design of devices and new technologies. Enabling technologies that underpin the design of materials, devices, and applications are also discussed.Quantum Technology is suitable for materials scientists, engineers and physicists working towards the realization of quantum technologies. It may be also of interest to computer scientists working in this area.

  • Minds, Machines, and Misinformation

    Decoding Bias, Algorithms, and Trust
    • 1st Edition
    • August 11, 2025
    • Don Donghee Shin
    • English
    Algorithms have become the key organizer through which power is enacted in our society. A huge amount of data regarding our daily routines are monitored and analyzed to make recommendations that manage, control, and lead our behaviors in everyday life. AI, Humans, and Misinformation: How Does AI Alter Human Behavior and How Do Humans Influence Algorithmic Misinformation? is a guide to understanding the dynamics of AI and misinformation in human contexts by addressing meaningful questions—How does AI alter human behavior and how do humans influence algorithmic decision-making? In answering these questions, this book examines the role of misinformation, disinformation, and fake news, and shows readers how to develop AI methods and algorithms that combat misinformation by using AI design choices that provide users and developers alike with meaningful control over AI. This book brings together various perspectives on algorithms into an integrated conceptual framework, and provides a broad socio-technical analysis, addressing critical and ethical issues of misinformation and fake news. The book offers a compelling insight into the misinformation phenomenon and the future of AI-based society. Readers will find an integrated technical analysis of the logic and social implications of algorithmic processes. Reporting from the cutting edge of critical technical methods and research, the result is useful and constructive for developing the relations between algorithms and humans. This is an imperative methodology for understanding what is at stake as industry and government use AI to reshape the world.

  • Theoretical Foundations of Quantum Computing

    • 1st Edition
    • July 25, 2025
    • Daowen Qiu
    • English
    Theoretical Foundations of Quantum Computing is an essential textbook for introductory courses in the quantum computing discipline. Quantum computing represents a paradigm shift in understanding computation. This textbook delves into the principles of quantum mechanics that underpin this revolutionary technology, making it invaluable for undergraduate and graduate students in computer science and related fields. Structured into eight meticulously crafted chapters, it covers everything from the historical context of quantum computing to advanced theories and applications. The book includes core topics such as basic models, quantum algorithms, cryptography, communication protocols, complexity, and error correction codes.Each chapter builds upon the last, ensuring a robust understanding of foundational concepts and cutting-edge research. It serves as both a foundational resource for students and a comprehensive guide for researchers interested in quantum computing. Its clarity makes it an excellent reference for deepening understanding or engaging in advanced research.

  • Statistical Modeling and Robust Inference for One-shot Devices

    • 1st Edition
    • March 26, 2025
    • Narayanaswamy Balakrishnan + 1 more
    • English
    The study of one-shot devices such as automobile airbags, fire extinguishers, or antigen tests, is rapidly becoming an important problem in the area of reliability engineering. These devices, which are destroyed or must be rebuilt after use, are a particular case of extreme censoring, which makes the problem of estimating their reliability and lifetime challenging. However, classical statistical and inferential methods do not consider the issue of robustness.Statistic... Modeling and Robust Interference for One-shot Devices offers a comprehensive investigation of robust techniques of one-shot devices under accelerated-life tests. With numerous examples and case studies in which the proposed methods are applied, this book includes detailed R codes in selected chapters to help readers implement their own codes and use them in the proposed examples and in their own research on one-shot devicetesting data. Researchers, mathematicians, engineers, and students working on acceleratedlife testing data analysis and robust methodologies will find this to be a welcome resource.

  • Quantum Process Algebra

    • 1st Edition
    • March 6, 2025
    • Yong Wang
    • English
    Quantum Process Algebra introduces readers to the algebraic properties and laws for quantum computing. The book provides readers with all aspects of algebraic theory for quantum computing, including the basis of semantics and axiomatization for quantum computing. With the assumption of a quantum system, readers will learn to solve the modeling of the three main components in a quantum system: the unitary operator, quantum measurement, and quantum entanglement, with full support of quantum and classical computing in closed systems. Next, the book establishes the relationship between probabilistic quantum bisimilarity and classical probabilistic bisimilarity, including strong probabilistic bisimilarity and weak probabilistic bisimilarity, which makes an axiomatization of quantum processes possible. With this framework, quantum and classical computing mixed processes are unified with the same structured operational semantics. Finally, the book establishes a series of axiomatizations of quantum process algebras. These process algebras support nearly all the main computation properties. Quantum and classical computing in closed quantum systems are unified with the same equational logic and the same structured operational semantics under the framework of ACP-like probabilistic process algebra. This unification means that the mathematics in the book can be used widely for verification of quantum and classical computing mixed systems, for example, most quantum communication protocols. ACP-like axiomatization also inherits the advantages of ACP, for example, and modularity means that it can be extended in an elegant way.

Related subjects