Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
اقرأ المزيد
This is a comprehensive interdisciplinary text book summarizing new knowledge of Asian monsoon climate variability, dynamics, ...
اقرأ المزيد
This book covers both the basic ideas of statistical theory, and also some of the more modern and advanced topics of Bayesian ...
اقرأ المزيد
This textbook is the first to provide Business and Economics with a precise and intuitive introduction to the formal backgrounds ...
اقرأ المزيد
Don’t miss out on China!” and “What are you doing about China?” Catch phrases like these are spreading among managers ...
اقرأ المزيدThe main purpose of this study is to examine the relationship between organizational culture and employee satisfaction. The ...
اقرأ المزيد
The present monograph develops the fundamental ideas and results surrounding heat kernels, spectral theory, and regularized ...
اقرأ المزيدThis research investigates the relationship between COVID-19 and the spread of E-Services in Damascus city; it was based ...
اقرأ المزيد
Brings together contributions from these three fronts to provide readers with a comprehensive look at the challenges for ...
اقرأ المزيد
This set of lectures, which had its origin in a mini course delivered at the Summer Program of IMPA (Rio de Janeiro), is ...
اقرأ المزيد
These lecture notes contain a guided tour to the Novikov Conjecture and related conjectures due to Baum-Connes, Borel and ...
اقرأ المزيد
This book describes the state-of-the art instruments for measuring the solar irradiance from soft x-ray to the near infrared ...
اقرأ المزيد
This book presents the lectures notes of the 34th Saas-Fee Advanced Course "The Sun, Solar Analogs and the Climate" given ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...
اقرأ المزيد
This book, dedicated to Mizan Rahman, is made up of a collection of articles on various aspects of q-series and special functions. ...
اقرأ المزيد
A one-year course in probability theory and the theory of random processes, taught at Princeton University to undergraduate ...
اقرأ المزيد
This work proposes to apply the Sliding Regimes (RG) algorithms to industrial regulation and servo loops controlled to date ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد
The articles in this volume study various cohomological aspects of algebraic varieties: - characteristic classes of singular ...
اقرأ المزيد
Topological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology ...
اقرأ المزيد