Maths for computer scientists

Mythanksareduetothemanypeoplewhohaveassistedintheworkreported here and in the preparation of this book.

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25-27, 2024.

This book offers an introduction to applications prompted by tensor analysis, especially by the spectral tensor theory developed in recent years.

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics.

This accessible overview introduces the Christoffel–Darboux kernel as a novel, simple and efficient tool in statistical data analysis.

Knowledge Discovery and Measures of Interest is a reference book for knowledge discovery researchers, practitioners, and students.

An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.

This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023.

This book constitutes the refereed proceedings of the 4th International Conference on Distributed Artificial Intelligence, DAI 2022, held in Tianjin, China, in December 2022.

Codes, Curves, and Signals: Common Threads in Communications is a collection of seventeen contributions from leading researchers in communications.

The book provides the first full length exploration of fuzzy computability.

Combinatorial optimization algorithms are used in many applications including the design, management, and operations of communication networks.

This textbook offers an algorithmic introduction to the field of computer algebra.

This book constitutes the refereed proceedings of the 26th International Conference on Distributed Computer and Communication Networks: Control, Computation, Communications, DCCN 2023, held in Moscow, Russia, during September 25-29, 2023.

This two-volume set LNCS 11101 and 11102 constitutes the refereed proceedings of the 15th International Conference on Parallel Problem Solving from Nature, PPSN 2018, held in Coimbra, Portugal, in September 2018.

Combinatorial (or discrete) optimization is one of the most active fields in the interface of operations research, computer science, and applied math- ematics.

This book constitutes the refereed proceedings of extended papers of the 13th International Conference on Operations Research and Enterprise Systems, ICORES 2024, held in Rome, Italy, during February 24–26, 2024The 4 full papers and 4 short papers included in this book were carefully reviewed and selected from 63 submissions.

The 5-volume proceedings, LNAI 12457 until 12461 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2020, which was held during September 14-18, 2020.

The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15-17, 2023.

This book constitutes the refereed proceedings of the 15th International Conference on Cognitive Radio-Oriented Wireless Networks, CROWNCOM 2020, held in Rome, Italy, in November 2020.

This book constitutes the refereed proceedings of the 12th International Conference on Code-Based Cryptography, CBCrypto 2024, held in Zurich, Switzerland, during May 25–26, 2024.

Among all computer-generated mathematical images, Julia sets of rational maps occupy one of the most prominent positions.

This two-volume set LNCS 15762-15763 constitutes the proceedings of the 22nd International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2025, held in Melbourne, VIC, Australia, November 10–13, 2025.

This book constitutes the refereed post-conference proceedings of the Third International Conference on Deep Learning Theory and Applications, DeLTA 2022, held in Lisbon, Portugal, during January 17-18, 2022.

Speech is the most natural mode of communication and yet attempts to build systems which support robust habitable conversations between a human and a machine have so far had only limited success.

This book constitutes the revised selected papers from the 23rd International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2024, held in Omsk, Russia from June 30 to July 06, 2024.

Need to Learn MATLAB?

This book constitutes the proceedings of the 11th International Conference on Network Games, Control and Optimization 2024, NETGCOOP 2024, held during October 9-11, 2024, in Lille, France.

This two-volume set LNCS 14788 and 14789 constitutes the refereed post-conference proceedings of the 15th International Conference on Advances in Swarm Intelligence, ICSI 2024, held in Xining, China, during August 23-26, 2024.

This book constitutes the proceedings of the 22nd Conference on Integer Programming and Combinatorial Optimization, IPCO 2021, which took place during May 19-21, 2021.

This book contains 28 research articles from among the 49 papers and abstracts presented at the Tenth International Conference on Fibonacci Numbers and Their Applications.

In the late 1960s British mathematician John Conway invented a virtual mathematical machine that operates on a two-dimensional array of square cell.

Employ essential tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies.

This book constitutes the refereed joint proceedings of the Second International Workshop on Graphs in Biomedical Image Analysis, GRAIL 2018 and the First International Workshop on Integrating Medical Imaging and Non-Imaging Modalities, Beyond MIC 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in September 2018.

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject.

The conference proceeding  LNCS 11346 constitutes the refereed proceedings of the 12th International Conference on Combinatorial Optimization and Applications, COCOA 2018, held in Atlanta, GA, USA, in December 2018.

This two-volume set constitutes the proceedings of the 11th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2025, held in Ho Chi Minh City, Vietnam, during March 17-19, 2025.

The two-volume set, LNCS 15434 and 15435, constitutes the refereed post-conference proceedings of the 17th International Conference on Combinatorial Optimization and Applications, COCOA 2024, held in Beijing, China, during December 6–8, 2024.

This textbook offers a comprehensive introduction to Machine Learning techniques and algorithms.

This book constitutes the refereed proceedings of the Second International Conference on Distributed Artificial Intelligence, DAI 2020, held in Nanjing, China, in October 2020.

This is the first book about the discrete ordered median problem (DOMP), which unifies many classical and new facility location problems.

This volume convenes selected, peer-reviewed research and survey articles that address the modern state-of-the-art in varied areas of applied mathematical analysis.

This book constitutes the proceedings of the 15th International Workshop on Statistical Atlases and Computational Models of the Heart, STACOM 2024, held in conjunction with the 27th International conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, in Marrakesh, Morocco in October 2024.

Learn how to write object-oriented programs in R and how to construct classes and class hierarchies in the three object-oriented systems available in R.

This book constitutes selected and revised papers from the 22nd International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2022, held in Nizhny Novgorod, Russia, in November 2022.

This book presents an up-to-date perspective on randomized response techniques (RRT).