Electronic Books

Total Books: 1 - 20 /753
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
A First Course in Statistical Inference

Offers a modern and accessible introduction to Statistical Inference, the science of inferring key information from data. ...

Lee mas
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 ...

Lee mas
NoIMG
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 ...

Lee mas
A Theory of Shape Identification

Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...

Lee mas
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, ...

Lee mas
NoIMG
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
Adaptive Mesh Refinement - Theory and Applications

Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...

Lee mas
Adaptive Spatial Filters for Electromagnetic Brain Imaging

Adaptive spatial filters are powerful algorithms for electromagnetic brain imaging that enable high-fidelity reconstruction ...

Lee mas
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, ...

Lee mas
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, ...

Lee mas
Advanced Methods for Inconsistent Knowledge Management

This book presents a unified and systematic description of a wide class of miscellaneous problems of inconsistent knowledge ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
Advances in Case-Based Reasoning

The papers collected in this volume were presented at the 6th European C- ference on Case-Based Reasoning (ECCBR 2002) held ...

Lee mas
Advances in Computer Science – ASIAN 2007. Computer and Network Security

This book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...

Lee mas
Total Books: 1 - 20 /753