Discrete mathematics

The reach of algebraic curves in cryptography goes far beyond elliptic curve or public key cryptography yet these other application areas have not been systematically covered in the literature.

The Fifth Workshop on Approximation and Online Algorithms (WAOA 2007) focused on the design and analysis of algorithms for online and computationally hard problems.

This volume constitutes the post- conference proceedings of the 7th International Conference on Variable Neighborhood Search, ICVNS 2019, held in Rabat, Morocco, in October 2019.

Thirteen years have passed since the seminal book on knapsack problems by Martello and Toth appeared.

This book provides a comprehensive tutorial on similarity operators.

This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018.

The starting point for this monograph is the previously unknown connection between the Continuum Hypothesis and the saturation of the non-stationary ideal on ?

This volume contains the 14 contributed papers and the contribution of the distinguished invited speaker B' ela Bollob' as presented at the 3rd Workshop on Algorithms and Models for the Web-Graph (WAW 2004), held in Rome, Italy, October 16, 2004, in conjunction with the 45th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2004).

This classic text, originally from the noted logician Elliot Mendelson, is intended to be an easy-to-read introduction to the basic ideas and techniques of game theory.

This book describes the uses of different mathematical modeling and soft computing techniques used in epidemiology for experiential research in projects such as how infectious diseases progress to show the likely outcome of an epidemic, and to contribute to public health interventions.

Eschewing the often standard dry and static writing style of traditional textbooks, Discrete Encounters provides a refreshing approach to discrete mathematics.

The solitaire game "e;The Tower of Hanoi"e; was invented in the 19th century by the French number theorist Edouard Lucas.

This book describes the uses of different mathematical modeling and soft computing techniques used in epidemiology for experiential research in projects such as how infectious diseases progress to show the likely outcome of an epidemic, and to contribute to public health interventions.

The Blaubeuren Conference "e;Theory and Practice of Geometric Modeling"e; has become a meeting place for leading experts from industrial and academic research institutions, CAD system developers and experienced users to exchange new ideas and to discuss new concepts and future directions in geometric modeling.

Eulerian Graphs and Related Topics

This volume constitutes the proceedings of the 13th International Conference on Algorithmic Aspects in Information and Management, AAIM 2019, held in Bejing, China in August 2019.

This book is mainly devoted to some computational and algorithmic problems in finite fields such as, for example, polynomial factorization, finding irreducible and primitive polynomials, the distribution of these primitive polynomials and of primitive points on elliptic curves, constructing bases of various types and new applications of finite fields to other areas of mathematics.

Haim Hanani pioneered the techniques for constructing designs and the theory of pairwise balanced designs, leading directly to Wilson's Existence Theorem.

This book constitutes the proceedings of the 21st International Conference on Selected Areas in Cryptography, SAC 2014, held in Montreal, QC, Canada, in August 2014.

This book provides a concise and modern introduction to Formal Languages and Machine Computation, a group of disparate topics in the theory of computation, which includes formal languages, automata theory, turing machines, computability, complexity, number-theoretic computation, public-key cryptography, and some new models of computation, such as quantum and biological computation.

ANTS - The International Workshop on Ant Colony Optimization and Swarm Intelligence is now at its ?

Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering.

PaulErdos ?

This text presents the Eulerian numbers in the context of modern enumerative, algebraic, and geometric combinatorics.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012.

This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.

This textbook provides an engaging and motivational introduction to traditional topics in discrete mathematics, in a manner specifically designed to appeal to computer science students.

A basic problem for the interconnection of communications media is to design interconnection networks for specific needs.

This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices, as well as a presentation of the theory of automorphic forms and Langlands' conjectures, ranging from the first definitions to the recent and deep classification results due to James Arthur.

TCC 2005, the 2nd Annual Theory of Cryptography Conference, was held in Cambridge,Massachusetts,onFebruary10-12,2005.

Transactions are a concept related to the logical database as seen from the perspective of database application programmers: a transaction is a sequence of database actions that is to be executed as an atomic unit of work.

A unique approach to mathematical logic where students implement the underlying concepts and proofs in the Python programming language.

This book constitutes the proceedings of the First International Conference on Codes, Cryptology and Information Security, C2SI 2015, held in Rabat, Morocco, in May 2015.

This book constitutes the refereed proceedings of the 15th International Symposium on Experimental Algorithms, SEA 2016, held in St.

This Festschrift volume is published in honor of Ferran Hurtado on the occasion of his 60th birthday; it contains extended versions of selected communications presented at the XIV Spanish Meeting on Computational Geometry, held at the University of Alcala, Spain, in June 2011.

This book constitutes the proceedings of the first International Symposium on Cyber Security Cryptography and Machine Learning, held in Beer-Sheva, Israel, in June 2017.

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

This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture.

The two volume-set, LNCS 8616 and LNCS 8617, constitutes the refereed proceedings of the 34th Annual International Cryptology Conference, CRYPTO 2014, held in Santa Barbara, CA, USA, in August 2014.

This book features selected papers from the 5th International Conference on Mathematics and Computing (ICMC 2019), organized by the School of Computer Engineering, Kalinga Institute of Industrial Technology Bhubaneswar, India, on February 6 - 9, 2019.

With the rapid growth of bandwidth demand from network users and the advances in optical technologies, optical networks with multiterabits- per-second capacity has received significant interest from both researchers and practitioners.