Maths for computer scientists

This volume comprises review papers presented at the Conference on Antidifferentiation and the Calculation of Feynman Amplitudes, held in Zeuthen, Germany, in October 2020, and a few additional invited reviews.

This book provides a snapshot of the state of the art of the rapidly evolving field of integration of geometric data in finite element computations.

This volume constitutes selected papers presented during the 8th International Conference on Metaheuristics and Nature Inspired Computing, META 2021, held in Marrakech, Morocco, in October 201.

This interdisciplinary reference and guide provides an introduction to modeling methodologies and models which form the starting point for deriving efficient and effective solution techniques, and presents a series of case studies that demonstrate how heuristic and analytical approaches may be used to solve large and complex problems.

This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2022.

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on High Performance Computing in Science and Engineering, HPCSE 2019, held in Karolinka, Czech Republic, in May 2019.

This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020.

This book constitutes the refereed post-conference proceedings of the 28th International Workshopon Combinatorial Algorithms, IWOCA 2017, held in Newcastle, NSW, Australia, in July 2017.

This book constitutes the refereed proceedings of the 6th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2018, held in Hanoi, Vietnam, in March 2018.

This book constitutes the refereed proceedings of the 12th International Workshop on Frontiers in Algorithmics, FAW 2018, held in Guangzhou, China, in May 2018.

This book discusses the latest advances in algorithms for symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations.

This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017.

This book provides a survey on different kinds of Feistel ciphers, with their definitions and mathematical/computational properties.

The three-volume proceedings LNCS 10210-10212 constitute the thoroughly refereed proceedings of the 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2017, held in Paris, France, in April/May 2017.

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Medical Computer Vision, MCV 2016, and of the International Workshop on Bayesian and grAphical Models for Biomedical Imaging, BAMBI 2016, held in Athens, Greece, in October 2016, held in conjunction with the 19th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2016.

The focus of these conference proceedings is on research, development, and applications in the fields of numerical geometry, scientific computing and numerical simulation, particularly in mesh generation and related problems.

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Combinatorial Optimization, ISCO 2020, which was due to be held in Montreal, Canada, in May 2020.

This volume LNCS 12735 constitutes the papers of the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2021, which was held in Vienna, Austria, in 2021.

This book comprises nine selected works on numerical and computational methods for solving multiobjective optimization, game theory, and machine learning problems.

This book constitutes the refereed post-conference proceedings of the 15th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2020, held in November 2020.

This book constitutes the refereed proceedings of the 6th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2017, held in Amsterdam, The Netherlands, in April 2017, co-located with the Evo*2017 events EuroGP, EvoCOP and EvoApplications.

This book constitutes the refereed conference proceedings of the 12th International Conference on Algorithms and Complexity, CIAC 2019, held as a virtual event, in May 2021.

This book constitutes the refereed and revised post-conference proceedings of the 8th International Workshop on Code-Based Cryptography, CBCrypto 2020, held in Zagreb, Croatia, in May 2020.

This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2016, held in Stirling, UK, in September 2016.

This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Approximation and Online Algorithms, WAOA 2016, held in Aarhus, Denmark, in August 2016 as part of ALGO 2016.

This book constitutes the proceedings of the 19th International Conference on Unconventional Computation and Natural Computation, UCNC 2021, held in Espoo, Finland, in October 2021.

Advances in discrete mathematics are presented in this book with applications in theoretical mathematics and interdisciplinary research.

This book constitutes the refereed post-conference proceedings of the 16th International Conference on Advances in Computer Games, ACG 2019, held in Macao, China, in August 2019.

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021.

A compact and easily accessible book, it guides the reader in unravelling the apparent mysteries found in doing mathematical proofs.

This book constitutes revised selected papers from the 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, held in Vienna, in September 2017.

This book constitutes selected and revised papers presented at the First International Conference on Optimization, Learning Algorithms and Applications, OL2A 2021, held in Braganca, Portugal, in July 2021.

This book constitutes the thoroughly refereed proceedings of the 24th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2017, held in Porquerolles, France, in June 2017.

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 book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021.

This book constitutes the refereed conference proceedings of the 10th International Conference on Algorithms and Complexity, CIAC 2017, held in Athens, Greece, in May 2017.

The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in Sao Paolo, Brazil, in November-December 2021.

This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in  Bratislava, Slovakia, in June 2018.

This book constitutes revised selected papers of the 19th International Conference on Information Technologies and Mathematical Modelling, ITMM 2020, named after A.

This book presents the refereed proceedings of the Twelfth International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing that was held at Stanford University (California) in August 2016.

This book collects many of the presented papers, as plenary presentations, mini-symposia invited presentations, or contributed talks, from the European Conference on Numerical Mathematics and Advanced Applications (ENUMATH) 2017.

This book constitutes the post-conference proceedings of the Third International Workshop on Machine Learning, Optimization, and Big Data, MOD 2017, held in Volterra, Italy, in September 2017.

This book constitutes the refereed proceedings of the 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, held in Frankfurt/Main, Germany, in August 2018.

This practically-oriented textbook presents an accessible introduction to discrete mathematics through a substantial collection of classroom-tested exercises.

This book contains the refereed proceedings of the 13th International Symposium on Mathematical Morphology, ISMM 2017, held in Fontainebleau, France, in May 2017.

This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.

This book constitutes the proceedings of the 22nd International Conference on Developments in Language Theory, DLT 2018, held in Tokyo, Japan, in September 2018.

This book constitutes selected papers presented at the 5th International Workshop on Software Foundations for Data Interoperability, SFDI 2021, held in Copenhagen, Denmark, in August 2021.

This book constitutes the proceedings of the 17th International Conference on Information Technologies and Mathematical Modelling, ITMM 2018, named after A.