Maths for computer scientists

This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019.

This book constitutes the conference proceedings of the 7th International Conference on Algorithmic Decision Theory, ADT 2021, held in Toulouse, France, in November 2021.

This book constitutes the revised papers of the 46th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2020, held in Leeds, UK, in June 2020.

This book constitutes the refereed proceedings of the 14th International Conference on Advances in Optimization and Applications, OPTIMA 2023, held in Petrovac, Montenegro, during September 18-22, 2023.

This book presents a complete and accurate study of arithmetic and algebraic circuits.

Structured matrices serve as a natural bridge between the areas of algebraic computations with polynomials and numerical matrix computations, allowing cross-fertilization of both fields.

This book constitutes the proceedings of the 4th International Conference on Computer and Communication Engineering, CCCE 2024, which took place in Oslo, Norway, during May 24-26, 2024.

Semantics of Parallelism is the only book which provides a unified treatment of the non-interleaving approach to process semantics (as opposed to the interleaving approach of the process algebraists).

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 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024, held in Uppsala, Sweden, during May 28-31, 2024.

Symbolic asymptotics has recently undergone considerable theoretical development, especially in areas where power series are no longer an appropriate tool.

This book constitutes the refereed proceedings of the 17th China Conference on Machine Translation, CCMT 2020, held in Xining, China, in October 2021.

This book constitutes the refereed proceedings of the 12th IAPR-TC-15 International Workshop on Graph-Based Representation in Pattern Recognition, GbRPR 2019, held in Tours, France, in June 2019.

This book constitutes selected and revised papers from the 23rd International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2023, held in Nizhny Novgorod, Russia, during November 13-16 2023.

The third edition of this authoritative and comprehensive handbook is the definitive work on the current state of the art of Biometric Presentation Attack Detection (PAD) - also known as Biometric Anti-Spoofing.

Rcpp is the glue that binds the power and versatility of R with the speed and efficiency of C++.

This book constitutes the proceedings of the Third International Conference on Mathematics and Computing, ICMC 2017, held in Haldia, India, in January 2017.

This book constitutes the refereed proceedings of the 28th International Symposium on Graph Drawing and Network Visualization, GD 2020, which was held during September 16-18, 2020.

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I.

The two-volume set LNCS 11973 and 11974 constitute revised selected papers from the Third International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2019, held in Crotone, Italy, in June 2019.

This volume constitutes the refereed proceedings of the 7th International Conference on Modelling and Development of Intelligent Systems, MDIS 2020, held in Sibiu, Romania, in October 2020.

This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019.

This book contains a selection of the best papers of the 31st Benelux Conference on Artificial Intelligence, BNAIC 2019, and 28th Belgian Dutch Machine Learning Conference, BENELEARN 2019, held in Brussels, Belgium in November 2019.

Employ the essential and hands-on tools and functions of MATLAB's ordinary differential equation (ODE) and partial differential equation (PDE) packages, which are explained and demonstrated via interactive examples and case studies.

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems.

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.

This book constitutes the proceedings of the Third International Workshop on Explainable Artificial Intelligence in Healthcare, XAI-Healthcare 2023, and the First International Workshop on Process Mining Applications for Healthcare, PM4H 2023, which took place in conjunction with AIME 2023 in Portoroz, Slovenia, on June 15, 2023.

Uncover the secrets of cutting-edge research in "e;Infrared Small Target Detection,"e; a crucial resource that delves into the dynamic world of infrared imaging and detection algorithms.

This proceedings volume showcases high-quality original research papers presented at the International Conference on Computational Engineering (ICCE 2023), held in Chennai, India, from December 8-9, 2023 dedicated to advancing interdisciplinary research in the realm of mathematics and its pivotal role in Computer Engineering.

The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.

This book addresses common questions from HCI researchers when trying to do statistical analysis on their data.

This is the second edition of a very popular book on DICOM that introduces this complex standard from a very practical point of view.

The two volume set CCIS 2032 and 2033 constitutes the proceedings of the 11th Congress on Simulation for a Sustainable Future, EUROSIM 2023, which was held in Amsterdam, The Netherlands, during July 3-5, 2023.

A cornerstone of undergraduate mathematics, science, and engineering, this clear and rigorous presentation of the fundamentals of linear algebra is unique in its emphasis and integration of computational skills and mathematical abstractions.

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.

Thisisnowthefourtheditionof"e;TheBasicsofS-Plus"e;since1997.

This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neuve, Belgium, in September 2020.

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024.

The two-volume set LNCS 14634 and 14635 constitutes the refereed proceedings of the 27th European Conference on Applications of Evolutionary Computation, EvoApplications 2024, held as part of EvoStar 2024, in Aberystwyth, UK, April 3-5, 2024, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EuroGP.

Magic squares are among the more popular mathematical recreations.

Lattices are geometric objects that can be pictorially described as the set of intersection points of an infinite, regular n-dimensional grid.

This book constitutes the refereed proceedings of the First Challenge in Adolescent Brain Cognitive Development Neurocognitive Prediction, ABCD-NP 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019.

Fundamentals of Matrix-Analytic Methods targets advanced-level students in mathematics, engineering and computer science.

This book constitutes the refereed proceedings of the 8th International Symposium on Combinatorial Optimization, ISCO 2024, held in La Laguna, Tenerife, Spain, during May 22-24, 2024.

Because of the increasing complexity and growth of real-world networks, their analysis by using classical graph-theoretic methods is oftentimes a difficult procedure.

This book constitutes the proceedings of the 15th International Workshop, CDMRI 2024, held in conjunction with MICCAI 2024, the 27th International Conference on Medical Image Computing and Computer-Assisted Intervention.

This book presents a comprehensive treatment of recently developed scalable algorithms for solving multibody contact problems of linear elasticity.

Counting is hard.