Maths for computer scientists books

This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness...  Read More >>

This book constitutes the proceedings of the 24th IFIP WG 5.4 International TRIZ Future Conference on AI-Powered...  Read More >>

This book constitutes the proceedings of the 4th International Conference on Computer and Communication Engineering,...  Read More >>

This book constitutes the refereed proceedings of the 28th International Conference on Analytical and Stochastic...  Read More >>

This volume features a selection of technical papers presented at the workshop “The Fifth Workshop on Interdisciplinary...  Read More >>

This book constitutes the conference proceedings of the 8th International Conference on Algorithmic Decision Theory,...  Read More >>

The two volume set CCIS 2032 and 2033 constitutes the proceedings of the 11th Congress on Simulation for a Sustainable...  Read More >>

This book presents a thoughtful compilation of chapters derived from the proceedings of the 8th International Arab...  Read More >>

This book constitutes the refereed proceedings of the 7th International Conference on Computer Science and Mathematics...  Read More >>

In this third edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the second...  Read More >>

Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics...  Read More >>

This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced...  Read More >>

This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced...  Read More >>

This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced...  Read More >>

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which...  Read More >>

This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on...  Read More >>

This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on...  Read More >>

This book constitutes the refereed proceedings of the 9th International Conference on Metaheuristics and Nature...  Read More >>

This first comprehensive book on models behind Generative AI has been thoroughly revised to cover all major classes...  Read More >>

This book constitutes the refereed proceedings of the 17th International Conference on Simulation of Adaptive Behavior,...  Read More >>

The scope of numerical methods in scientific computing presents original research, including mathematical models...  Read More >>

The authors then proceed to show how these tools can be used for the identification of continuous-time linear models,...  Read More >>

This textbook is intended for students of mathematics who have completed the foundational courses of their undergraduate...  Read More >>

This book constitutes the proceedings of the 47th German Conference on AI, KI 2024, which was held in Würzburg,...  Read More >>

This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of...  Read More >>