Maths for computer scientists

Graph drawing comprises all aspects of visualizing structural relations between objects.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002.

The 7th Annual European Symposium on Algorithms (ESA '99) is held in Prague, Czech Republic, July 16-18, 1999.

This volume contains the 74 contributed papers and abstracts of 4 of the 5 invited talks presented at the 10th Annual European Symposium on Algorithms (ESA 2002), held at the University of Rome "e;La Sapienza"e;, Rome, Italy, 17-21 September, 2002.

The 2nd International Symposium on Medical Data Analysis (ISMDA 2001) was the continuation of the successful ISMDA 2000, a conference held in Fra- furt, Germany, in September 2000.

This two-volume set CCIS 2743 and 2744 constitutes the refereed proceedings of the 1st International Conference on Quantum Engineering Sciences and Technologies for Industry and Services, QUEST-IS 2025, held in Paris, France, during December 1–4, 2025.

This two-volume set CCIS 2743 and 2744 constitutes the refereed proceedings of the 1st International Conference on Quantum Engineering Sciences and Technologies for Industry and Services, QUEST-IS 2025, held in Paris, France, during December 1–4, 2025.

This book focuses on the most salient and practical concepts and methods in reliability engineering.

This book focuses on the most salient and practical concepts and methods in reliability engineering.

This textbook introduces basic algorithms and explains their analytical methods.

This textbook introduces basic algorithms and explains their analytical methods.

This book constitutes the proceedings of the 23rd Australasian Conference on Data Science and Machine Learning, AusDM 2025, held in Brisbane, Australia, during November 26-28, 2025.

This book constitutes the proceedings of the 23rd Australasian Conference on Data Science and Machine Learning, AusDM 2025, held in Brisbane, Australia, during November 26-28, 2025.

This book constitutes the proceedings of the 22nd Australasian Conference on Data Science and Machine Learning, AusDM 2024, held in Melbourne, Victoria, Australia, during November 25–27, 2024.

This book constitutes the proceedings of the 22nd Australasian Conference on Data Science and Machine Learning, AusDM 2024, held in Melbourne, Victoria, Australia, during November 25–27, 2024.

This book LNCS constitutes the refereed proceedings of the 20th International Conference and Workshops on Algorithms and Computation, WALCOM 2026, Perugia, Italy, March 4–6, 2026, ProceedingsThe 38 full papers were selected from carefully reviewed 108  submissions.

This book LNCS constitutes the refereed proceedings of the 20th International Conference and Workshops on Algorithms and Computation, WALCOM 2026, Perugia, Italy, March 4–6, 2026, ProceedingsThe 38 full papers were selected from carefully reviewed 108  submissions.

This book constitutes the proceedings of the 51st International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2026, held in Krakow, Poland, during February 2026.

This book constitutes the proceedings of the 51st International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2026, held in Krakow, Poland, during February 2026.

This book constitutes the revised selected papers of the 25th International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2025, held in Nizhny Novgorod, Russia, during November 17–19, 2025.

This book constitutes the revised selected papers of the 25th International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2025, held in Nizhny Novgorod, Russia, during November 17–19, 2025.

This book constitutes the refereed proceedings of the 12th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2026, held in Dharwad, India, during February 12–14, 2026.

This book constitutes the refereed proceedings of the 12th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2026, held in Dharwad, India, during February 12–14, 2026.

This book constitutes the revised selected papers of the 21st European Workshop on Computer Performance Engineering, EPEW 2025, held in Catania, Italy, on June 26, 2025.

This book constitutes the revised selected papers of the 21st European Workshop on Computer Performance Engineering, EPEW 2025, held in Catania, Italy, on June 26, 2025.

All over the world sport plays a prominent role in society: as a leisure activity for many, as an ingredient of culture, as a business and as a matter of national prestige in such major events as the World Cup in soccer or the Olympic Games.

The lectures concentrate on highlights in Combinatorial (ChaptersII and III) and Number Theoretical (ChapterIV) Extremal Theory, in particular on the solution of famous problems which were open for many decades.

Hofstadter's Law: It always takes longer than you think it will take, even if you take into account Hofstadter's Law.

This book starts with an overview of the research of Grobner bases which have many applications in various areas of mathematics since they are a general tool for the investigation of polynomial systems.

This book deals with various aspects of scientific numerical computing.

These lecture notes by very authoritative scientists survey recent advances of mathematics driven by industrial application showing not only how mathematics is applied to industry but also how mathematics has drawn benefit from interaction with real-word problems.

Hofstadter's Law: It always takes longer than you think it will take, even if you take into account Hofstadter's Law.

No book is born in a vacuum.

The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004.

The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004.

This book introduces the systems approach as a powerful framework for developing practical and implementable solutions to complex problems.

This book introduces the systems approach as a powerful framework for developing practical and implementable solutions to complex problems.

Block ciphers encrypt blocks of plaintext, messages, into blocks of ciphertext under the action of a secret key, and the process of encryption is reversed by decryption which uses the same user-supplied key.

This is the first book devoted to the systematic study of sparse graphs and sparse finite structures.

Graph algorithms are easy to visualize and indeed there already exists a variety of packages to animate the dynamics when solving problems from graph theory.

Quantum computers will break today's most popular public-key cryptographic systems, including RSA, DSA, and ECDSA.

A number of important results in combinatorics, discrete geometry, and theoretical computer science have been proved using algebraic topology.

Just as in its 1st edition, this book starts with illustrations of the ubiquitous character of optimization, and describes numerical algorithms in a tutorial way.

This is an introductory textbook of linear programming, written mainly for students of computer science and mathematics.

This book is a concise, self-contained, up-to-date introduction to extremal combinatorics for nonspecialists.

This book constitutes the proceedings of the 19th International Conference on Reachability Problems, RP 2025, which took place in Madrid, Spain, during October 1-3, 2025.