Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lee mas
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 ...
Lee mas
Sampling Methods
This book contains 116 exercises of sampling methods solved in detail. The exercises are grouped into chapters and are preceded ...
Lee mas
Selected Areas in Cryptography
Design and analysis of symmetric key cryptosystems. – Primitives for symmetric key cryptography, including block and stream ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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- ...
Lee mas
Statistical Analysis of Extreme Values
The statistical analysis of extreme data is important for various disciplines, including hydrology, insurance, finance, engineering ...
Lee mas
Statistical and Computational Inverse Problems
The book develops the statistical approach to inverse problems with an emphasis on modeling and computations. The framework ...
Lee mas
Structured Population Models in Biology and Epidemiology
This book consists of six chapters written by leading researchers in mathematical biology. These chapters present recent ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee masThe 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 ...
Lee masThe 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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
