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 ...
اقرأ المزيد
