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

A survey of some problems of current interest in the realm of classical nonlinear electromagnetic theory. …

The book provides an introduction to modern abstract algebra and its applications. It covers all major topics of classical theory of numbers, groups, rings, fields and finite dimensional algebras. Th …

The Gathering 4 Gardner is a biannual conference founded-and for many years organized-by Tom Rodgers to celebrate the spirit of Martin Gardner. While primarily concerned with recreational mathematics …

Bringing the material up to date to reflect modern applications, this second edition has been completely rewritten and reorganized to incorporate a new style, methodology, and presentation. It offers …

Users of statistics in their professional lives along with statistics students will welcome the CRC Standard Probability and Statistics Tables and Formulae, a concise, easy-to-use reference for basic …

This dedicated overview of optical compressive imaging addresses implementation aspects of the revolutionary theory of compressive sensing (CS) in the field of optical imaging and sensing. It overvie …

‘Data Science Foundations is most welcome and, indeed, a piece of literature that the field is very much in need of…quite different from most data analytics texts which largely ignore foundational co …

Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains …

Written as a tribute to the mathematician Carlo Pucci on the occasion of his 70th birthday, this is a collection of authoritative contributions from over 45 internationally acclaimed experts in the f …

Examines partitions and covers of graphs and digraphs, latin squares, pairwise balanced designs with prescribed block sizes, ranks and permanents, extremal graph theory, Hadamard matrices and graph f …