Matematisk databehandlingsteori

The understanding of parallel processing and of the mechanisms underlying neural networks in the brain is certainly one of the most challenging problems of contemporary science. …

The 7-volume set LNCS 14487-14493 constitutes the proceedings of the 23rd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2023, which took …

Computer Science Workbench is a monograph series which will provide you with an in- depth working knowledge of current developments in computer technology. Every volume in this …

A spline is a thin flexible strip composed of a material such as bamboo or steel that can be bent to pass through or near given points in the plane, or in 3-space in a smooth …

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. …

Im vorliegenden Buch werden unterschiedliche Modelle zum Beispiel aus der Populationsdynamik, der Reaktionskinetik, dem Verkehrswesen oder der Strömungsmechanik vorgestellt, wobei …

This book gathers outstanding papers presented at the European Conference on Numerical Mathematics and Advanced Applications, ENUMATH 2023. The conference was held in Lisbon, …

This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011.The 12 revised full …

This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS 2021, held in virtually in August 2021. They present …

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.The …