Discrete mathematics

ACMES (Algorithms and Complexity in Mathematics, Epistemology, and Science) is a multidisciplinary conference series that focuses on epistemological and mathematical issues relating to computation in modern science.

This book is intended to introduce researchers and graduate students to the concepts of causal symmetric spaces.

This title is the result of a one-week workshop sponsored by the Swedish research agency, FRN, on the interface between complexity and art.

This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic.

Linear models, normally presented in a highly theoretical and mathematical style, are brought down to earth in this comprehensive textbook.

Constraint-based linguistics is intersected by three fields: logic, linguistics, and computer sciences.

Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata.

Stochastic local search (SLS) algorithms are among the most prominent and successful techniques for solving computationally difficult problems in many areas of computer science and operations research, including propositional satisfiability, constraint satisfaction, routing, and scheduling.

This book explores the dynamic interplay between fractals and graph theory, two powerful mathematical tools with vast applications.

Mathematics of Tabletop Games provides a bridge between mathematics and hobby tabletop gaming.

In this book we generate graphic images using the software Mathematica thus providing a gentle and enjoyable introduction to this rather technical software and its graphic capabilities.

As the sophistication of cyber-attacks increases, understanding how to defend critical infrastructure systems-energy production, water, gas, and other vital systems-becomes more important, and heavily mandated.

This book comes out of need and urgency (expressed especially in areas of Information Retrieval with respect to Image, Audio, Internet and Biology) to have a working tool to compare data.

This book explores a new, economically viable approach to pressure vessel design, included in the (harmonized) standard EN 13445 (for unfired pressure vessels) and based on linear as well as non-linear Finite Element analyses.

This unique textbook comprehensively introduces the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds.

This book explores the transformative potential of blockchain technology and shows how blockchain can promote equitable access to resources and bridge societal gaps.

This book concentrates on mining networks, a subfield within data science.

This book concentrates on mining networks, a subfield within data science.