Electronic Books

Total Books: 121 - 140 /149

Runtime Verification

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

Régression : Théorie et applications = Regression : Theory and Applications

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

Sampling Methods

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

Selected Areas in Cryptography

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

Selected Contributions in Data Analysis and Classification

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

Shared Memory Parallel Programming with Open MP

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

Short-Period Binary Stars: Observations, Analyses, and Results

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

Soft Methods for Handling Variability and Imprecision

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

Solar-Type Activity in Main-Sequence Stars

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

Statistical Analysis of Extreme Values

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

Statistical and Computational Inverse Problems

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

Structured Population Models in Biology and Epidemiology

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

Séminaire de Probabilités XXXVIII

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

Task Models and Diagrams for Users Interface Design ; 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

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

Tata Lectures on Theta I

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

The Brownian Motion : A Rigorous but Gentle Introduction for Economists

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

The Effect of Organizational Culture on Employee Satisfaction : A Case Study of the Arab International University (AIU) فرح القادري ؛ آية الحفار ؛ ديمة العماد ؛ إشراف د. آلاء قصيباتي

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

The Impact of COVID-19 on the Spread of E-Services : Case Study in Damascus City رغد العلبي ؛ شذى العلبي ؛ حسانه عزام ؛ إشراف د. هبة الفرخ

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

The Method of Intrinsic Scaling : A Systematic Approach to Regularity for Degenerate and Singular PDEs

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

Theory and Applications of Satisfiability Testing (vol. # 3542)

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

Total Books: 121 - 140 /149