Krzysztof R. Apt & Ernst-Rudiger Olderog 
Programmverifikation [PDF ebook] 
Sequentielle, parallele und verteilte Programme

In the study of the structure of substances in recent decades, phenomena in the higher dimension was discovered that was previously unknown. These include spontaneous zooming (scaling processes), …

‘Integrates and summarizes the most significant developments made by Chinese mathematicians in rings, groups, and algebras since the 1950s. Presents both survey articles and recent research results. …

The study of animal movement has always been a key element in ecological science, because it is inherently linked to critical processes that scale from individuals to populations and communities to e …

The goal of this book is to explain, at the graduate student level, connections between tropical geometry and optimization. Building bridges between these two subject areas is fruitful in two ways. …

Priced very competitively compared with other textbooks at this level! This gracefully organized textbook reveals the rigorous theory of probability and statistical inference in the style of a tutori …

Readers studying the abstract field of quantum physics need to solve plenty of practical, especially quantitative, problems. This book contains tutorial problems with solutions for the textbook …

This is a developing area of modern probability theory, which has applications in many areas. This volume is devoted to the systematic study of results on large deviations in situations where …

Presents the proceedings of the Second International Conference on Commutative Ring Theory in Fes, Morocco. The text details developments in commutative algebra, highlighting the theory of rings and …

This book contains the major works of Ivan Georgievich Petrowsky on systems of partial differential equations and algebraic geometry. The articles are of crucial importance for the topology of real …