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 ...
Lire la suite
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 ...
Lire la suite
A Brief History of Computing
This text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise ...
Lire la suite
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 ...
Lire la suite
A First Course in Statistical Inference
Offers a modern and accessible introduction to Statistical Inference, the science of inferring key information from data. ...
Lire la suite
A Guide to Methods in the Biomedical Sciences
A Guide to Methods in the Biomedical Sciences gives a basic description of common methods used in research. This is not intended ...
Lire la suite
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 ...
Lire la suite
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suite
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suiteA 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 ...
Lire la suite
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Lire la suite
A Theory of Distributed Objects
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...
Lire la suite
A Theory of Shape Identification
Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...
Lire la suite
ANEMONA : A Mulit-agent Methodology for Holonic Manufacturing Systems
ANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...
Lire la suite
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, ...
Lire la suiteAcademic 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 ...
Lire la suite
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 ...
Lire la suite
Action Research in Software Engineering : Theory and Applications
This book addresses action research (AR), one of the main research methodologies used for academia-industry research collaborations. ...
Lire la suite
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 ...
Lire la suite
Adaptive Mesh Refinement - Theory and Applications
Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...
Lire la suite
