Maths for computer scientists

The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, which took place in Taipei, Taiwan, during May 7-10, 2024.

The two-volume set LNCS 15667 and 15668 constitutes the proceedings of the 10th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2025, which took place in Dartington, UK, in May 2025.

Program for data analysis using R and learn practical skills to make your work more efficient.

The proceedings constitute papers presented in the 26th International Conference, DCCN 2023, held in Moscow, Russia, during September 25-29, 2023.

This book constitutes the proceedings of the 27th International Conference on Implementation and Application of Automata, CIAA 2023, held in Famagusta, North Cyprus, during September 19-22, 2023.

Kronecker products are used to define the underlying Markov chain (MC) in various modeling formalisms, including compositional Markovian models, hierarchical Markovian models, and stochastic process algebras.

This book constitutes the refereed proceedings of the 19th International Conference on  Advanced Concepts for Intelligent Vision Systems, ACIVS 2018, held in Poitiers, France, in September 2018.

The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being apart, and encompasses both point-set topology and the theory of uniform spaces.

This book constitutes the refereed post-conference proceedings of the 25th International Conference on Distributed and Computer and Communication Networks, DCCN 2022, held in Moscow, Russia, in September 26-29, 2022.

This book features selected papers from the 6th International Conference on Mathematics and Computing (ICMC 2020), organized by Sikkim University, Gangtok, Sikkim, India, during September 2020.

The three-volume set LNCS 14476-14478 constitutes the post conference proceedings of the 4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023, held in Pizzo Calabro, Italy, during June 14-20, 2023.

Textbook that uses examples and Jupyter notebooks from across the sciences and engineering to teach Python programming.

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.

What we profoundly witness these days is a growing number of human-centric systems and a genuine interest in a comprehensive understanding of their underlying paradigms and the development of solid and efficient design practices.

This book constitutes the refereed proceedings of the 4th International Workshop on Simulation and Synthesis in Medical Imaging, SASHIMI 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019.

The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.

Communications, Information and Network Security is an excellent reference for both professional and academic researchers in the field of communication.

The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, which took place in Taipei, Taiwan, during May 7-10, 2024.

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 constitutes the refereed proceedings of the 8th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2019, held in Gebze, Turkey, in November 2019.

This book constitutes the thoroughly refereed proceedings of the 38th National Conference of Theoretical Computer Science, NCTCS 2020, held in Nanning, China, in November 2020.

This book constitutes the proceedings of the 21st Australasian Conference on Data Science and Machine Learning, AusDM 2023, held in Auckland, New Zealand, during December 11-13, 2023.

Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures.

The adoption of multilayer analysis techniques is rapidly expanding across all areas of knowledge, from social sciences (the first facing the complexity of such structures, decades ago) to computer science, from biology to engineering.

This book constitutes the proceedings of the 15th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2021, held in Winterthur, Switzerland, in September 2022.

This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Information and Management, AAIM 2024, which took place virtually during September 21-23, 2024.

Discrete Event Systems: Analysis and Control is the proceedings of WODES2000 (the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21-23, 2000).

This book constitutes the proceedings of the 11th International Conference on Swarm Intelligence, ANTS 2018, held in Rome, Italy, in October 2018.

This book CCIS 2486 constitutes the refereed proceedings of the 9th International Conference on Modelling and Development of Intelligent Systems, MDIS 2024, held in Sibiu, Romania, during October 17–19, 2024.

This book constitutes the refereed proceedings of the 19th Australasian Conference on Data Mining, AusDM 2021, held in Brisbane, Queensland, Australia, in December 2021.

This book constitutes the proceedings of the 15th International Conference on Algorithms and Computation, WALCOM 2021, which was planned to take place in Yangon, Myanmar in February/March 2021.

This book constitutes the proceedings of the 16th International Computer Science Symposium in Russia, CSR 2021, held in Sochi, Russia, in June/July 2021.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023.

The multi-volume set LNAI 13713 until 13718 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2022, which took place in Grenoble, France, in September 2022.

This book constitutes the refereed proceedings of the 18th International Symposium on Algorithms and Data Structures, WADS 2023, held during July 31-August 2, 2023.

Symbolic C++: An Introduction to Computer Algebra Using Object-Oriented Programming provides a concise introduction to C++ and object-oriented programming, using a step-by-step construction of a new object-oriented designed computer algebra system - Symbolic C++.

This two-volume set, CCIS 2146 and CCIS 2147, constitutes the refereed proceedings of the 14th International Symposium on Intelligence Computation and Applications, ISICA 2023, held in Guangzhou, China, during November 18-19, 2023.

This book constitutes the refereed proceedings of the 10th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2024, held in Bhilai, India during February 15-17, 2024.

This book provides essential information on Petri net theory and Petri net-based model checking methods.

Probabilistic Safety Assessment and Management is a collection of papers presented at the PSAM 7 - ESREL '04 Conference in June 2004.

The two-volume set LNAI 15875 + 15876 constitutes the proceedings of the 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025 Special Session, held in Sydney, NSW, Australia, during June 10–13, 2025.

Discrete-event simulation consists of a collection of techniques that when applied to a discrete-event dynamical system, generates sequences called sample paths that characterize its behavior.

The Primality Testing Problem (PTP) has now proved to be solvable in deterministic polynomial-time (P) by the AKS (Agrawal-Kayal-Saxena) algorithm, whereas the Integer Factorization Problem (IFP) still remains unsolvable in (P).

This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.

This volume constitutes the papers of the 3rd International Workshop on Active Inference, IWAI 2022, held in Grenoble, France, in conjunction with ECML/PKDD, on September 19, 2022.

Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students with a logical approach to Complexity theory.

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.

During the last few years Field Programmable Gate Arrays (FPGAs) have become increasingly important.