Discrete mathematics

Combinatorial theory is one of the fastest growing areas of modern mathematics.

This book provides the key technologies involved in an organization's digital transformation.

For more than 35 years now, George B.

This book constitutes the proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, held in Bratislava, Slovak Republic, during January 20-23, 2025.

This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015.

This book has grown out of graduate courses given by the author at Southern Illinois University, Carbondale, as well as a series of seminars delivered at Curtin University of Technology, Western Australia.

This book grew out of our research, industry consulting and con- tinuing education courses.

This book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in Haikou, China, in May 2020.

Graph Separators with Applications is devoted to techniques for obtaining upper and lower bounds on the sizes of graph separators - upper bounds being obtained via decomposition algorithms.

The Art of Proving Binomial Identities accomplishes two goals: (1) It provides a unified treatment of the binomial coefficients, and (2) Brings together much of the undergraduate mathematics curriculum via one theme (the binomial coefficients).

This book constitutes the thoroughly refereed workshop post-proceedings of the 15th International Workshop on Approximation and Online Algorithms, WAOA 2017, held in Vienna, Austria, in September 2017 as part of ALGO 2017.

Why Olympiads?

This book constitutes the proceedings of the Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2018, held in Beijing, China, in August 2018.

Coding and Modulation for Digital Television presents a comprehensive description of all error control coding and digital modulation techniques used in Digital Television (DTV).

Thisbook constitutes the refereed proceedings of the 19th IAPR InternationalConference on Discrete Geometry for Computer Imagery, DGCI 2016, held in Nantes,France, in April 2016.

This book constitutes the proceedings of the 10th International Workshop on Security, IWSEC 2015, held in Nara, Japan, in August 2015.

In the ten years since the publication of the best-selling first edition, more than 1,000 graph theory papers have been published each year.

This book constitutes the proceedings of the Third International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2017, held in Goa, India, in February 2017.

Applied Systems and Cybernetics, Volume V: Systems Approaches in Computer Science and Mathematics covers the proceedings of the International Congress on Applied Systems Research and Cybernetics.

The essential guide showing how the unbounded delay model of computation of the Boolean functions may be used in the analysis of the Boolean networks Boolean Functions: Topics in Asynchronicity contains the most current research in several issues of asynchronous Boolean systems.

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles.

A famous theorem in the theory of linear spaces states thatevery finite linear space has at least as many lines aspoints.

Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics.

This book constitutes the proceedings of the 14th International Computer Science Symposium in Russia, CSR 2019, held in Novosibirsk, Russia, in July 2019.

Emphasizing the search for patterns within and between biological sequences, trees, and graphs, Combinatorial Pattern Matching Algorithms in Computational Biology Using Perl and R shows how combinatorial pattern matching algorithms can solve computational biology problems that arise in the analysis of genomic, transcriptomic, proteomic, metabolomic

This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Approximation and Online Algorithms, WAOA 2016, held in Aarhus, Denmark, in August 2016 as part of ALGO 2016.

The book provides a comprehensive introduction and a novel mathematical foundation of the field of information geometry with complete proofs and detailed background material on measure theory, Riemannian geometry and Banach space theory.

The book presents the proceedings of the 23rd International Conference on Difference Equations and Applications, ICDEA 2017, held at the West University of Timisoara, Romania, under the auspices of the International Society of Difference Equations (ISDE), July 24 - 28, 2017.

This book constitutes the proceedings of the 11th International Workshop on Frontiers in Algorithmics, FAW 2017, held in Chengdu, China, in June 2017.

This book constitutes the revised selected papers of the 44th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2018, held  in Cottbus, Germany, in June 2018.

Cellular automata can be viewed both as computational models and modelling systems of real processes.

This proceedings volume presents selected, peer-reviewed contributions from the 26th National School on Algebra, which was held in Constanta, Romania, on August 26-September 1, 2018.

Graph Theory (as a recognized discipline) is a relative newcomer to Mathematics.

This contributed volume provides readers with an overview of the most recent developments in the mathematical fields related to fractals, including both original research contributions, as well as surveys from many of the leading experts on modern fractal theory and applications.

Combinatorial design theory is a vibrant area of combinatorics, connecting graph theory, number theory, geometry, and algebra with applications in experimental design, coding theory, and numerous applications in computer science.

This book contains the refereed proceedings of the 13th International Symposium on Mathematical Morphology, ISMM 2017, held in Fontainebleau, France, in May 2017.

This monograph, for the first time in book form, considers the large structure of metric spaces as captured by bornologies: families of subsets that contain the singletons, that are stable under finite unions, and that are stable under taking subsets of its members.

This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, TX, USA, in September 2017.

Abstract Calculus: A Categorical Approach provides an abstract approach to calculus.

Fundamentals of Convex Analysis offers an in-depth look at some of the fundamental themes covered within an area of mathematical analysis called convex analysis.

Many years of practical experience in teaching discrete mathematics form the basis of this text book.

Presenting the state of the art, the Handbook of Enumerative Combinatorics brings together the work of today's most prominent researchers.

This two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International Symposium on Graph Drawing and Network Visualization, GD 2023, held in Isola delle Femmine, Palermo, Italy, in September 2023.

Algorithmics of Nonuniformity is a solid presentation about the analysis of algorithms, and the data structures that support them.

Congruences are ubiquitous in computer science, engineering, mathematics, and related areas.

Emphasizes a Problem Solving ApproachA first course in combinatoricsCompletely revised, How to Count: An Introduction to Combinatorics, Second Edition shows how to solve numerous classic and other interesting combinatorial problems.

This book is dedicated to the theory of continuous selections of multi- valued mappings, a classical area of mathematics (as far as the formulation of its fundamental problems and methods of solutions are concerned) as well as !

This valuable source for graduate students and researchers provides a comprehensive introduction to current theories and applications in optimization methods and network models.