Electronic Books

Total Books: 61 - 80 /4350

Abstraction Refinement for Large Scale Model Checking

This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...

Abstraction, Refinement and Proof for Probabilistic Systems

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...

Abstraction, Reformulation, and Approximation

This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...

Access Control Models and Architectures For IoT and Cyber Physical Systems / Maanak Gupta, Smriti Bhatt, Asma Hassan Alshehri, Ravi Sandhu

Presents cybersecurity aspects of ubiquitous and growing IoT and Cyber Physical Systems. It also introduces a range of conceptual, ...

Access Control Systems

Access Control Systems: Security, Identity Management and Trust Models provides a thorough introduction to the foundations ...

Accounting, Cash Flow and Value Relevance / Francesco Paolone

Investigates the value relevance of the operating cash flow as reported under the International Financial Reporting Standards ...

Accreditation and Evaluation in the European Higher Education Area

This volume presents a rich account of the development of accreditation and evaluation in 20 European countries. The authors ...

Achieving the Paris Climate Agreement Goals

Presents detailed pathways to achieve 100% renewable energy by 2050, globally and across ten geographical regions. Based ...

Active Conceptual Modeling of Learning

This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on ...

Active Flow Control

This volume contains a well balanced combination of theoretical and experimental state-of-the-art results of Active Flow ...

Active Knowledge Modeling of Enterprises

An AKM solution is about exploiting the Web as a knowledge engineering medium, and developing knowledge-model-based families ...

Active Sensor Planning for Multiview Vision Tasks

The book describes some effective strategies to generate a sequence of viewing poses and sensor settings for optimally completing ...

Acute Promyelocytic Leukemia

Over the past 10 years, work on acute promyelocytic leukemia (APL) has become the paradigm of translational research that ...

Ad-Hoc Networking

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Ad-Hoc, Mobile, and Wireless Networks (vol. # 3738)

This book constitutes the refereed proceedings of the 4th International Conference on Ad-Hoc Networks and Wireless, ADHOiNOW ...

Adaptive Atmospheric Modeling

This is an overview of the development of adaptive techniques for atmospheric modeling. Written in an educational style, ...

Adaptive Bidding in Single-Sided Auctions under Uncertainty

In the last years electronic markets, especially online auctions, have become very popular and received more and more attention ...

Adaptive Business Intelligence

In the modern information era, managers must recognize the competitive opportunities represented by decision-support tools. ...

Adaptive Hypermedia and Adaptive Web-Based Systems

This book constitutes the refereed proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive ...

Adaptive Hypermedia and Adaptive Web-Based Systems : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Adaptive Hypermedia and Adaptive Web-Based ...

Total Books: 61 - 80 /4350