Discrete mathematics

A learning system can be defined as a system which can adapt its behaviour to become more effective at a particular task or set of tasks.

This volume contains the proceedings of the vVorkshop on Trees held in Versailles on 14-16 June 1995.

This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory.

This volume constitutes the proceedings of the 9th International Conference on Variable Neighborhood Search, ICVNS 2023, held in Abu Dhabi, United Arab Emirates, in October 2022.

The quadratic assignment problem (QAP) was introduced in 1957 by Koopmans and Beckmann to model a plant location problem.

This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing.

A series of workshops devoted to modern cryptography beganin Santa Barbara,California in 1981 and was followed in1982 by a European counterpart in Burg Feuerstein, Germany.

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.

Many of the best researchers and writers in discrete mathematics come together in a volume inspired by Ron Graham.

Compressible Flow with Application to Shocks and Propulsion is part of the series "e;Mathematics and Physics for Science and Technology"e;, which combines rigorous mathematics with general physical principles to model practical engineering systems with a detailed derivation and interpretation of results.

This volume presents a collection of papers on game theory dedicated to Michael Maschler.

This book LNCS15828 constitutes the refereed proceedings of the 19th International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom (IJTCS-FAW 2025), consisting of the 19th International Conference on Frontier of Algorithmic Wisdom (FAW) and the 6th International Joint Conference on Theoretical Computer Science (IJTCS), held in Paris, France, during June 30–July 2, 2025.

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 constitutes the refereed proceedings of the 17th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2017, held in Amsterdam, The Netherlands, in April 2017, co-located with the Evo*2017 events EuroGP, EvoMUSART and EvoApplications.

The second edition of this highly praised textbook provides an expanded introduction to the theory of ordered sets and its connections to various subjects.

Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, Introduction to Set Theory, Third Edition covers the basics: relations, functions, orderings, finite, countable, and uncountable sets, and cardinal and ordinal numbers.

Illustrating the power of algorithms, Algorithmic Cryptanalysis describes algorithmic methods with cryptographically relevant examples.

This is the first comprehensive monograph on the mathematical theory of the solitaire game "e;The Tower of Hanoi"e; which was invented in the 19th century by the French number theorist Edouard Lucas.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Parameterized and Exact Computation, IPEC 2013, in Sophia Antipolis, France, in September 2013.

Ruskeepaa gives a general introduction to the most recent versions of Mathematica, the symbolic computation software from Wolfram.

Fractals are infinite, complex patterns used in modeling physical and dynamic systems.

This book constitutes the proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014, held in Bordeaux, France, in March 2014.

Providing a self-contained resource for upper undergraduate courses in combinatorics, this text emphasizes computation, problem solving, and proof technique.

This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.

An up-to-date, panoramic account of the theory of random walks on groups and graphs, outlining connections with various mathematical fields.

The two-volume set LNCS 10627 and 10628 constitutes the refereed proceedings of the 11th International Conference on Combinatorial Optimization and Applications, COCOA 2017, held in Shanghai, China, in December 2017.

Based on talks from the 2015 and 2016 Combinatorial and Additive Number Theory (CANT) workshops at the City University of New York, these proceedings offer 19 peer-reviewed and edited papers on current topics in number theory.

This book constitutes the refereed proceedings of the 20th International Workshop on Modelling and Mining Networks, WAW 2025, held in Vilnius, Lithuania, during June 30–July 3, 2025.

This book provides a complete round-up of developments concerned with the application of partial moments in system identification and data-driven modelling; it captures the essence of work carried out at the Laboratoire d'Informatique et d'Automatique pour les Systemes for more than 40 years.

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems.

This book constitutes the proceedings of the 15th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2018, held in Delft, The Netherlands, in June 2018.

The book covers several new research findings in the area of generalized convexity and integral inequalities.

Industrial, financial, commercial or any kinds of project have at least one common feature: the better organized they are, the higher the profit or the lower the cost.

This book is devoted to numerical methods for solving sparse linear algebra systems of very large dimension which arise in the implementation of the mesh approximations of the partial differential equations.

This book constitutes the proceedings of the 6th InternationalConference on Algorithms for Computational Biology, AlCoB 2019, held in Berkeley, CA, USA, in May 2019.

This book constitutes revised selected papers from the thoroughly refereed workshop proceedings of the 20th International Workshop on Approximation and Online Algorithms, WAOA 2022, which was colocated with ALGO 2022 and took place in Potsdam, Germany, in September 2022.

This book constitutes the proceedings of the 5th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2019, held in Kharagpur, India, in February 2019.

This book constitutes the refereed proceedings of the First International Workshop on Bayesian and grAphical Models for Biomedical Imaging, BAMBI 2014, held in Cambridge, MA, USA, in September 2014 as a satellite event of the 17th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2014.

This monograph on strongly regular graphs is an invaluable reference for anybody working in algebraic combinatorics.

This book constitutes the refereed proceedings of the 20th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2019, held in Ann Arbor, MI, USA, in May 2019.

This three-volume set, LNCS 13421, 13422 and 13423, constitutes the thoroughly refereed proceedings of the 6th International Joint Conference, APWeb-WAIM 2022, held in Nanjing, China, in August 2022.

Introduction to Chemical Graph Theory is a concise introduction to the main topics and techniques in chemical graph theory, specifically the theory of topological indices.

This book provides a valuable glimpse into discrete curvature, a rich new field of research which blends discrete mathematics, differential geometry, probability and computer graphics.