25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيد
A Benchmark Approach to Quantitative Finance
The general framework is used to provide an understanding of the nature of stochastic volatility. The book is intended for ...
اقرأ المزيد
A Course in Enumeration
This book leads the reader in a leisurely way from the basic notions to a variety of topics, ranging from algebra to statistical ...
اقرأ المزيد
A First Course in Statistical Inference
Offers a modern and accessible introduction to Statistical Inference, the science of inferring key information from data. ...
اقرأ المزيد
A Mathematical Introduction to Conformal Field Theory
The first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal ...
اقرأ المزيدA Multidisciplinary Approach to Capability in Age and Ageing
This book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
اقرأ المزيد
A Theory of Shape Identification
Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...
اقرأ المزيد
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
اقرأ المزيدAcademic Flying and the Means of Communication
This book shines a light on how and why academic work became entwined with air travel, and what can be done to change academia’s ...
اقرأ المزيد
Acoustic Sensing Techniques for the Shallow Water Environment
This volume contains the collection of papers from the second workshop on Experimental Acoustic Inversion Techniques for ...
اقرأ المزيد
Adapting Proofs-as-Programs
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
اقرأ المزيد
Adaptive Mesh Refinement - Theory and Applications
Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...
اقرأ المزيد
Adaptive Spatial Filters for Electromagnetic Brain Imaging
Adaptive spatial filters are powerful algorithms for electromagnetic brain imaging that enable high-fidelity reconstruction ...
اقرأ المزيد
Adhesive Restoration of Endodontically Treated Teeth / Francesco Manocci, Giovanni Cavalli, Massimo Gagliani
Dentine bonding systems, composite resins and fibre posts have widely replaced cast posts and amalgam as core materials; ...
اقرأ المزيد
Advanced CBCT for Endodontics: Technical Considerations, Perception, and Decision-Making / John A. Khademi, Gary B. Carr, Richard S. Schwartz, and Michael Trudeau
This book encourages endodontists to develop a sound technical and theoretical understanding of CBCT. The authors compare ...
اقرأ المزيد
Advanced Computer Simulation Approaches for Soft Matter Sciences I
Soft matter science is nowadays an acronym for an increasingly important class of materials, which ranges from polymers, ...
اقرأ المزيد
Advanced Computer Simulation Approaches for Soft Matter Sciences II
This series presents critical reviews of the present and future trends in polymer and biopolymer science including chemistry, ...
اقرأ المزيد
Advanced Methods for Inconsistent Knowledge Management
This book presents a unified and systematic description of a wide class of miscellaneous problems of inconsistent knowledge ...
اقرأ المزيد
Advanced Numerical Methods to Optimize Cutting Operations of Five-Axis Milling Machines
The book presents new optimization algorithms designed to improve the efficiency of tool paths for five-axis NC machining ...
اقرأ المزيد
Advanced Robust and Nonparametric Methods in Efficiency Analysis
This readable book makes available an intuitive yet rigorous presentation of advanced nonparametric and robust methods. This ...
اقرأ المزيد
