Electronic Books

Total Books: 121 - 140 /149

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

This book explains in detail, with supporting examples, one of the most common statistical methods: regression. The first ...

This book contains 116 exercises of sampling methods solved in detail. The exercises are grouped into chapters and are preceded ...

Design and analysis of symmetric key cryptosystems. – Primitives for symmetric key cryptography, including block and stream ...

This was the era of the ?rst university calculation centres that one accessed over a counter. One would deposit cards on ...

Contributors to the WOMPAT 2004 OMPlab included IBM, Intel, Sun, the University of Tennessee, NASA, the University of Greenwich, ...

Short-period binaries run the gamut from widely separated stars to black-hole pairs; in between are systems that include ...

This book gathers contributions to the 4th International Conference on Soft methods in Probability and Statistics. Its aim ...

Solar-type activity over the whole range of the electromagnetic spectrum is a phenomenon inherent in the majority of low- ...

The statistical analysis of extreme data is important for various disciplines, including hydrology, insurance, finance, engineering ...

The book develops the statistical approach to inverse problems with an emphasis on modeling and computations. The framework ...

This book consists of six chapters written by leading researchers in mathematical biology. These chapters present recent ...

Besides a series of six articles on Lévy processes, Volume 38 of the Séminaire de Probabilités contains contributions ...

The ?rst workshopaimed at examining how multiple forms of task expressionscan sign- icantly increase or decrease the quality ...

The first of a series of three volumes surveying the theory of theta functions and its significance in the fields of representation ...

This textbook is the first to provide Business and Economics with a precise and intuitive introduction to the formal backgrounds ...

The main purpose of this study is to examine the relationship between organizational culture and employee satisfaction. The ...

This research investigates the relationship between COVID-19 and the spread of E-Services in Damascus city; it was based ...

This set of lectures, which had its origin in a mini course delivered at the Summer Program of IMPA (Rio de Janeiro), is ...

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...

Total Books: 121 - 140 /149