Maths for Computer Scientists

Fortran remains one of the principal programming languages used in high-performance scientific, numerical, and engineering computing. A series of s...

This book presents version 1.0 of the new Computer Algebra System OSCAR. Written in Julia, OSCAR builds on and vastly extends four cornerstone sys...

This book provides a complete round-up of developments concerned with the application of partial moments in system identification and data-driven m...

This book constitutes the refereed proceedings of the 7th International Conference on Computer Science and Mathematics , CMSC 2024, held in Trier, ...

Applied Probability presents a unique blend of theory and applications, with special emphasis on mathematical modeling, computational techniques, a...

This book constitutes the revised selected papers from the 23rd International Conference on Mathematical Optimization Theory and Operations Researc...

This book constitutes the refereed post-conference proceedings from the 18th EAI International Conference on Body Area Networks, BODYNETS 2024-A, h...

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

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

This book presents a short introduction to the main tools of optimization methodology including linear programming, steepest descent, conjugate gra...

This book constitutes the refereed proceedings of the 18th International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic W...

This volume features a selection of technical papers presented at the workshop The Fifth Workshop on Interdisciplinary Sciences (WIS 2023). Contrib...

This book constitutes the proceedings of the 4th International Conference on Computer and Communication Engineering, CCCE 2024, which took place in...

This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Ana...

This book constitutes the refereed proceedings of the 23rd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Co...

This book provides an accessible yet rigorous first reference for readers interested in learning how to model and analyze cellular network performa...

This book constitutes the refereed proceedings of the 28th International Conference on Analytical and Stochastic Modelling Techniques and Applicati...

This introductory textbook covers all the mathematical concepts necessary for a computing degree, limiting coverage only to the material needed for...

This two-volume set LNCS 14788 and 14789 constitutes the refereed post-conference proceedings of the 15th International Conference on Advances in S...

This two-volume set LNCS 14788 and 14789 constitutes the refereed post-conference proceedings of the 15th International Conference on Advances in S...

This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced Applications, NCAA 2024, held i...

This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced Applications, NCAA 2024, held i...

This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced Applications, NCAA 2024, held i...